18. FoSSaCS 2015: London, UK (Part of ETAPS 2015)

Invited Talk

Semantics of Programming Languages I

Categorical Models and Logics

Modal and Temporal Logics

Concurrent, Probabilistic and Timed Systems

Semantics of Programming Languages II

Automata, Games, Verification

Logical Aspects of Computational Complexity

Type Theory, Proof Theory and Implicit Computational Complexity

maintained by Schloss Dagstuhl LZI at University of Trier