Le groupe de travail du GDR-IM
"Logique, Algèbre et Calcul"

Vingt-troisième réunion (LAC-Geocal, GDR-IM) à Paris les 28-29 Novembre 2016