[TYPES/announce] 2nd Call for participation: Differential λ-Calculus and Differential Linear Logic, 20 Years Later (DiλLL 2024)

[Giulio Guerrieri]

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://urldefense.com/v3/__https://conferences.cirm-math.fr/2980.html__;!!IBzWLUs!SZfbA86eueOLoy1gYPFvg7sl4zMvvcTuDVJKlhU_JuHsUqZpGS9bwKiUH6soJi2Fdv2YtqBMXlkWPq5TnxAongbGTLgn11byaw2hcjJLSF_oeA$ 


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://urldefense.com/v3/__https://doi.org/10.1016/S0304-3975(03)00392-X__;!!IBzWLUs!SZfbA86eueOLoy1gYPFvg7sl4zMvvcTuDVJKlhU_JuHsUqZpGS9bwKiUH6soJi2Fdv2YtqBMXlkWPq5TnxAongbGTLgn11byaw2hcjIqKVYu0w$ 
   [2] https://urldefense.com/v3/__https://conferences.cirm-math.fr/2980.html__;!!IBzWLUs!SZfbA86eueOLoy1gYPFvg7sl4zMvvcTuDVJKlhU_JuHsUqZpGS9bwKiUH6soJi2Fdv2YtqBMXlkWPq5TnxAongbGTLgn11byaw2hcjJLSF_oeA$ 

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://urldefense.com/v3/__https://www.cirm-math.fr/preRegistration/index.php?EX=login&id_renc=2980__;!!IBzWLUs!SZfbA86eueOLoy1gYPFvg7sl4zMvvcTuDVJKlhU_JuHsUqZpGS9bwKiUH6soJi2Fdv2YtqBMXlkWPq5TnxAongbGTLgn11byaw2hcjLXXhFGGg$ 

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 at 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é).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240304/0449b321/attachment.htm>