Please note that this newsitem has been archived, and may contain outdated information or links.
26 November 2019, Master of Logic defense, Dimitris Koutsoulis
Candidate: Dimitris Koutsoulis
Title: Lifschitz Realizability for Homotopy Type Theory
Date: Tuesday 26 November 2019
Time: 15:30
Location: Room F2.19, Science Park 107, Amsterdam
Supervisor: Benno van den Berg, Andrew Swan
Please note that this newsitem has been archived, and may contain outdated information or links.