Journées LAC - GeoCal

24 et 25 Novembre 2011

Laboratoire d'Informatique de l'Ecole Polytechnique

Date limite pour s'inscrire : 15 Novembre 2011
Date limite pour la proposition d'exposés : 1er Novembre 2011

Orateurs invités :
Rachid Echahed,CNRS,
TBA
Jean-Louis Krivine,Université Paris 7 - CNRS
TBA

Organisateurs :
Stéphane LENGRAND,LIX-CNRS
Lutz STRASSBURGER,LIX-INRIA

Les groupes de travail GEOCAL (Géométrie du calcul) et LAC (Logique, Algèbre et Calcul) du GDR Informatique mathématique organisent une rencontre commune les Jeudi 24 et Vendredi 25 Novembre 2011 à l'Ecole Polytechnique, Palaiseau.