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

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

16:30 - 18:00
TinelliTutorials at MOON
Chair(s): Fabrice Kordon Sorbonne University — LIP6
16:30
90m
Talk
An overview of Satisfiability Modulo Theories and its applications
Tutorials
Cesare Tinelli University of Iowa
Link to publication

Tue 9 Apr

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

16:30 - 18:00
BeyerTutorials at SUN II
Chair(s): Joost-Pieter Katoen RWTH Aachen University
16:30
90m
Talk
Software Verification — An Overview of the State of the Art
Tutorials
Dirk Beyer LMU Munich
File Attached