Blogs (61) >>
VenueMövenpick Hotel Amsterdam City Centre
Room nameZurich I
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

Sun 15 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

17:00 - 20:00: Welcome: Peyton JonesSummer School at Zurich I
Chair(s): Jan VitekNortheastern University
17:00 - 20:00
Talk
35 years of fun with functional programming
Summer School
S: Simon Peyton JonesMicrosoft Research

Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 17:00: Lecture: PasareanuSummer School at Zurich I
Chair(s): Andreas ZellerSaarland University
14:30 - 17:00
Talk
Symbolic Execution and Probabilistic Reasoning
Summer School
S: Corina S PasareanuNASA Ames Research Center

Tue 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 17:30: Lecture: AhmedSummer School at Zurich I
Chair(s): Andreas ZellerSaarland University
14:00 - 17:30
Talk
Compiler Verification for a Multi-Language World
Summer School
S: Amal AhmedNortheastern University

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 17:30: Lecture: MøllerSummer School at Zurich I
Chair(s): Jan VitekNortheastern University
14:00 - 17:30
Talk
Static Program Analysis
Summer School
Anders MøllerAarhus University

Thu 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 13:00: Lecture: OrsoSummer School at Zurich I
Chair(s): Jan VitekNortheastern University
11:00 - 13:00
Talk
Software Testing and Debugging: State of the Art and Open Issues
Summer School
Alex OrsoGeorgia Institute of Technology
14:30 - 17:00: Lecture: ClickSummer School at Zurich I
Chair(s): Jan VitekNortheastern University
14:30 - 17:00
Talk
Writing Virtual Machines for fun and profit
Summer School

Fri 20 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 17:00: Lecture: BriandSummer School at Zurich I
Chair(s): Andreas ZellerSaarland University
14:30 - 17:00
Talk
Artificial Intelligence for Automated Software Testing
Summer School
Lionel BriandSnT Centre/University of Luxembourg

Sun 15 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:003015:003016:003017:0030
Zurich I

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:003015:003016:003017:0030
Zurich I

Thu 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room11:003012:003013:003014:003015:003016:0030
Zurich I

Fri 20 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:003015:003016:0030
Zurich I

Sun 15 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:0015304515:0015304516:0015304517:00153045
Zurich I

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:0015304515:0015304516:0015304517:00153045
Zurich I

Thu 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change