Thèmes scientifiques du groupe de travail
Logique, Algèbre et Calcul






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. L'interaction entre ce groupe et celui piloté par Laurent Regnier (autour des aspects plus sémantiques) devrait être importante.