(Updated) 4 March 2026, LLAMA seminar, Johannes Kloibhofer
Speaker: Johannes Kloibhofer (ILLC)
Title: Interpolation with cyclic proofs
Date: Wednesday 4 March 2026
Time: 16:00-17:00
Location: ILLC Seminar Room F1.15, Science Park 107 and online (see website)
For more information, see
https://events.illc.uva.nl/llama/#talk-kloibhofer-2026
or contact Marianna Girlando at m.girlando at uva.nl.