Programme
Slides and video recordings of the talks can be accessed by clicking respectively the and icons below.
Thursday, 20th February 2014
Location: Hauptgebäude (HG), ETH Zürich8:45–9:15: Symposium Registration
Location: Hauptgebäude Foyer (near the entrance to the AudiMax, HG F30), ETH Zürich9:15–11:00: Opening and Session 1
Location: AudiMax (room HG F30), ETH ZürichSession Chair: Georgiana Caltais
- Welcome and Introduction
Walter Gander - "Abstraction and Reference" for Digital Vellum
Vint Cerf
→ Abstract - Stepwise refinement: from common sense to common practice
Carroll Morgan
→ Abstract
11:00-11:30: Coffee break
11:30–13:00: Session 2
Location: AudiMax (room HG F30), ETH ZürichSession Chair: Sebastian Nanz
- When Less is More: Designing Predictable and Robust Systems
Hans Eberle
→ Abstract - Languages are in the Eye of the Beholder
Clemens Szyperski
→ Abstract
13:00-14:30: Lunch
14:30–16:00: Session 3
Location: room HG E3, ETH ZürichSession Chair: Carlo Furia
- The Multicompiler: Software Defenses Using Compiler Techniques
Michael Franz
→ Abstract - The Trouble with Types
Martin Odersky
→ Abstract
16:00-16:30: Coffee break
16:30–18:00: Session 4
Location: room HG E3, ETH ZürichSession Chair: Marco Piccioni
- Convergence and divergence in programming language design
Bertrand Meyer
→ Abstract - Reviving a computer system of 25 years ago
Niklaus Wirth
→ Abstract
18:00-20:00: Apéro