Please note that this newsitem has been archived, and may contain outdated information or links.
18 February 2021, Master of Logic defense, Lukas Zenger
Candidate: Lukas Zenger
Title: Proof theory for fragments of the modal mu-calculus
Date: Thursday 18 February 2021
Time: 10:00
Location: Online (Closed Session)
Supervisor: Bahareh Afshari
Please note that this newsitem has been archived, and may contain outdated information or links.