Tenth and final Meeting
Program:
Thursday 22 January (Room 0C2)
10h00 Welcome Coffee
10h30 Petr Matousek (TU Brno)
Parametric Analysis of the PGM protocol
11h15 Laurent Gottely (France Telecom)
Verification of security properties of Java libraries using model-checking and abstract interpretation techniques
12h00 - 13h30 Lunch Break
Afternoon session (Room 1C6)
13h30 Marius Bozga (VERIMAG)
Experiments with the IF toolbox
14h30 Oded Maler (VERIMAG)
On Recognizable Timed Languages
15h30 Coffee Break
16h00 Shaz Qadeer (Microsoft)
Reduction: A powerful technique for analyzing concurrent software
17h00 Radu Iosif (VERIMAG)
An Effective Calculus for the Verification of Aliasing Properties
Workshop dinner
Friday 23 January (Room 6A92)
10h Parosh Abdulla (Uppsala)
Regular model-checking
11h Axel Legay (Liège)
Iterating Transducers: Theory and Practice
12h - 13h30 Lunch break
Afternoon session (Room 0C2)
13h30 John Rushby (SRI)
Analysis of Infinite State and Hybrid Systems with SAL
14h30 Christof Loeding (LIAFA) common talk with Automata seminar
Deterministic Transducers over Infinite Terms
15h30 Coffee Break
16h00 Jean-Francois Raskin (Brussels)
Almost ASAP Semantics: from Timed Models to Timed Implementations
17h15 Farewell Party (Room 6A92)