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, ...)