Monday, 1 June 2015
9:30 – 10:00	Coffee and pastries Warwick Mathematics Institute
Morning Session, Room B3.02
10:00 – 10:05	Opening
10:05 – 10:50	Sylvain Schmitz Cachan, INRIA Saclay, Warwick	Complexity upper bounds for VASS reachability
11:05 – 11:50	James Worrell Oxford	On termination of integer linear loops
12:05 – 12:50	Nathalie Bertrand INRIA Rennes	Diagnosis for probabilistic systems
12:50 – 14:35	Lunch break (lunch provided)
Afternoon Session, Room B3.02
14:35 – 15:20	Antonin Kucera Brno	Recent results about probabilistic multi-counter machines
15:35 – 16:20	Davide Sangiorgi Bologna, INRIA Sophia Antipolis	Equations, contractions, and unique solutions
16:20 – 17:05	Coffee and tea break
17:05 – 17:50	Slawomir Lasota Warsaw	Reachability analysis of first-order definable pushdown systems