You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Federico Olimpieri (Mar 11 2024 at 10:53): Second 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
Deadline for registration: *17 March 2024*
(but please, register ASAP)
https://conferences.cirm-math.fr/2980.html
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.
Registration
============
Please register ASAP if you are interested in attending. The firm deadline
for in person registration is 17 March 2024, assuming the capacity of the
CIRM is not reached by then.
Registration is done on the CIRM's website [3], which is also
available on the conference page as "STEP 1 - PRE-REGISTER - APPLY HERE".
[3] https://www.cirm-math.fr/preRegistration/index.php?EX=login&id_renc=2980
Note that if you do not know all the details of your participation yet, it is
possible to register now, and modify your registration until the deadline.
If you have any questions regarding the event, feel free to email the
organizers: dill2024-org@listes.math.cnrs.fr .
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 below.
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
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 registration form.
A first round of travel grants has been attributed, but further requests
can still be considered.
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é).