16. FoSSaCS 2013: Rome, Italy (Part of ETAPS 2013)

Models of Computation

Reasoning about Processes

Bisimulation

Modal and Higher-Order Logics

Reasoning about Programs

Computational Complexity

Quantitative Models

Categorical Models

maintained by Schloss Dagstuhl LZI at University of Trier