|
Participants
- IRCCyN : Franck Cassez, Guillaume Gardey, Olivier Roux
- LSV : François Laroussinie, Nicolas Markey, Stéphane Demri, Stéphane Riedweg, Patricia Bouyer, Pierre-Alain Reynier, Fabrice Chevalier, Paul Gastin
- VERIMAG : Stavros Tripakis, Thao Dang, Moez Krichen
- Extérieurs: Thierry Cachat, Aymeric Vincent, Béatrice Bérard
Programme de la journée
La réunion a lieu en salle C201/C203. au 2ème étage du bâtiment Cournot. Nous prévoyons de commencer le 3 février vers 10h30.Les propositions d'exposés sont les suivantes :
- Alternating temporal logic, papier de Rajeev Alur, Thomas Henzinger et Orna Kupferman (Franck ou Thierry)
- Alternating timed automata, papier de Slavek Lasota et Igor Walukiewicz (Patricia)
- Games for synthesis of controllers with partial observation, papier de André Arnold, Aymeric Vincent et Igor Walukiewicz (Aymeric)
- Scheduling using geometry (Thao)
- State identification for timed automata (Stavros)
- Contrôle des réseaux de Petri temporisés (Guillaume)
Jeudi 3 février 2005
-
10h30-12h30
- State identification for timed automata (Stavros)
- Contrôle des réseaux de Petri temporisés (Guillaume)
-
14h-16h15
- Games for synthesis of controllers with partial observation, papier de André Arnold, Aymeric Vincent et Igor Walukiewicz (Aymeric)
- Scheduling using geometry (Thao)
-
16h45-18h
- Alternating temporal logic, papier de Rajeev Alur, Thomas Henzinger et Orna Kupferman (Franck)
-
20h
- Rdv au restaurant "La Touraine", 39 rue Croulebarde, 75013 Paris
Vendredi 4 février 2005
On propose de travailler sur le mu-calcul. À ce propos, il serait bon d'aller voir ce survey d'Igor Walukiewicz. Thierry nous conseille aussi d'aller voir le LNCS 2500 sur les jeux.+ Alternating timed automata, papier de Slavek Lasota et Igor Walukiewicz (Patricia)
Comment accéder à l'ENS Cachan puis au LSV
Pour les grenoblois : à Gare de Lyon, prendre le RER A en direction de Cergy/Poissy/St Germain-en-Laye, descendre à Chatelet/Les Halles puis prendre le RER B (il faut changer de quai !) en direction de Robinson/Saint-Rémy-Lès-Chevreuse (faire attention à ce que le train s'arrête bien à Bagneux), descendre à Bagneux et suivre le plan de gauche puis le plan de droite :
|
|
Pour les nantais : à Montparnasse, prendre le métro 6 en direction de Nation, descendre à Denfert-Rochereau puis prendre le RER B en direction de Robinson/Saint-Rémy-Lès-Chevreuse (faire attention à ce que le train s'arrête bien à Bagneux), descendre à Bagneux et suivre le plan de gauche puis le plan de droite ci-dessus.
Dernières modifications effectuées le 22 novembre 2006 par Patricia Bouyer.
