35. FORTE 2015: Grenoble, France

Ensuring Properties of Distributed Systems

Formal Models of Concurrent and Distributed Systems

Real Time Systems

Security

Efficient Verification Techniques

maintained by Schloss Dagstuhl LZI, founded at University of Trier