Présentation du groupe de travail du GDR-IM
"Logique, Algèbre et Calcul"

Responsabilité scientifique :

Stéphane Graham-Lengrand,
(LIX, École Polytechnique, graham-lengrand@lix.polytechnique.fr)
Création du groupe de travail et responsabilité scientifique jusqu'à 2011 : Delia Kesner

Thèmes scientifiques du groupe de travail

Ce groupe de travail a pour but de fédérer des chercheurs français travaillant sur les interactions entre les systèmes calculatoires dont la théorie est issue de l'algèbre, comme les systèmes de réécriture de premier ordre ou les automates d'arbres, et ceux dont la base provient plutôt d'un système logique (intuitionniste, classique, linéaire) comme le lambda-calcul ou les réseaux de preuve/interaction sans oublier les formalismes informatiques issus de la théorie des catégories. Notre but est d'une part, d'exploiter le transfert de techniques entre ces formalismes, et d'autre part, d'étudier la possibilité de faire coexister ces approches dans un cadre homogène qui intègrent plusieurs paradigmes. Les thèmes pourraient se regrouper en (i) fondements, (ii) techniques et (iii) applications et implémentations. Ce groupe de travail s'interface avec le groupe Geocal (autour des aspects plus sémantiques), ainsi qu'avec le groupe "Langages, Types et Preuves" du GDR GPL (Génie de la Programmation et du Logiciel).