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

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

[Lionel Vaux Auclair]

[-- Attachment #1: Type: text/plain, Size: 3688 bytes --]

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<https://protect-au.mimecast.com/s/IiJpCgZ05Jf2lR0Qs2nFGf?domain=conferences.cirm-math.fr>


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 questions regarding the event, feel free to email the
organizers: 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<https://protect-au.mimecast.com/s/54ncCjZ12RfqjX5Nu7cLgQ?domain=doi.org>
[2] https://conferences.cirm-math.fr/2980.html<https://protect-au.mimecast.com/s/IiJpCgZ05Jf2lR0Qs2nFGf?domain=conferences.cirm-math.fr>

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.


Organizing Committee
====================

Rémy Cerda (Aix-Marseille Université),
Giulio Guerrieri (Aix-Marseille Université),
Federico Olimpieri (University of Leeds),
Christine Tasson (Sorbonne Université),
Lionel Vaux Auclair (Aix-Marseille Université).


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 5839 bytes --]