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

Refine list

showing all ?? records

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