ECOOP 2015 (series) /
ECOOP Summer School
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 S: Molham Aref | |
| Graceful Programming --- Teaching Introductory Programming Summer School P: Kim Bruce Link to publication | |
| Herding Weak Memory Cats Summer School P: Jade Alglave Link to publication | |
| Modern Concurrent Separation Logics Summer School | |
| Nimble yet Systematic Trading Summer School P: Robert Grimm | |
| Noise-based Testing of Concurrent Software Summer School P: Tomáš Vojnar | |
| Programming with Millions of Examples Summer School | |
| Synthesis and Verification for Everyone Summer School P: Emina Torlak | |
| 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 P: Mooly Sagiv |
Dates
Wed 8 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 8 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | |||
10:30 90mTalk | Verifying Correctness of Statefull Networks Summer School | ||
13:30 - 15:00 | |||
13:30 90mTalk | The Evolving Design of Pyret Summer School Link to publication | ||
15:30 - 17:00 | |||
15:30 90mTalk | Nimble yet Systematic Trading Summer School | ||
17:00 - 18:30 | |||
17:00 90mTalk | Modern Concurrent Separation Logics Summer School | ||
Thu 9 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 9 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | |||
10:30 90mTalk | Declarative Probabilistic Programming Summer School | ||
13:30 - 15:00 | |||
13:30 90mTalk | Synthesis and Verification for Everyone Summer School | ||
15:30 - 17:00 | |||
15:30 90mTalk | Graceful Programming --- Teaching Introductory Programming Summer School Link to publication | ||
17:00 - 18:30 | |||
17:00 90mTalk | Noise-based Testing of Concurrent Software Summer School | ||
Fri 10 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 10 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | |||
10:30 90mTalk | Taming Uncertainty, Scale, and Change: A Programming Language Perspective Summer School | ||
15:00 - 16:30 | |||
15:00 90mTalk | Programming with Millions of Examples Summer School Eran Yahav Technion | ||
17:00 - 18:30 | |||
17:00 90mTalk | Herding Weak Memory Cats Summer School Link to publication | ||
