Journées LAC - 2013

Créteil, les 28 et 29 novembre 2013

Laboratoire d'Algorithmique Complexité et Logique - UPEC

Bâtiment P2, salle des thèses (informations pratiques ici).




Date limite pour s'inscrire : 21 novembre 2013
Date limite pour la proposition d'exposés : 15 novembre 2013




Orateurs invités :
Pierre Courtieu,CEDRIC (CNAM)
Différents travaux sur la vérification de programmes SPARK
Sergueï Lenglet,LORIA (Université de Lorraine)
Bisimulations pour les opérateurs de contrôle délimité



Organisateurs :
Stéphane Lengrand,LIX-CNRS
Emmanuel Polonowski,LACL