COP 2015
Mon 6 - Fri 10 July 2015
Prague, Czech Republic
co-located with
ECOOP 2015
Toggle navigation
Attending
Venue: Marriott
Restaurant: Velka Klasterni (Curry On)
Restaurant: Hergertova Cihelna (ECOOP)
Venue: FIT
Program
Complete Program
Your Program
Mon 6 Jul
Tue 7 Jul
Wed 8 Jul
Thu 9 Jul
Fri 10 Jul
Track/Call
Organization
COP 2015 Committees
Track Committees
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 2015
(
series
) /
COP 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
ECOOP Summer School
at
Moravia
10:30
90m
Talk
Verifying Correctness of Statefull Networks
ECOOP Summer School
P:
Mooly Sagiv
Tel Aviv University
13:30 - 15:00
Krishnamurthi
ECOOP Summer School
at
Moravia
13:30
90m
Talk
The Evolving Design of Pyret
ECOOP Summer School
P:
Shriram Krishnamurthi
Brown University
Link to publication
15:30 - 17:00
Grimm
ECOOP Summer School
at
Moravia
15:30
90m
Talk
Nimble yet Systematic Trading
ECOOP Summer School
P:
Robert Grimm
Goldman Sachs
17:00 - 18:30
Gardner
ECOOP Summer School
at
Moravia
17:00
90m
Talk
Modern Concurrent Separation Logics
ECOOP 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
ECOOP Summer School
at
Moravia
10:30
90m
Talk
Declarative Probabilistic Programming
ECOOP Summer School
S:
Molham Aref
Logicblox
13:30 - 15:00
Torlak
ECOOP Summer School
at
Moravia
13:30
90m
Talk
Synthesis and Verification for Everyone
ECOOP Summer School
P:
Emina Torlak
University of Washington
15:30 - 17:00
Bruce
ECOOP Summer School
at
Moravia
15:30
90m
Talk
Graceful Programming --- Teaching Introductory Programming
ECOOP Summer School
P:
Kim Bruce
Pomona College
Link to publication
17:00 - 18:30
Vojnar
ECOOP Summer School
at
Moravia
17:00
90m
Talk
Noise-based Testing of Concurrent Software
ECOOP 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
ECOOP Summer School
at
Moravia
10:30
90m
Talk
Taming Uncertainty, Scale, and Change: A Programming Language Perspective
ECOOP Summer School
P:
Suresh Jagannathan
DARPA
15:00 - 16:30
Yahav
ECOOP Summer School
at
Moravia
15:00
90m
Talk
Programming with Millions of Examples
ECOOP Summer School
Eran Yahav
Technion
17:00 - 18:30
Alglave
ECOOP Summer School
at
Moravia
17:00
90m
Talk
Herding Weak Memory Cats
ECOOP 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
ECOOP Summer School
Sagiv
ECOOP Summer School
Krishnamurthi
ECOOP Summer School
Grimm
ECOOP 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
ECOOP Summer School
Aref
ECOOP Summer School
Torlak
ECOOP Summer School
Bruce
ECOOP 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
ECOOP Summer School
Jagganathan
ECOOP Summer School
Yahav
ECOOP 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
Fri 19 Apr 00:10