25. CONCUR 2014: Rome, Italy

25th Anniversary Talk

Invited Talks

Process Calculi

Model Checking and Abstraction

Synthesis

Quantitative Models

Automata and Multithreading

Complexity

Process Calculi and Types

Categories, Graphs and Quantum Systems

Automata and Time

Games

maintained by Schloss Dagstuhl LZI at University of Trier