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

$Version fran\c{c}aise$

Évelyne Contejean

CNRS research fellow

Phone	:	+33 (1) 69 15 66 07
Fax	:	+33 (1) 74 85 42 29
Room	:	66 at PCRI
Address (surface mail)	:	LRI, bâtiment 650
		Université Paris-Sud
		F-91405 Orsay cedex
Mail	:	Evelyne.Contejean[at]lri[dot]fr
Web	:	www.lri.fr/∼contejea

Responsabilities

Head of the VALS team of the Laboratoire de Recherche en Informatique (CNRS and Université Paris-Sud)
Elected member of the section 6 of the Comité National de la Recherche Scientifique

Research

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

Software

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 2011/2012 : Automated Deduction at MPRI (the page of the course has been updated).

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

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

Slides of the first lecture (in French).

Slides of the second lecture (in French).

Slides of the third lecture (in French).

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

This document was translated from L^AT_EX by H^EV^EA.