English version

Évelyne Contejean

 

Chargée de recherche au CNRS.
Membre du projet Proval du PCRI, commun au LRI/Université Paris-Sud-CNRS et à l’INRIA Saclay Île-de-France.
 

Téléphone:01 72 92 59 96
Fax : 01 74 85 42 29
Bureau/ Room:64, PCRI
Adresse (postale):LRI, bâtiment 650
  Université Paris-Sud
  F-91405 Orsay cedex
Mél:Evelyne.Contejean[at]lri[dot]fr
Web:www.lri.fr/∼contejea

CV (en français)

Recherche

Publications

Projet A3PAT

CADE 2013

RTA 2012

PSATTT 2011

PEPM 2011

UNIF07, un atelier satellite de RTA07 et TLCA07 (RDP07).

Logiciels

CiME : une boîte à outils pour la démonstration automatique.

Coccinelle : une libraire Coq pour modéliser la réécriture.

Alt-Ergo : un petit démonstrateur automatique dedié à la preuve de programme.

Enseignement

Année 2012/20013 : Démonstration automatique au MPRI (la page du cours a été mise à jour).

Ici, une version provisoire du polycopié du cours.

Un chapitre sur la combination de procédures de decision (emprunté à Claude Marché).

Les transparents du premier cours.

Les transparents du deuxième cours.

Les transparents du troisième cours.

 

Clef gpg : 4006 7081 DFA4 161A 30AB 7F47 74A9 16A6 4221 A547


This document was translated from LATEX by HEVEA.