![cortos3.gif](cortos3.gif) |
Deuxième réunion de l'ACI CORTOS le 5 mars 2004 à Grenoble
|
|
Participants
- IRCCyN : Franck Cassez, Julien d'Orso, Guillaume Gardey
- LSV : François Laroussinie, Stéphane Demri, Houda Bel Mokadem,
Patricia Bouyer, Thierry Cachat, Fabrice Chevalier
- VERIMAG : Stavros Tripakis, Karine Altisen
Programme de la journée
- 9h-10h, Patricia: "Contrôle temporisé avec observabilité partielle"
- 10h-11h, Franck: "Comparaison de différents types de contrôle temporisé"
- 11h30-12h30, Patricia/Franck: "Contrôle optimal"
- 14h-15h, Julien: "Monotonic games"
- 15h30-16h30, Francois: "Logique compositionnelle Lnu"
- discussions
NB : les autres exposés proposés sont gardés sous le coude.
J'en rappelle juste la liste, et on peut en rajouter !
- Thao : synthèse pour AH (overview, outils, etc)
Comment se rendre à Vérimag ?
Suivez le
lien !
Dernières modifications effectuées le 22 novembre 2006 par Patricia Bouyer.