Skip to main content Skip to navigation

Provisional Programme of DIMAP Logic Day 2015

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