Workshop TBA 2026
on Taylor, Böhm and Approximations.
The first TBA Workshop will take place in Paris, at IRIF, in 2026. The goal is this workshop is to stir collaborations in the community of the theory of approximation of the lambda-calculus.
Dates : TBA
Talks
Schedule
Registration
There is no neeed for registration. Coffee breaks will be provided.
Venue
The workshop will take place at IRIF (Institute de Recherche en Informatique Fondamentale), in Paris.
Address:
Bâtiment Sophie Germain8 Place Aurélie Nemours
75013 Paris, France
View Larger Map
Further details on how to reach IRIF can be found on the official directions page.
Organisers
- Kostia Chardonnet - Inria/LORIA - Contact
- Delia Kesner - IRIF - Contact