Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Évelyne Contejean
[go: Go Back, main page]


Version française

Évelyne Contejean

 

CNRS researcher.
Member of the team Démons, LRI.
Member of Proval, a PCRI joint project between LRI/Université Paris-Sud-CNRS and INRIA Saclay Île-de-France.
 
Phone : +33 (1) 72 92 59 96
Fax  :  +33 (1) 74 85 42 29
Room : 103, bât. N
Address : CNRS / INRIA Saclay - PROVAL
    Parc Club Orsay Université, bâtiment N
    4, rue Jacques Monod, F-91893 Orsay cedex
Mail : Evelyne.Contejean[at]lri[dot]fr
Web : www.lri.fr/∼contejea

CV (in French)

Research

Publications

A3PAT Project

UNIF07, a satellite workshop of RTA07 and TLCA07 (RDP07)

Softwares

CiME: a tool box for automated deduction.

Coccinelle: a Coq library for modelling rewriting.

Alt-Ergo : a small proof engine dedicated to program verification.

Teaching

Year 2008/2009 : Automated Deduction at MPRI.

Here, a preliminary version of course's notes (in French).

Here, a more recent but still preliminary version.

A chapter on combination of decision procedures (borrowed from Claude Marché).

 

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

This document was translated from LATEX by HEVEA.