Please note that this newsitem has been archived, and may contain outdated information or links.
24 February 2021, Master of Logic defense, Wijnand van Woerkom
Candidate: Wijnand van Woerkom
Title: Algebraic models of type theory
Date: Wednesday 24 February 2021
Time: 11:00
Location: Online (Closed Session)
Supervisor: Benno van den Berg
Mentor: Ronald de Wolf
Please note that this newsitem has been archived, and may contain outdated information or links.