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.

22 September 2014, Master of Logic defense, Simon Docherty

Candidate: Simon Docherty
Title: A model of type theory in cubical sets with connections
Date: Monday 22 September 2014
Time: 15:30
Location: Room F1.15, Science Park 105/107, Amsterdam
Supervisor: Benno van den Berg

For more information, please contact

Please note that this newsitem has been archived, and may contain outdated information or links.