Programme

Slides and video recordings of the talks can be accessed by clicking respectively the and icons below.

Thursday, 20th February 2014

8:45–9:15: Symposium Registration

9:15–11:00: Opening and Session 1

Welcome and Introduction

Walter Gander





"Abstraction and Reference" for Digital Vellum

Vint Cerf

→ Abstract





→ Abstract Stepwise refinement: from common sense to common practice

Carroll Morgan

→ Abstract





Location: Hauptgebäude (HG), ETH ZürichLocation: Hauptgebäude Foyer (near the entrance to the AudiMax, HG F30), ETH ZürichLocation: AudiMax (room HG F30), ETH ZürichSession Chair: Georgiana Caltais

11:00-11:30: Coffee break

11:30–13:00: Session 2

When Less is More: Designing Predictable and Robust Systems

Hans Eberle

→ Abstract





→ Abstract Languages are in the Eye of the Beholder

Clemens Szyperski

→ Abstract





Location: AudiMax (room HG F30), ETH ZürichSession Chair: Sebastian Nanz

13:00-14:30: Lunch

14:30–16:00: Session 3

The Multicompiler: Software Defenses Using Compiler Techniques

Michael Franz

→ Abstract





→ Abstract The Trouble with Types

Martin Odersky

→ Abstract





Location: room HG E3, ETH ZürichSession Chair: Carlo Furia

16:00-16:30: Coffee break

16:30–18:00: Session 4

Convergence and divergence in programming language design

Bertrand Meyer

→ Abstract





→ Abstract Reviving a computer system of 25 years ago

Niklaus Wirth

→ Abstract





Location: room HG E3, ETH ZürichSession Chair: Marco Piccioni

18:00-20:00: Apéro