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