Evènement pour le groupe Graphes et Logique


Date 2012-05-29  09:30-17:00
TitreJourné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  
LieuAmphi LaBRI 
Orateur 



Aucun document lié à cet événement.

Retour
Retour à l'index