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

[Giulio Guerrieri]

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


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

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é).


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