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