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 2017 en commun au Laboratoire des Sciences du Numérique de Nantes (LS2N) les 13 et 14 novembre 2017.
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.
Orateurs invités
- Valentin Blot (Paris-Sud), Polymorphism vs. Bar Recursion: towards a new termination proof for System F
- Amina Doumane (ENS Lyon), Completeness of mu-calculi and the mystery of circular proofs
- Paul-André Melliès (IRIF), Automates à parité d’ordre supérieur
- Pierre-Marie Pédrot (MPI-SWS), Taming effects in a dependent world
Participation et inscription aux journées
Les inscriptions aux journées sont ouvertes jusqu’au 3 novembre 2017. 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 du LS2N.
Pour s’inscrire, voir l’item Inscription.
Dates
-
propositions d’exposé : 27 octobre -
inscriptions : 5 novembre -
journées : 13-14 novembre
