14. ICTAC 2017: Hanoi, Vietnam

Logics

Software Components and Concurrency

Automata

SMT Solvers and Algorithms

Security

maintained by Schloss Dagstuhl LZI, founded at University of Trier