Advance project meeting 27/28 March 2003, Paris. Tentative schedule:

Thursday, March 27: 

10h:            Welcome Coffee (6th floor LIAFA, 175, rue du Chevaleret)

Room 1C12 (1st floor):

10.30 - 11.30:  Jean-Francois Raskin (Brussels):
                Efficient verification of communicating 
                machines with multiple copies

11.45 - 12.15:  Parosh Abdulla (Uppsala): 
                Verification of Infinite Markov Chains

12.15 - 13.30:  Lunch

13.30 - 14.30:  Axel Legay (Liège): 
                Iterating Transducers at Large

14.45 - 15.45:  Bernard Boigelot (Liège): 
                Hybrid Acceleration using Real Vector Automata

16h - 17h:      Business meeting
                Discussion on the last steps of the project.

17h - 19h:      Free discussions


------------------------------------------------------------------------

Friday, March 28: Room 0C2 (ground floor)

9.30  - 10.30:  Marcus Nilsson (Uppsala): 
                On Regular Model checking

10.45 - 11.45:  Tayssir Touili (LIAFA): 
                Reachability analysis of Process Rewrite Systems: 
                Verification of multithreaded recursive programs.

12.00 - 13.15:  Lunch

13.15 - 14.15:  Radu Iosif (VERIMAG): 
                Storeless Semantics and Alias Logic

14.30 - 15.30:  Ahmed Bouajjani (LIAFA):
                Improvisations on known themes