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
Confirmed Talks
- Davide Barbarossa
- Jules Chouquet
- Thomas Ehrhard
- Giulio Guerrieri
- Giulio Manzonetto
- Damiano Mazza
- Federico Olimpieri
Schedule
The workshop will take place from 9:30am to 5:30pm. The full schedule is yet TBA.Registration
Registration can be done at the following link: registration. Coffee breaks will be provided.
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