[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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: [email protected] .
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é).
