Please note that this newsitem has been archived, and may contain outdated information or links.
3 June 2021, Logic and Interactive Rationality (LIRa), Guillermo Menéndez Turata
Speaker: Guillermo Menéndez Turata
Title: Uniform interpolation from cyclic proofs: the case of modal mu-calculus
Date: Thursday 3 June 2021
Time: 16:30-18:00
Location: Online
For more information, see
https://projects.illc.uva.nl/lgc/seminar/2021/02/lira-session-bahareh-afshari-2/.
Please note that this newsitem has been archived, and may contain outdated information or links.