 |
Réunion de l'ACI CORTOS les 7 et 8 juin 2004 à Nantes
|
|
Participants
- IRCCyN : Franck Cassez, Julien D'Orso, Guillaume Gardey, Didier Lime, Olivier Roux, Olivier Roux
- LSV : Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, Thierry Cachat, Fabrice Chevalier, François Laroussinie, Pierre-Alain Reynier, Agnès Robin (à confirmer)
- VERIMAG : Stavros Tripakis
- Extérieurs : Sophie Pinchinat, Jean-François Raskin, Stéphane Riedweg
Programme de la journée
La bibliographie pour la journée est disponible
ici (accès restreint).
lundi 7 juin 2004
10h - 12h15/12h30
- Thierry : A landscape with games in the background
- Stavros : On the Synthesis of reactive modules
14h - 17h30
- Julien : Symbolic algorithms for infinite-state games
- Franck : The element of surprise in timed games
- Thierry : Permissive strategies: from parity games to safety games
20h restaurant "Le Méditerranée"
mardi 8 juin 2004
9h - 12h15/12h30
- Jean-François : Almost ASAP semantics: from timed models to timed implementations
- Guillaume/Olivier : Petri net techniques for supervisory control of discrete event systems
- Sophie/Stéphane : Quantified mu-calculus for control synthesis (???)
14h - 17h
- Patricia : tba
- discussion
Comment accéder à l'IRCCyN
Pour aller au campus de l'IRCCyN (site du Petit Port), allez voir
ici.
L'IRCCyN se trouve alors au niveau du bâtiment S (voir
ici).
Dernières modifications effectuées le 22 novembre 2006 par Patricia Bouyer.
