Page personnelle de Nicolas Peltier

CAPP team - Laboratory of Informatics of Grenoble

Address : Bureau C114
    Bât. IMAG C, 220, rue de la Chimie
    38400 Saint Martin d’Hères, France

Phone. : +33 4 76 63 59 99        Fax. : +33 4 76 63 55 52
E-mail : Nicolas.Peltier@imag.fr

Research interests
I am mainly interested in automated reasoning and computational logic. Here are my current research topics:

Graph rewriting
Term and formula schematisation
Satisfiability modulo theories

Available systems

RegSTAB: a proof system for a class of propositional schemata, developed by V. Aravantinos
DEI: theorem-proving with iterated terms, by H. Bensaïd.
ECS: constraint solving in the empty theory
FISH: A Flat Instantiation ScHeme
A unification algorithm for I-terms, developed by G. Synnaeve and M. Guillame-Bert (Ensimag 2008)

Research subjects (for master students)

More information

My CV (June 07, in French)
Publications

Pistou (from the website of the LIG)

DBLP

Habilitation report (June 07, in French). An English abstract.
Some recent activity reports (in French)

Sept 01-Sept 05

Sept 05-Sept 07

Compte-rendu annuel d'activité (sept. 07 - aout 08)

Teaching (in French)

La première partie du cours de M2R RAPA (Raisonnement Automatisé: Principe et Applications).
Une implementation Prolog de certains des algorithmes du cours de Michel Levy (ex-L3 Inf, UJF)
Une partie du cours de Master 2 (ex DEA) "Logique et formalisation de l'inférence" (2001-2008). Sujets d'examen proposé en 2001, 2003, 2005 et 2008.

Other activities

Co-chair of FTP'2009
Program committee:

IJCAR 2010
TABLEAUX'2009
FTP'2007
FTP'2005
CADE'03

Member of the steering committee of FTP
The ANR Project ASAP
The (former) ANR Project ARROWS

PhD Students

Hicham Bensaïd
Vincent Aravantinos

Useful links

BiblioST2I: http://bibliost2i.inist.fr/
Wikipedia