17. FoSSaCS 2014: Grenoble, France (Part of ETAPS 2014)

Probabilistic Systems

Semantics of Programming Languages

Networks

Program Analysis

Games and Synthesis

Compositional Reasoning

Bisimulation

Categorical and Algebraic Models

Logics of Programming

maintained by Schloss Dagstuhl LZI at University of Trier