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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

17:00 - 20:00
Welcome: Peyton JonesSummer School at Zurich I
Chair(s): Jan Vitek Northeastern University
17:00
3h
Talk
35 years of fun with functional programming
Summer School
S: Simon Peyton Jones Microsoft Research

Mon 16 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 17:00
Lecture: PasareanuSummer School at Zurich I
Chair(s): Andreas Zeller Saarland University
14:30
2h30m
Talk
Symbolic Execution and Probabilistic Reasoning
Summer School
S: Corina S. Păsăreanu NASA Ames Research Center

Tue 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 17:30
Lecture: AhmedSummer School at Zurich I
Chair(s): Andreas Zeller Saarland University
14:00
3h30m
Talk
Compiler Verification for a Multi-Language World
Summer School
S: Amal Ahmed Northeastern University

Wed 18 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 17:30
Lecture: MøllerSummer School at Zurich I
Chair(s): Jan Vitek Northeastern University
14:00
3h30m
Talk
Static Program Analysis
Summer School
Anders Møller Aarhus University

Thu 19 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Fri 20 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 17:00
Lecture: BriandSummer School at Zurich I
Chair(s): Andreas Zeller Saarland University
14:30
2h30m
Talk
Artificial Intelligence for Automated Software Testing
Summer School
Lionel Briand SnT Centre/University of Luxembourg

Sun 15 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:003015:003016:003017:0030
Zurich I

Wed 18 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:003015:003016:003017:0030
Zurich I

Thu 19 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Fri 20 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:003015:003016:0030
Zurich I

Sun 15 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:0015304515:0015304516:0015304517:00153045
Zurich I

Wed 18 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:0015304515:0015304516:0015304517:00153045
Zurich I

Thu 19 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change