ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic

The ECOOP Summer School is a series of 11 invited talks by well known speakers on topics somewhat related to the object-orientation (interpreted broadly).

Each talk is 90 minutes long and is free to all registered participants. The talks run concurrently to the ECOOP technical session.

Talks

Title
Declarative Probabilistic Programming
Summer School
Graceful Programming --- Teaching Introductory Programming
Summer School
Link to publication
Herding Weak Memory Cats
Summer School
Link to publication
Modern Concurrent Separation Logics
Summer School
Nimble yet Systematic Trading
Summer School
Noise-based Testing of Concurrent Software
Summer School
Programming with Millions of Examples
Summer School
Synthesis and Verification for Everyone
Summer School
Taming Uncertainty, Scale, and Change: A Programming Language Perspective
Summer School
The Evolving Design of Pyret
Summer School
Link to publication
Verifying Correctness of Statefull Networks
Summer School
Dates
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
10:30
90m
Talk
Verifying Correctness of Statefull Networks
Summer School
P: Mooly Sagiv Tel Aviv University
13:30 - 15:00
KrishnamurthiSummer 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
15:30
90m
Talk
Nimble yet Systematic Trading
Summer School
P: Robert Grimm Goldman Sachs
17:00 - 18:30
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
10:30
90m
Talk
Declarative Probabilistic Programming
Summer School
S: Molham Aref Logicblox
13:30 - 15:00
13:30
90m
Talk
Synthesis and Verification for Everyone
Summer School
P: Emina Torlak University of Washington
17:00 - 18:30
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

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