ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Dates

Mon 8 Apr

etaps-2019-Keynotes
09:00 - 10:00: Keynotes - Chechik at SUN I
Chair(s): Joost-Pieter KatoenRWTH Aachen University
etaps-2019-Keynotes09:00 - 10:00
Talk
Marsha ChechikUniversity of Toronto
Link to publication File Attached

Tue 9 Apr

etaps-2019-Keynotes
09:00 - 10:00: Keynotes - Colcombet at SUN I
Chair(s): Mikolaj BojanczykUniversity of Warsaw
etaps-2019-Keynotes09:00 - 10:00
Talk
Thomas ColcombetIRIF, University Paris Diderot and CNRS, France
Link to publication File Attached

Wed 10 Apr

etaps-2019-Keynotes
09:00 - 10:00: Keynotes - Fisher at SUN I
Chair(s): Luís CairesNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
etaps-2019-Keynotes09:00 - 10:00
Talk
Kathleen FisherTufts University
File Attached

Thu 11 Apr

etaps-2019-Keynotes
09:00 - 10:00: Keynotes - Flanagan at SUN I
Chair(s): Tomas VojnarBrno University of Technology
etaps-2019-Keynotes09:00 - 10:00
Talk
Cormac FlanaganUniversity of California, Santa Cruz
File Attached