[TYPES/announce] Call for remote participation: DiλLL 2024 - Differential λ-Calculus and Differential Linear Logic - 20 Years Later, 13 - 17 May 2024
Lionel Vaux Auclair
lionel.vaux at univ-amu.fr
Thu Apr 25 16:30:00 EDT 2024
Call for remote participation
Differential λ-Calculus and Differential Linear Logic, 20 Years Later
(DiλLL 2024)
Monday 13 -- Friday 17 May 2024
https://urldefense.com/v3/__https://conferences.cirm-math.fr/2980.html__;!!IBzWLUs!Wdus4tvEi7bUwi_fhWJnBx-zkq06XhWPHFieSuAi1abZ5eZApMjpW6rVy_DA8sHDnZ-aj-dEJzksiuFMZlNvoKSGMR0manZoy-DPN_Mz$
As announced before, the conference on Differential λ-calculus and
Differential Linear will be held on 13--17 May 2024, at the CIRM in
Luminy (Marseille, France).
Registration for in person participation is officially closed but the
talks will be broadcast online. If you are interested in attending
remotely, please register: visit the conference page [1] and click the
"ONLINE PRE-REGISTRATION" to complete the process.
[1] https://urldefense.com/v3/__https://conferences.cirm-math.fr/2980.html__;!!IBzWLUs!Wdus4tvEi7bUwi_fhWJnBx-zkq06XhWPHFieSuAi1abZ5eZApMjpW6rVy_DA8sHDnZ-aj-dEJzksiuFMZlNvoKSGMR0manZoy-DPN_Mz$
If you have any question regarding the event, feel free to email the
organizers: dill2024-org at listes.math.cnrs.fr .
The Organizing Committee:
Rémy Cerda (Aix-Marseille Université),
Giulio Guerrieri (University of Sussex),
Federico Olimpieri (Aix-Marseille Université),
Christine Tasson (Sorbonne Université),
Lionel Vaux Auclair (Aix-Marseille Université).
More information about the Types-announce
mailing list