ECOOP 2015
Sun 5 - Fri 10 July 2015
Prague, Czech Republic
Toggle navigation
Attending
Venue: Marriott
Restaurant: Velka Klasterni (Curry On)
Restaurant: Hergertova Cihelna (ECOOP)
Venue: FIT
Welcome
History
Students
Registration
Hotels
Food
Travel
Sponsoring
Conduct
Program
ECOOP Program
Your Program
Sun 5 Jul
Mon 6 Jul
Tue 7 Jul
Wed 8 Jul
Thu 9 Jul
Fri 10 Jul
Tracks
ECOOP 2015
Artifacts
Curry On
Doctoral Symposium
Summer School
Posters
Research Track
Student Volunteers
Workshops
Workshops
COP
COP
COP
DSLDI
DSLDI
DSLDI
FTfJP
FTfJP
FTfJP
ICOOOLPS
JSTools
JSTools
JSTools
MASPEGHI
MASPEGHI
MASPEGHI
ML4PL
ML4PL
ML4PL
NetPL
PLAS
PLAS
PLAS
PLE
PLE
PLE
Pharo
Pharo
Pharo
RIOT
RIOT
RIOT
STOP
Truffle
Organization
ECOOP 2015 Committees
Organizing Committee
Track Committees
Artifacts
Doctoral Symposium
Academic Panel
Program Committee
Summer School
Posters
Research Track
Student Volunteers
Workshops
Contributors
People Index
Workshops
COP
Program Committee
DSLDI
Program Committee
FTfJP
Program committee
Steering Committee
ICOOOLPS
Program Committee
JSTools
Program Committee
MASPEGHI
Committee
ML4PL
Organization
Program committee
NetPL
Invited Speakers
Program Committee
PLAS
Program Committee
PLE
Organizers
Programme Committee
Pharo
Organizers
RIOT
Program Committee
STOP
Program Committee
Speakers
Truffle
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 2015
(
series
) /
Marriott
/
Room information: Moravia
Venue
Marriott
Room name
Moravia
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-05: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:30) Caracas
(GMT-03: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+10:00) Magadan
(GMT+11:30) 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
Wed 8 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:00
Sagiv
Summer School
at
Moravia
10:30
90m
Talk
Verifying Correctness of Statefull Networks
Summer School
P:
Mooly Sagiv
Tel Aviv University
13:30 - 15:00
Krishnamurthi
Summer School
at
Moravia
13:30
90m
Talk
The Evolving Design of Pyret
Summer School
P:
Shriram Krishnamurthi
Brown University
Link to publication
15:30 - 17:00
Grimm
Summer School
at
Moravia
15:30
90m
Talk
Nimble yet Systematic Trading
Summer School
P:
Robert Grimm
Goldman Sachs
17:00 - 18:30
Gardner
Summer School
at
Moravia
17:00
90m
Talk
Modern Concurrent Separation Logics
Summer School
P:
Philippa Gardner
Imperial College London
Thu 9 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:00
Aref
Summer School
at
Moravia
10:30
90m
Talk
Declarative Probabilistic Programming
Summer School
S:
Molham Aref
Logicblox
13:30 - 15:00
Torlak
Summer School
at
Moravia
13:30
90m
Talk
Synthesis and Verification for Everyone
Summer School
P:
Emina Torlak
University of Washington
15:30 - 17:00
Bruce
Summer School
at
Moravia
15:30
90m
Talk
Graceful Programming --- Teaching Introductory Programming
Summer School
P:
Kim Bruce
Pomona College
Link to publication
17:00 - 18:30
Vojnar
Summer School
at
Moravia
17:00
90m
Talk
Noise-based Testing of Concurrent Software
Summer School
P:
Tomáš Vojnar
Brno University of Technology
Fri 10 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:00
Jagganathan
Summer School
at
Moravia
10:30
90m
Talk
Taming Uncertainty, Scale, and Change: A Programming Language Perspective
Summer School
P:
Suresh Jagannathan
DARPA
15:00 - 16:30
Yahav
Summer School
at
Moravia
15:00
90m
Talk
Programming with Millions of Examples
Summer School
Eran Yahav
Technion
17:00 - 18:30
Alglave
Summer School
at
Moravia
17:00
90m
Talk
Herding Weak Memory Cats
Summer School
P:
Jade Alglave
University College London
Link to publication
Wed 8 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
16:00
30
17:00
30
18:00
30
Moravia
Summer School
Sagiv
Summer School
Krishnamurthi
Summer School
Grimm
Summer School
Gardner
Thu 9 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
16:00
30
17:00
30
18:00
30
Moravia
Summer School
Aref
Summer School
Torlak
Summer School
Bruce
Summer School
Vojnar
Fri 10 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
16:00
30
17:00
30
18:00
30
Moravia
Summer School
Jagganathan
Summer School
Yahav
Summer School
Alglave
Wed 8 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
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Moravia
ECOOP Summer School
Verifying Correctness of Statefull Networks
10:30 - 12:00
ECOOP Summer School
The Evolving Design of Pyret
13:30 - 15:00
ECOOP Summer School
Nimble yet Systematic Trading
15:30 - 17:00
ECOOP Summer School
Modern Concurrent Separation Logics
17:00 - 18:30
Thu 9 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
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Moravia
ECOOP Summer School
Declarative Probabilistic Programming
10:30 - 12:00
ECOOP Summer School
Synthesis and Verification for Everyone
13:30 - 15:00
ECOOP Summer School
Graceful Programming --- Teaching Introductory Programming
15:30 - 17:00
ECOOP Summer School
Noise-based Testing of Concurrent Software
17:00 - 18:30
Fri 10 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
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Moravia
ECOOP Summer School
Taming Uncertainty, Scale, and Change: A Programming ...
10:30 - 12:00
ECOOP Summer School
Programming with Millions of Examples
15:00 - 16:30
ECOOP Summer School
Herding Weak Memory Cats
17:00 - 18:30
x
Sat 21 Dec 14:03