Organizing Commitee
Comité d’organisation
Olivier Bodini (Université Paris 13)
Luigi Santocanale (Aix-Marseille Université)
Noam Zeilberger (Ecole Polytechnique)
IMPORTANT WARNING: Scam / Phishing / SMiShing ! Note that ill-intentioned people may be trying to contact some of participants by email or phone to get money and personal details, by pretending to be part of the staff of our conference center (CIRM). CIRM and the organizers will NEVER contact you by phone on this issue and will NEVER ask you to pay for accommodation/ board / possible registration fee in advance. Any due payment will be taken onsite at CIRM during your stay.
The ANR LambdaComb is an interdisciplinary project that broadly aims to deepen connections between lambda calculus and logic on the one hand and combinatorics on the other. A founding motivation for the project was the discovery over recent years of a host of surprising correspondences between subsystems of lambda calculus and enumeration of graphs on surfaces, or “maps”, the latter being a very active subfield of combinatorics with roots in W. T. Tutte’s work in the 1960s.
The aim of the three day meeting will be to present results obtained during the project, which is nearing the official end of its ANR lifetime, as well as to discuss open problems and future directions.
Le projet ANR LambdaComb est un projet interdisciplinaire qui vise à approfondir les liens entre, d’une part, le lambda calcul et la logique, et d’autre part, la combinatoire. Une motivation fondatrice du projet a été la découverte, au cours des dernières années, de nombreuses correspondances entre certains sous-systèmes du lambda calcul et l’énumération des graphes sur les surfaces, ou « cartes » – un domaine très actif de la combinatoire, dont les racines remontent aux travaux de W. T. Tutte dans les années 1960s.
L’objectif de cette rencontre de trois jours sera de présenter les résultats obtenus
au cours du projet, qui approche de la fin de sa période de financement ANR, ainsi que de discuter des problèmes ouvertes et des perspectives futures.
SPEAKERS
To be announced
SPONSOR
