ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Dates
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 8 Apr

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

09:00 - 10:00
ChechikKeynotes at SUN I
Chair(s): Joost-Pieter Katoen RWTH Aachen University
09:00
60m
Talk
Software Assurance in an Uncertain World
Keynotes
Marsha Chechik University of Toronto
Link to publication File Attached

Tue 9 Apr

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

09:00 - 10:00
ColcombetKeynotes at SUN I
Chair(s): Mikolaj Bojanczyk University of Warsaw
09:00
60m
Talk
On infinite duration games
Keynotes
Thomas Colcombet IRIF, University Paris Diderot and CNRS, France
Link to publication File Attached

Wed 10 Apr

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

09:00 - 10:00
FisherKeynotes at SUN I
Chair(s): Luís Caires NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
09:00
60m
Talk
From quadcopters to helicopters: Formal verification to eliminate exploitable bugs
Keynotes
Kathleen Fisher Tufts University
File Attached

Thu 11 Apr

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

09:00 - 10:00
FlanaganKeynotes at SUN I
Chair(s): Tomáš Vojnar Brno University of Technology
09:00
60m
Talk
Towards Efficient and Precise Concurrent Software Analysis
Keynotes
Cormac Flanagan University of California, Santa Cruz
File Attached