13 - 17 May 2024, DiλLL 2024: Differential λ-Calculus and Differential Linear Logic - 20 Years Later, Marseille, France
Date: 13 - 17 May 2024
Location: Marseille, France
Twenty years after the publication of Ehrhard and Regnier’s first seminal paper on the subject, we are delighted to announce a conference on Differential λ-calculus and Differential Linear Logic, nicknamed DiλLL 2024. The programme will consist in a series of invited talks, a good proportion of which will be tutorials, targeted at young researchers as well as non-specialists. It will also include surveys of the main advances obtained in the course of twenty years, as well as research talks on current topics. For young researchers, it will also be possible to display posters in the premises of the conference during the whole week, in order to foster discussion around your work.
For more information, see
https://conferences.cirm-math.fr/2980.html
or contact dill2024-org at listes.math.cnrs.fr.