Program

All sessions will take place in Suite 3002 unless otherwise indicated.

Friday, August 11th

Friday's program is also available with abstracts or side by side with other meetings.

09:00‑10:30  Session 1
Chair: Christel Baier

09:00	Welcome
09:05	Anatol Slissenko (University 12, Paris, France) Decidability of verification in predicate logics of probability [pdf]
10:00	Sandra Batista A Note on Spaced Bounded Interactive Proof Systems and Martingales

10:30‑11:00  Break

11:00‑12:30  Session 2
Chair: tba

11:00	Sayan Mitra and Nancy Lynch Approximate Simulations for Task-Structured Probabilistic I/O Automata
11:30	Celine Kuttler , Cedric Lhoussaine and Joachim Niehren A Stochastic Pi-Calculus for Concurrent Objects
12:00	Alessandro Tiberi Probabilistic Configuration Theories

12:30‑14:00  Lunch break

14:00‑15:30  Session 3
Chair: tba

14:00	Krishnendu Chatterjee (University of California, Berkeley, USA) Simple Stochastic omega-Regular Games [pdf]
15:00	Andrzej Murawski and Joel Ouaknine On Probabilistic Program Equivalence and Refinement

15:30‑16:00  Break

16:00‑18:00  Session 4
Chair: Marcus Groesser

16:00	Javier Esparza (University of Stuttgart, Germany) Computing rewards for probabilistic pushdown systems [pdf]
17:00	Vaclav Brozek On Decidability and Complexity of Stochastic Pushdown Games
17:30	Vaclav Brozek, Tomas Brazdil, Vojtech Forejt and Antonin Kucera Reachability in Recursive Markov Decision Processes