CONFERENCE
Differential λ-Calculus and Differential Linear Logic, 20 Years Later
λ-calcul différentiel et logique linéaire différentielle, 20 ans après
13 – 17 May, 2024
If you no longer intend to take part in the event, do not forget to let us know.
Si vous n’avez plus l’intention de participer à l’événement, n’oubliez pas de nous le faire savoir.
ARRIVAL and Check-In are possible from Sunday 5pm, a cold buffet is served from 19:00 to 21:45pm
Les ARRIVÉES sont possibles dès le dimanche à partir de 17h, un buffet froid est servi de 19h à 21h45
Departure is possible until Saturday morning 9 am at the latest, a dinner is planned on Friday
Les DÉPARTS peuvent s’effectuer jusqu’au samedi matin 9h, un diner est prévu le vendredi
Merci bien de nous préciser votre régime alimentaire (végétarien, allergies etc.)
Please indicate special diets (vegetarian, allergies etc.)
