PLE 2015
Mon 6 - Fri 10 July 2015 Prague, Czech Republic
co-located with ECOOP 2015
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

Conference Day
Wed 8 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Conference Day
Thu 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Conference Day
Fri 10 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Conference Day
Wed 8 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Thu 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Fri 10 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Conference Day
Wed 8 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Conference Day
Thu 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Fri 10 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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