ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
VenueMarriott
Room nameMoravia
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 8 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
10:30
90m
Talk
Verifying Correctness of Statefull Networks
Summer School
P: Mooly SagivTel Aviv University
13:30 - 15:00
KrishnamurthiSummer School at Moravia
13:30
90m
Talk
The Evolving Design of Pyret
Summer School
P: Shriram KrishnamurthiBrown University
Link to publication
15:30 - 17:00
15:30
90m
Talk
Nimble yet Systematic Trading
Summer School
P: Robert GrimmGoldman Sachs
17:00 - 18:30
17:00
90m
Talk
Modern Concurrent Separation Logics
Summer School
P: Philippa GardnerImperial College London

Thu 9 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
10:30
90m
Talk
Declarative Probabilistic Programming
Summer School
S: Molham ArefLogicblox
13:30 - 15:00
13:30
90m
Talk
Synthesis and Verification for Everyone
Summer School
P: Emina TorlakUniversity of Washington
17:00 - 18:30
17:00
90m
Talk
Noise-based Testing of Concurrent Software
Summer School
P: Tomáš VojnarBrno University of Technology

Fri 10 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:00 - 16:30
15:00
90m
Talk
Programming with Millions of Examples
Summer School
Eran YahavTechnion
17:00 - 18:30
17:00
90m
Talk
Herding Weak Memory Cats
Summer School
P: Jade AlglaveUniversity College London
Link to publication

Wed 8 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Moravia

Thu 9 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Moravia

Fri 10 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Moravia

Wed 8 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Moravia

Thu 9 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 10 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Moravia