Accepted Papers

Regular papers :

Sayan Mitra, Nancy Lynch
Approximate Simulations for Task-Structured Probabilistic I/O Automata

Alessandro Tiberi
Probabilistic Configuration Theories

Presentations :

Vaclav Brozek, Tomas Brazdil, Vojtech Forejt, and Antonin Kucera
Reachability in Recursive Markov Decision Processes

Sandra Batista
A Note on Spaced Bounded Interactive Proof Systems and Martingales

Andrzej Murawski, Joel Ouaknine
On Probabilistic Program Equivalence and Refinement

Vaclav Brozek
On Decidability and Complexity of Stochastic Pushdown Games

Celine Kuttler, Cedric Lhoussaine, and Joachim Niehren
A Stochastic Pi-Calculus for Concurrent Objects