Please note that this newsitem has been archived, and may contain outdated information or links.
30 August 2023, Master of Logic defense, Shinichiro Tanaka
Candidate: Shinichiro Tanaka
Title: Effective Kan Fibrations for W-Types in Homotopy Type Theory
Date: Wednesday 30 August 2023
Time: 11:00
Location: Room L3.36, Science Park 900, Amsterdam
Supervisor: Benno van den Berg
Please note that this newsitem has been archived, and may contain outdated information or links.