[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