23. TACAS 2017: Uppsala, Sweden (Part of ETAPS 2017)

Invited Talk

Verification Techniques I

Verification Techniques II

Learning

Synthesis I

Synthesis II

Tools

Automata

Concurrency and Bisimulation

Hybrid Systems

maintained by Schloss Dagstuhl LZI at University of Trier