Please note that this newsitem has been archived, and may contain outdated information or links.
17 January 2025, FOAM Seminar, Marianna Girlando
Speaker: Marianna Girlando
Title: Proof systems and decidability: the case of intuitionistic K
Date: Friday 17 January 2025
Time: 15:00-16:15
Location: Room L2.06, ILLC Lab42, Science Park 900, Amsterdam
For more information, see
https://events.illc.uva.nl/FOAM/posts/talk20/
or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.