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
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 JonesECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan Vitek Northeastern University
17:00
3h
Talk
35 years of fun with functional programming
ECOOP and ISSTA 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: PasareanuECOOP and ISSTA Summer School at Zurich I
Chair(s): Andreas Zeller Saarland University
14:30
2h30m
Talk
Symbolic Execution and Probabilistic Reasoning
ECOOP and ISSTA 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: AhmedECOOP and ISSTA Summer School at Zurich I
Chair(s): Andreas Zeller Saarland University
14:00
3h30m
Talk
Compiler Verification for a Multi-Language World
ECOOP and ISSTA 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øllerECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan Vitek Northeastern University
14:00
3h30m
Talk
Static Program Analysis
ECOOP and ISSTA 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: OrsoECOOP and ISSTA Summer 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
ECOOP and ISSTA Summer School
Alex Orso Georgia Institute of Technology
14:30 - 17:00
Lecture: ClickECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan Vitek Northeastern University
14:30
2h30m
Talk
Writing Virtual Machines for fun and profit
ECOOP and ISSTA Summer School

Fri 20 Jul

Displayed 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 Zeller Saarland University
14:30
2h30m
Talk
Artificial Intelligence for Automated Software Testing
ECOOP and ISSTA 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

Wed 18 Jul

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

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

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