Intitulé:
Journée Méthodes Formelles du groupe Graphes et Logique
|
Date | 2012-05-29 09:30-17:00 |
Titre | Journée Méthodes Formelles |
Résumé | 9h30-10h Hugo Gimbert: Jeux stochastiques à observation partielle
10h-10h30 Gabriele Puppis: Regular languages of countable words
10h30-11h Sylvain Salvati: A l'interface entre syntaxe et sémantique -
lambda-calcul, logique et grammaires formelles en action
11h30-12h Pascal Weil: The FO2 quantifier alternation hierarchy is decidable
12h-12h30 Irène Durand: Verifying monadic second order graph properties with
tree automata
14h-14h30 Mohamed Mosbah: Visidia - visualisation et preuves
d'algorithmes distribués
14h30-15h00 Frédéric Herbréteau: Better abstractions for timed
automata
15h30-16h Richard Moot: Analyse syntaxique et sémantique en théorie des types:
comment reconstituer un itinéraire à partir d'un récit de voyage
16h-16h30 David Janin: Problèmes ouverts en modélisation musicale et
applications aux méthodes formelles
16h30-17h Anca Muscholl: On distributed control and monitoring |
Lieu | Amphi LaBRI |
Orateur | |
Aucun document lié à cet événement.
RetourRetour à l'index