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

a service of Schloss Dagstuhl - Leibniz Center for Informatics