Please note that this newsitem has been archived, and may contain outdated information or links.
13 April 2022, LLAMA seminar, Johannes Marti
Speaker: Johannes Marti (ILLC)
Title: A focus-style proof systems for the alternation-free mu-calculus
Date: Wednesday 13 April 2022
Time: 16:00-17:00
Location: Online (Zoom)
For more information, see
https://events.illc.uva.nl/llama/#talk-marti-2022
or contact Tobias Kappé at t.kappe at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.