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.