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 2009/2010 : Automated Deduction at MPRI.

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

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

Project (deadline 2010 Feb, 2nd).

 

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

This document was translated from LATEX by HEVEA.