Workshop TBA 2026
on Taylor, Böhm and Approximations.
The first TBA Workshop will take place in Paris, at the Inria Center, on the 16th of November 2026. The goal of this workshop is to stir collaborations in the community of the theory of approximation of the lambda-calculus.
Date: Monday, 16 of November 2026
Talks
- Davide Barbarossa
- Jules Chouquet: Meaningfulness VS non-trivial approximation in distant Bang calculus.
- Thomas Ehrhard: Coherent differentiation: taming the sums of differential linear logic.
- Giulio Guerrieri: Meaningfulness and Genericity in a Subsuming Framework.
- Adrienne Lancelot: Semantically Free Variables and why Böhm should care.
- Giulio Manzonetto: What do I do if I have time?
- Damiano Mazza: Approximations dans le pi-calcul.
- Federico Olimpieri: Combinatorial species and the approximation theories of lambda-terms.
Schedule
The workshop will take place from 9:30am to 5:30pm.| Time | Monday |
|---|---|
| 9:30 - 10:00 | Coffee Break |
| Morning Session 10:00 - 12:00 |
Giulio Manzonetto Damiano Mazza Adrienne Lancelot Jules Chouquet |
| 12:00 - 14:00 | Lunch |
| First Afternoon Session 14:00 - 15:30 |
Federico Olimpieri Giulio Guerrieri |
| 15:30 - 16:00 | Coffee Break |
| Second Afternoon Session 16:00 - 17:30 |
Davide Barbarossa Thomas Ehrhard |
Registration
Registration is now closed.
Venue
The workshop will take place at Inria Paris in room Emmy Noether. The room is located on the first floor of the Inria building. As you enter the building, take the hallway on your right. The room is located at the end of the hallway.
Address:
Inria Paris Centre48 rue Barrault
75013 Paris, France
View Larger Map
Further details on how to reach the Inria Center can be found on the official directions page.
Organisers
- Kostia Chardonnet - Inria/LORIA - Contact
- Delia Kesner - IRIF - Contact