Logic List Mailing Archive

CfR: DiλLL 2024: Differential λ-Calculus and Differential Linear Logic - 20 Years Later, 13 - 17 May 2024, Marseille (France)

Call for participation



    Differential λ-Calculus and Differential Linear Logic, 20 Years Later

                              (DiλLL 2024)



                    Monday 13 -- Friday 17 May 2024

                    CIRM, Luminy, Marseille, France



                 https://conferences.cirm-math.fr/2980.html





Pre-registration for the DiλLL 2024 conference is now open!



Participation is free, and we plan to fund the accommodation of all

participants requiring it, as well as to provide a limited number of travel

grants. See the "Funding" section below.



Please pre-register early if you are interested in attending, as this will help

us organize the event in the best conditions. The firm deadline for in person

registration is 17 March 2024, assuming the capacity of the CIRM is not reached

by then.



A first round of travel grants will be attributed at the end of January 2024.



If you have any question regarding the event, feel free to email the

organizers:  dill2024-org@listes.math.cnrs.fr<mailto:dill2024-org@listes.math.cnrs.fr> .





Announcement

============



Twenty years after the publication of Ehrhard and Regnier’s first seminal paper

on the subject [1], we are delighted to announce a conference on Differential

λ-calculus and Differential Linear Logic [2], nicknamed DiλLL 2024.



   [1] https://doi.org/10.1016/S0304-3975(03)00392-X

   [2] https://conferences.cirm-math.fr/2980.html



It will be held on 13--17 May 2024, at the CIRM in Luminy (Marseille, France),

the campus where this fruitful line of work started twenty years ago.



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.





Funding

=======



We plan to fund the accommodation of any participant, within the limits of the

capacity of the CIRM and of our budget. If you have funding available, allowing

you to pay for your own accommodation, please let us know during pre-registration:

this will allow us to allocate more of our own funding to other participants.



The details of your accommodation will be managed by the CIRM.



We also plan to offer a limited number of travel grants, mainly targeted at

young researchers (master or PhD students, postdocs): you can apply for such a

grant in the pre-registration form.


The Organizing Committee:

Rémy Cerda (Aix-Marseille Université),
Giulio Guerrieri (Aix-Marseille Université),
Federico Olimpieri (University of Leeds),
Christine Tasson (Sorbonne Université), and
Lionel Vaux Auclair (Aix-Marseille Université).
Giulio Guerrieri, PhD
Maître de Conférences en Informatique

IUT d'Aix
Laboratoire d'Informatique et Systèmes (LIS, UMR 7020)
Aix-Marseille Université
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php