We are starting (in collaboration with LOS) a new working seminar which will provide an introduction to type theory, proof theory and related areas.
The seminar will be held at the Institute for Logic and Data Science (Popa Tatu 18).
The first meeting will be held on July 10, 2023 at 11:00.
More information will be available in time on the seminar page.