Pascal Koiran

I am professor of computer science at Ecole Normale Supérieure de Lyon, and a member of LIP , its computer science lab.

This web page may not always be up to date. Use at your own risk!

How to contact me:

Mailing address :
Pascal Koiran
46, allée d'Italie
69364 Lyon Cedex 07, France

Phone: +33 4 37 28 76 46 (from abroad) / 04 37 28 76 46 (from France)
Fax: 33 4 72 72 80 80 (from abroad) / 04 72 72 80 80 (from France)
Office 175 at « LUG » in a building from the Gerland campus of University Lyon 1. Street address : 50, avenue Tony Garnier. From ENS Lyon : take rue du Vercors, cross avenue Tony Garnier, and walk though the gate on the right side of rue du Vercors (a couple of meters after the intersection). Our offices are at the opposite end of the courtyard, on the left side of the building. For pictures, please consult these instructions.
Email: Pascal.Koiran à


ISSAC 2012 Tutorial

Le projet CompA

Oraux d'informatique des ENS

Voici le document ( fichier postscript) qui a servi de base de travail pour faire passer l'épreuve orale d'informatique commune aux ENS de Lyon et Paris en 2000.

The summer project of Vincent Clapiès: construction of a structure which contains (N,+,-,*,=) and nonetheless eliminates quantifiers.

Enseignement :

CSP (Problèmes de Satisfaction de Contraintes)

Probabilités et applications