25th TACAS@ETAPS 2019: Prague, Czech Republic

Concurrent and Distributed Systems

Monitoring and Runtime Verification

Hybrid and Stochastic Systems

Synthesis

Symbolic Verification

Safety and Fault-Tolerant Systems

maintained by Schloss Dagstuhl LZI, founded at University of Trier