COP 2016
Mon 18 - Fri 22 July 2016
Rome, Italy
co-located with
ECOOP 2016
Toggle navigation
Attending
Venue: Congress Center
Venue: Curry On Party
Venue: ECOOP Banquet
Program
Complete Program
Your Program
Mon 18 Jul
Tue 19 Jul
Wed 20 Jul
Thu 21 Jul
Fri 22 Jul
Track/Call
Organization
COP 2016 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
COP 2023
COP 2022
COP 2021
COP
COP 2019
COP 2018
COP 2017
COP 2016
COP 2015
Sign in
Sign up
ECOOP 2016
(
series
) /
COP 2016 (
series
) /
Congress Center
/
Room information: Saba
Venue
Congress Center
Room name
Saba
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:05 - 12:25
Session 1
VORTEX
at
Saba
10:05
5m
Day opening
Opening Remarks
VORTEX
Davide Ancona
University of Genova
,
Frank S. de Boer
Centrum Wiskunde & Informatica, Leiden University
10:10
30m
StaRVOOrS: A framework for static and runtime verification of data and control properties.
VORTEX
Gerardo Schneider
University of Gothenburg
10:40
30m
Runtime Verification with Data
VORTEX
Martin Leucker
University of Lübeck
11:10
30m
Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System
VORTEX
Jean-Baptiste Jeannin
Carnegie Mellon University
13:50 - 15:20
Session 2
VORTEX
at
Saba
13:50
30m
Extracting Runtime Monitors from Tests: An Overview and a way forward
VORTEX
Abigail Cauchi
,
Luke Chircop
,
Christian Colombo
,
Adrian Francalanza
,
Mark Micallef
,
Gordon Pace
University of Malta
14:20
30m
Runtime checks as nominal types
VORTEX
Paola Giannini
,
Elena Zucca
University of Genova
,
Marco Servetto
Victoria University of Wellington
14:50
29m
The Early Bird Catches the Worm: first Verify, then Monitor!
VORTEX
Angelo Ferrando
15:19
1m
Day closing
Closing Remarks
VORTEX
Davide Ancona
University of Genova
,
Frank S. de Boer
Centrum Wiskunde & Informatica, Leiden University
Tue 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:45 - 09:45
Opening session
GRACE
at
Saba
08:45
60m
Day opening
Overview of the Grace project and language
GRACE
Kim Bruce
Pomona College
,
Andrew Black
Portland State University
10:05 - 12:25
Grace
GRACE
at
Saba
10:05
40m
Experience teaching with Grace
GRACE
Andrew Black
Portland State University
,
Kim Bruce
Pomona College
10:45
70m
Recent changes and language design issues in Grace
GRACE
Andrew Black
Portland State University
,
Kim Bruce
Pomona College
,
James Noble
Victoria University of Wellington
11:55
30m
The Recurring Rainfall Problem
GRACE
Shriram Krishnamurthi
Brown University
13:50 - 15:20
Contributed Papers
GRACE
at
Saba
13:50
30m
Talk
Grace in Spoofax: Readable Specification and Implementation in One
GRACE
Michiel Haisma
TU Delft
,
Vlad Vergu
TU Delft
,
Eelco Visser
Delft University of Technology
Link to publication
File Attached
14:20
30m
Traitorous Traits
GRACE
Michael Homer
Victoria University of Wellington
,
Timothy Jones
Victoria University of Wellington
File Attached
14:50
30m
Tooling matters – Why Grace needs a good IDE
GRACE
Michael Kölling
University of Kent
16:00 - 17:30
Discussion
GRACE
at
Saba
16:00
90m
Next steps with Grace
GRACE
Mon 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Saba
VORTEX
Session 1
VORTEX
Session 2
Tue 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Saba
GRACE
Opening session
GRACE
Grace
GRACE
Contributed Papers
GRACE
Discussion
Mon 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Saba
VORTEX
Opening Remarks
10:05 - 10:10
VORTEX
StaRVOOrS: A framework for static and runtime verification of data and ...
10:10 - 10:40
VORTEX
Runtime Verification with Data
10:40 - 11:10
VORTEX
Runtime Verification of Safe Advisories in the Next-Generation Airborne ...
11:10 - 11:40
VORTEX
Extracting Runtime Monitors from Tests: An Overview and a way forward
13:50 - 14:20
VORTEX
Runtime checks as nominal types
14:20 - 14:50
VORTEX
The Early Bird Catches the Worm: first Verify, then Monitor!
14:50 - 15:19
VORTEX
Closing Remarks
15:19 - 15:20
Tue 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Saba
GRACE
Overview of the Grace project and language
08:45 - 09:45
GRACE
Experience teaching with Grace
10:05 - 10:45
GRACE
Recent changes and language design issues in Grace
10:45 - 11:55
GRACE
The Recurring Rainfall Problem
11:55 - 12:25
GRACE
Grace in Spoofax: Readable Specification and Implementation in One
13:50 - 14:20
GRACE
Traitorous Traits
14:20 - 14:50
GRACE
Tooling matters – Why Grace needs a good IDE
14:50 - 15:20
GRACE
Next steps with Grace
16:00 - 17:30
x
Mon 6 May 01:33