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
Times are displayed in 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 - 10:00
Talk
Software Assurance in an Uncertain World
Keynotes
Marsha ChechikUniversity of Toronto
Link to publication File Attached

Tue 9 Apr
Times are displayed in 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 - 10:00
Talk
On infinite duration games
Keynotes
Thomas ColcombetIRIF, University Paris Diderot and CNRS, France
Link to publication File Attached

Wed 10 Apr
Times are displayed in 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 - 10:00
Talk
From quadcopters to helicopters: Formal verification to eliminate exploitable bugs
Keynotes
Kathleen FisherTufts University
File Attached

Thu 11 Apr
Times are displayed in 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 - 10:00
Talk
Towards Efficient and Precise Concurrent Software Analysis
Keynotes
Cormac FlanaganUniversity of California, Santa Cruz
File Attached