Please note that this newsitem has been archived, and may contain outdated information or links.
30 August 2022, Master of Logic defense, Tianwei Zhang
Candidate: Tianwei Zhang
Title: Bisimulations over Parity Formulas
Date: Tuesday 30 August 2022
Time: 15:00
Location: Online (closed session)
Supervisor: Yde Venema en Johannes Marti
Please note that this newsitem has been archived, and may contain outdated information or links.