Journée du 21 Janvier 2005

Rubriques
Travaux en commun
Publications
Info. pratiques
Contacts
Séminaires
Le prochain

21/05/2010
05/03/2010
22/01/2010

04/12/2009
13/11/2009
02/10/2009
05/06/2009
03/04/2009
06/03/2009
23/01/2009

05/12/2008
14/11/2008
10/10/2008
30/05/2008
11/04/2008
21/03/2008
15/02/2008

Séminaires 2007

Séminaires 2006

Séminaires 2005


mod. 08-Jui-2010

Lieu

LIP6: comment y aller

Programme

14h00-15h00: Yann Thierry Mieg (LIP6): Techniques pour le Model-Checking de spécifications de Haut niveau

 

15h00-16h00 : Laure Petruci (LIPN): Vérification formelle de systèmes. Un expérience avec FAST