Please note that this newsitem has been archived, and may contain outdated information or links.
Taichi Uemura receives best student paper award at Conference on Homotopy Type Theory
At the Conference on Homotopy Type Theory which took place last August in Pittsburgh, Taichi Uemura won the Best Student Paper Award for his work on the semantics of type theory.
For more information, see
https://hott.github.io/HoTT-2019/programme/
or contact Taichi Uemura at T.Uemura at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.