The Type Theory Working Seminar is a joint LOS/ILDS working seminar which provides an introduction to type theory, proof theory and related areas.
The seminar is held at the Institute for Logic and Data Science (Popa Tatu 18) at 11:00, unless specified otherwise.
Organizer: Andrei Sipoș
List of meetings:
- 10 July 2023
- 24 July 2023
- 28 August 2023
- 7 September 2023 at 13:00
- 14 September 2023