18th 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

a service of Schloss Dagstuhl - Leibniz Center for Informatics