Please note that this newsitem has been archived, and may contain outdated information or links.
12 October 2022, Master of Logic defense, Daniel Otten
Candidate: Daniel Otten
Title: De Jongh's Theorem for Type Theory
Date: Wednesday 12 October 2022
Time: 14:00
Location: Room L3.35, Lab 42, Science Park 100, Amsterdam
Supervisor: Benno van den Berg
Please note that this newsitem has been archived, and may contain outdated information or links.