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

Conference Day
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 KatoenRWTH Aachen University
09:00
60m
Talk
Software Assurance in an Uncertain World
Keynotes
Marsha ChechikUniversity of Toronto
Link to publication File Attached

Conference Day
Tue 9 Apr

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

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

Conference Day
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 CairesNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
09:00
60m
Talk
From quadcopters to helicopters: Formal verification to eliminate exploitable bugs
Keynotes
Kathleen FisherTufts University
File Attached

Conference Day
Thu 11 Apr

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

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