2è
journées Méthodes Formelles pour la Mobilité
Lyon, 10 et 11 mars 2003
ENS Lyon, LIP - 3eme étage, amphi B
La réunion se tiendra au LIP, à l'ENS Lyon - comment s'y rendre (how to get there)
Programme
Orateurs extérieurs:
- Jean-Yves Marion
- Thomas Schwentick
- Jean-Marc Talbot
- Glynn Winskel
Lundi 10 mars après-midi
- 13h45: welcome
- 14h00-14h45: G. Winskel, Domain theory for concurrency
- 14h45-15h30: JM. Talbot, When Ambients cannot be opened abstract
- 15h30-16h15: F. Zappa Nardelli, Bisimulation Proof Methods
for Mobile Ambients abstract
- 16h15-16h45: coffee break
- 16h45-17h30: T. Schwentick, Automata, Logic and XML
abstract
- 17h30-18h15: C. Meyssonnier, A Logic you can count on
Lundi 10 mars soir: dîner
Mardi 11 mars matin
- 8h45-9h30: JY Marion, Proof theoretical analysis of computation and
complexity abstract
- 9h30-10h30: T. Schwentick, Logical characterizations of computational
complexity classes abstract
- 10h30-11h00: coffee break
- 11h00-11h45: V. Danos, Core Formal Molecular Biology abstract
- 11h45-12h30: S. Coupet-Grimal, Formal verification of an incremental
garbage collector abstract
Mardi 11 mars après-midi
Informations pratiques
Pour se rendre à l'ENS Lyon, depuis la gare de Lyon Part
Dieu: métro direct (à la - bonne - sortie de la gare, tickets
en vente juste avant les quais du métro) direction Stade de
Gerland, descendre à Debourg. Suivre
ensuite ce plan d'accès
(le site de l'école propose d'autres plans d'accès plus complets -- version
gif, version
postscript), et indiquer à l'accueil que vous allez aux journées
Méthodes Formelles pour la Mobilité (qui se tiendront en amphi B,
3è étage).
Directions
To go to ENS Lyon, from the center of the city: take the underground
(for example from Lyon Part Dieu), towards Stade de
Gerland. Get out at Debourg. Then follow this map (the ENS website
provides more detailed maps -- gif
version, postscript
version), and tell at the reception that you are going to the
journées Méthodes Formelles pour la Mobilité (3rd floor, amphi B).
Contact: Daniel
Hirschkoff, bureau 310, tél. 04 72 72 84 34