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

Mon 8 Apr

etaps-2019-Tutorials
16:30 - 18:00: Tutorials - Tinelli at MOON
Chair(s): Fabrice KordonSorbonne University — LIP6
etaps-2019-Tutorials16:30 - 18:00
Talk
Cesare TinelliUniversity of Iowa

Tue 9 Apr

etaps-2019-Tutorials
16:30 - 18:00: Tutorials - Beyer at SUN II
Chair(s): Joost-Pieter KatoenRWTH Aachen University
etaps-2019-Tutorials16:30 - 18:00
Talk
Dirk BeyerLMU Munich
File Attached