Flash Info
Publication du programme PAUSE – ANR Ukraine pour l’accueil de scientifiques ukrainiens et ukrainiennes dans des laboratoires français
CE48 - Fondements du numérique: informatique, automatique, traitement du signal

une expédition cartographique entre le lambda-calcul, la logique, et la combinatoire – LambdaComb

Résumé de soumission

L’enjeu de ce projet est l’étude et l’approfondissement d’une connexion remarquable découverte en 2013/2014 par les porteurs de ce projet entre lambda-calcul (informatique théorique) et les cartes (combinatoire). Ainsi, nous avons d’un côté, le lambda-calcul, un modèle de calcul classique qui reste très influent sur les langages de programmation modernes et de l’autre côté, la théorie des graphes plongés dans des surfaces (les « cartes »), un domaine profond avec une longue histoire mathématique. Cette découverte inattendue amène de très nombreuses correspondances énumératives et bijectives entre ces deux domaines et de fait, est une véritable opportunité pour le transfert de connaissances entre deux disciplines qui jusqu’à présent était restée essentiellement sans interaction. C’est aussi une occasion unique pour faire des nouvelles avancées par une recherche à l’interface de ces deux champs disciplinaires actifs.

Coordinateur du projet

Monsieur Noam Zeilberger (Laboratoire d'Informatique de l'Ecole Polytechnique)

L'auteur de ce résumé est le coordinateur du projet, qui est responsable du contenu de ce résumé. L'ANR décline par conséquent toute responsabilité quant à son contenu.

Partenaire

LIX Laboratoire d'Informatique de l'Ecole Polytechnique
Jagiellonian University / Theoretical Computer Science
LIGM Laboratoire d'Informatique Gaspard-Monge
LIPN Laboratoire d'Informatique de Paris-Nord
LIS Laboratoire d'Informatique et Systèmes

Aide de l'ANR 284 792 euros
Début et durée du projet scientifique : décembre 2021 - 48 Mois

Liens utiles

Explorez notre base de projets financés

 

 

L’ANR met à disposition ses jeux de données sur les projets, cliquez ici pour en savoir plus.

Inscrivez-vous à notre newsletter
pour recevoir nos actualités
S'inscrire à notre newsletter