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

Mon 8 Apr

etaps-2019-Tutorials
16:30 - 18:00: Tutorials - Tinelli at Room FO
etaps-2019-Tutorials16:30 - 18:00
Talk
Cesare TinelliUniversity of Iowa

Tue 9 Apr

etaps-2019-Tutorials
16:30 - 18:00: Tutorials - Beyer at Room ES
etaps-2019-Tutorials16:30 - 18:00
Talk
Dirk BeyerLMU Munich