Connexion

English version

Université Paris-Diderot

Centre National de la Recherche Scientifique

PPS UMR 7126 – Laboratoire
Preuves, Programmes et Systèmes

IRIF
Institut de Recherche
en Informatique Fondamentale
UMR 8243 Fédération de Recherche en Mathématiques de Paris Centre Fondation des Sciences Mathématiques de Paris Réseau de Recherche Doctoral en Mathématiques de l'Île-de-France UFR d'informatique
UFR de mathématiques

Accueil · Présentation · Membres · Publications · Séminaire · Groupes de travail · Projets · πr²

Permanents et associés · Doctorants et postdoctorants · Visiteurs · Anciens · Photos

PHOTOGRAPHIES

Trouville 2012
Journées PPS à Trouville, septembre 2012

Ocsigen Site réalisé avec Ocsigen, Eliom, Ocsimore, Ocaml et Ocamlduce