Please note that this newsitem has been archived, and may contain outdated information or links.
(New) 12 March 2026, Workshop on Fixpoint Logics And Proof Systems
Date: Thursday 12 March 2026
Time: 09:30-17:00
Location: L1.12 in LAB42, Science Park 900, Amsterdam
Target audience: Researchers and students
This workshop aims to connect researchers and students interested in fixpoint logics, (cyclic) proof theory and related topics. Participation is free and no registration is required. Invited speakers are Balder ten Cate, Sebastian Enqvist, Iris van der Giessen, Marianna Girlando and Thomas Studer.
The workshop is colocated with the PhD defense of Johannes Kloibhofer on the 13th of February. More information can be found here.
For more information, see
https://jkloibhofer.github.io/flaps/
or contact Johannes Kloibhofer at j.kloibhofer at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.