---

Philippe SCHNOEBELEN Directeur de recherche, CNRS Directeur du LSV Laboratoire Spécification et Vérification CNRS UMR 8643 École Normale Supérieure de Cachan 61, avenue du Président Wilson 94235 CACHAN Cedex - France Tél. : +33 (0)1 47 40 75 30 Fax : +33 (0)1 47 40 75 21 Secr. : +33 (0)1 47 40 75 20 Mél : phs@lsv.ens-cachan.fr Bureau : RH-B-003

• Quelques publications
• Pour en savoir plus

• Un poste de professeur en Informatique (Cachan, LSV) est mis au concours.

• La pétition qui demande une commission d’enquête parlementaire sur le pilotage par l’État de la recherche publique.

• Je propose des stages de recherche sur la vérification par model-checking symbolique de modèles complexes.

• Temporal logic with past is exponentially more expressive.

• L'ACI PERSÉE.

• Coming events:
  • MOVEP '06, Bordeaux, 19–23 June 2006.

  • FORMATS '06, Paris, 25–27 Sep. 2006.

  • CSL '06, Szeged, 25–29 Sep. 2006.

I am playing with a toy RSS feed.