Journée FORWAL du 04 Juillet 2013 à Paris 6

Programme prévisionnel :

10h15-11h00 :  Vincent Hugot, On Positive TAGED with a Bounded Number of Constraints.
11h00-11h45 : Yann Thierry Mieg, A Guarded Action Language to express system semantics.
11h45-12h15 : Sophie Pinchinat, Présentation de la pré-equipe Logica.

REPAS (pris en charge par le GDR)

14h00-14h45 : Walid Belkhir, Guarded Variables Automata over Infinite Alphabets (and Applications).
14h45-15h30 : Bastien Maubert, Uniform strategies with rational relations.
15h30-16h15 : Yohan Boichut, Over-approximating Descendants by Synchronized Tree Languages.

Pour plus de renseignements,  contactez les responsables du groupe :

Yohan BOICHUT, LIFO, Université d'Orléans ( yohan.boichut@univ-orleans.fr)
Pierre-Cyrille Héam, LIFC, Université de Franche-Comté ( pierre-cyrille.heam@femto-st.fr)