60. Birthday: Kim Guldstrand Larsen 2017

Formal Languages and Automata Theory

Logic

Verification, Model Checking and Testing

Algorithmic Game Theory and Mechanism Design

Semantics and Reasoning

Real-Time and Distributed Systems

Modeling and Simulation

maintained by Schloss Dagstuhl LZI at University of Trier