First ADVANCE meeting
                            6-7 November 2000

Address:        175, Rue du Chevaleret, 75013 Paris, France.
Metro:          Chevelaret, line 6.     



Monday, November 6 
==================

Location: [Room 0C2]
---------

10.00 - 10.30   :       Welcome, coffee

10.30 - 11.00   :       Introduction, presentation of the project.
                        Ahmed Bouajjani (Liafa)

11.00 - 12.00   :       The PGM protocol
                        Yves-Marie Quemener (France-Telecom R&D)

12.00 - 14.00   :       Lunch

14.00 - 15.30   :       The SIP protocol
                        Hans Nilsson (Ericsson)

15.30 - 16.00   :       Coffee break

16.00 - 16.30   :       BDD model-checker for programs with recursive procedures
                        Stefan Schwoon (TUM)

16.30 - 17.15   :       Counting the solutions of Presburger equations
                        without enumerating them
                        Bernard Boigelot (Liege)

17.15 - 18.00   :       Reasoning about parametrized systems
                        Ahmed Bouajjani (Liafa)

20.00 - 22.00   :       Dinner (Au Petit Cahoua, 39 Blvd St-Marcel, P-13)


Tuesday, November 7
===================

Location: [Room 1C18]
---------

09.00 - 09.45   :       Efficient Model-Checking using Unfoldings and
                        SAT solvers
                        Julien d'Orso (Uppsala)

09.45 - 10.30   :       Computing transitive closures of transducers
                        Yassine Lakhnech (Verimag)

10.30 - 11.00   :       Coffee break

11.00 - 11.30   :       Model Checking Kit
                        Claus Schroeter (TUM)

11.30 - 12.15   :       IF environment
                        Susanne Graf (Verimag)

12.15 - 14.00   :       Lunch


location: [Room 2E1]:
---------

14.00 - 16.00   :       Discussion 
                        (cooperation, integration of tools, 
                        homework for next meeting, ...)