INFINITY '08 -- Programme


8.20-8.50: BREAKFAST
9.00-10.00: Invited talk: Shaz Qadeer (Microsoft Research, USA)
HAVOC: A Precise and Scalable Verifier for Systems Code
10.00-10.30: COFFEE BREAK
10.30-11.30: Contributed papers:
Hanifa Boucheneb and Kamel Barkaoui
Covering Steps Graphs of Time Petri Nets
Parosh Abdulla, Pavel Krcal, and Wang Yi
Universality of R-automata with Value Copying
11.30-12.30: Invited talk: Paolo Baldan (University of Padova, Italy)
Verification of Graph Transformation Systems
12.30-14.00: LUNCH
14.00-15.00: Invited talk: Dietmar Berwanger (RWTH Aachen, Germany)
Coordinating Controllers
15.00-15.30: Contributed paper:
Regis Gascon
An Automata-based Approach for CTL* with Constraints
15.30-16.00: COFFEE BREAK
16.00-17.30: Contributed papers:
Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana, and Tayssir Touili
Verifying Multithreaded Recursive Programs with Integer Variables
Florent Bouchy, Arnaud Sangnier, and Alain Finkel
Reachability in Timed Counter Systems
Uli Fahrenberg and Kim G. Larsen
Discount-Optimal Infinite Runs in Priced Timed Automata
17.30-17.40: CLOSING