Version fran\c{c}aise

Évelyne Contejean


CNRS researcher.
Head of VALS, LRI, Université Paris-Sud-CNRS.

Phone:+33 (1) 69 15 66 07
Room:66 at PCRI
Address (surface mail):LRI, bâtiment 650
  Université Paris-Sud
  F-91405 Orsay cedex


Publications (DBLP)
Publications (Google Scholar)


JFLA 2019
UNIF 2019
ICFP 2019


CiME: a tool box for automated deduction.

Coccinelle: a Coq library for modelling rewriting.

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

Formal Data : Mechanized formalizations of data-centric languages and systems


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 LATEX by HEVEA.