Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.