CSDAI

Department of Institut Polytechnique de Paris

Group partout

partout (Proof Automation and RepresenTation: a fOundation of compUtation and deducTion)

LIX, Ecole Polytechnique

Themes:foundations of computer science

The PARTOUT project is interested in the principles of deductive and computational formalisms. In the broadest sense, we are interested in the question of trustworthy and verifiable meta-theory.

Contact person: luts Strassburger, http://www.lix.polytechnique.fr/~lutz

Web site: https://team.inria.fr/partout/