|
GEOCAL-LAC
Journées Nationales 2011 12-13 mai, 2011 Loria, Nancy |
|
|
PRESENTATION Les groupes de travail LAC (Logique, Algèbre et Calcul) et GEOCAL (Géométrie du calcul) du GDR Informatique Mathématique organisent leur réunion annuelle 2011 en commun au LORIA du 12 au 13 mai 2011. Le groupe de travail LAC (/Logique, Algèbre et Calcul/) 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. La problématique générale du groupe de travail GEOCAL (/Géométrie du calcul/) est de trouver au sein de la logique et des mathématiques des outils permettant la modélisation abstraite des programmes. Un exemple spectaculaire du succès de cette approche est l'invention de la logique linéaire issue d'une part de l'isomorphisme de Curry - Howard établissant la correspondance entre les déductions formelles en logique intuitionniste et le lambda-calcul typé, et d'autre part de la modélisation du lambda-calcul par des espaces présentant des analogies fortes avec les espaces vectoriels. REUNIONS PRECEDENTES CONTACTS
|