TAV-CPS/IoT 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
VenueMövenpick Hotel Amsterdam City Centre
Room nameZurich I
Floor0
Additional informationThere is no additional information of this room 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 JonesECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan VitekNortheastern University
17:00 - 20:00
Talk
35 years of fun with functional programming
ECOOP and ISSTA 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: PasareanuECOOP and ISSTA Summer School at Zurich I
Chair(s): Andreas ZellerSaarland University
14:30 - 17:00
Talk
Symbolic Execution and Probabilistic Reasoning
ECOOP and ISSTA 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: AhmedECOOP and ISSTA Summer School at Zurich I
Chair(s): Andreas ZellerSaarland University
14:00 - 17:30
Talk
Compiler Verification for a Multi-Language World
ECOOP and ISSTA 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øllerECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan VitekNortheastern University
14:00 - 17:30
Talk
Static Program Analysis
ECOOP and ISSTA 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: OrsoECOOP and ISSTA Summer 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
ECOOP and ISSTA Summer School
Alex OrsoGeorgia Institute of Technology
14:30 - 17:00: Lecture: ClickECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan VitekNortheastern University
14:30 - 17:00
Talk
Writing Virtual Machines for fun and profit
ECOOP and ISSTA Summer School

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

14:30 - 17:00: Lecture: BriandECOOP and ISSTA Summer School at Zurich I
Chair(s): Andreas ZellerSaarland University
14:30 - 17:00
Talk
Artificial Intelligence for Automated Software Testing
ECOOP and ISSTA 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

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

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

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