Please note that this newsitem has been archived, and may contain outdated information or links.
30 January 2024, PhD defense, Guillermo Menéndez Turata
Candidate: Guillermo Menéndez Turata
Title: Cyclic Proof Systems for Modal Fixpoint Logics
Date: Tuesday 30 January 2024
Time: 13:00
Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
Promotor: Yde Venema
Copromotor: Bahareh Afshari
Please note that this newsitem has been archived, and may contain outdated information or links.