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.