Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016
Rome, Italy
Toggle navigation
Attending
Venue: Congress Center
Venue: Curry On Party
Venue: ECOOP Banquet
About
Awards
Registration
Housing
Travel & Local Info
Students
Sponsoring
Conduct
Program
ECOOP Program
Your Program
Sun 17 Jul
Mon 18 Jul
Tue 19 Jul
Wed 20 Jul
Thu 21 Jul
Fri 22 Jul
Tracks
ECOOP 2016
Artifacts
Doctoral Symposium
Posters
Research Track
Student Volunteers
Summer School
Workshops
Co-hosted Conferences
CurryOn
CurryOn
CurryOn
Workshops
COP
FTfJP
GRACE
ICOOOLPS
IWACO
JSTools
LIVE
PMLDC
PX
STOP
VORTEX
Organization
ECOOP 2016 Committees
Organizing Committee
Track Committees
Artifacts
Doctoral Symposium
Academic Panel
Invited Speakers
Program Committee
Posters
Organizers
Poster Awards Committee
Research Track
Program Committee
External Review Committee
Student Volunteers
Summer School
Organizing Committee
Senior Mentors
Speakers
Workshops
Contributors
People Index
Co-hosted Conferences
CurryOn
Organizing Committee
Workshops
COP
Organizing Committee
Program Committee
FTfJP
Program Committee
GRACE
Program Committee
ICOOOLPS
Organizers
Program Committee
IWACO
Program Committee
JSTools
Program Committee
LIVE
Program Committee
PMLDC
Program Committee
PX
Organizing Committee
Program Committee
STOP
Program Committee
VORTEX
Program Committee
Search
Series
Series
ECOOP 2025
ECOOP 2024
ECOOP 2023
ECOOP 2022
ECOOP 2021
ECOOP 2020
ECOOP 2019
ECOOP 2018
ECOOP 2017
ECOOP 2016
ECOOP 2015
2014: Uppsala
2013: Montpellier
2012: Beijing
2011: Lancaster
2010: Maribor
2009: Genova
2008: Cyprus
2007: Berlin
2006: Nice
2005: Glasgow
Sign in
Sign up
ECOOP 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
Sat 21 Dec 15:32