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 », a building from the Gerland campus of University Lyon 1. From ENS Lyon, take rue du Vercors and cross avenue Tony Garnier, or follow 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