Les groupes de travail Géocal (Géométrie du calcul) et LAC (Logique, Algèbre et Calcul) du GDR IM (Informatique Mathématique) organisent leur réunion annuelle 2016 en commun à l'IRIF les 28 et 29 novembre 2016.

La problématique du groupe de travail Géocal (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. Dans ce cadre général les travaux concernent la correspondance entre preuves et programmes (sémantiques de réalisabilité, extension de systèmes de types, calculs parallèles, etc.), la complexité implicite visant à représenter des classes de complexité algorithmique par des contraintes logiques, le cadre topologique pour la concurrence et la géométrie de la réécriture, l'exploration de pistes pour unifier les paradigmes de calcul séquentiel et parallèle et d'autres thèmes similaires.

Le groupe de travail LAC (Logique, Algèbre et Calcul) fédère des chercheurs français travaillant sur les interactions entre les systèmes calculatoires issus 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 comme le lambda-calcul ou les réseaux de preuve ou interaction sans oublier les formalismes informatiques issus de la théorie des catégories. Le but des travaux 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 intégrant plusieurs paradigmes.

Les chercheurs suivants ont accepté notre invitation à présenter leurs travaux lors de ces journées :

• Emmanuel Beffara, I2M, Université d'Aix-Marseille
• Pierre-Louis Curien, IRIF, CNRS, INRIA et Université Paris-Diderot
• Chantal Keller, LRI, Université Paris-Sud
• Samuel Mimram, LIX, École Polytechnique

Les inscriptions aux journées sont ouvertes jusqu'au 16 novembre 2016. La participation est gratuite, et les déjeuners et le dîner sont pris en charge, grâce au soutien des groupes de travail et de l'IRIF.

Pour s'inscrire, voir l'item Inscription.

• propositions d'exposé : 17 octobre
• inscription : 16 novembre
• journées : 28-29 novembre

• Yves Guiraud, Alexis Saurin et Christine Tasson