Augsburg Workshop on Internal Methods

Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

Description

Introduction to HoTT
Period12 Dec 2022
Event typeWorkshop
LocationAugsburg, Germany, BavariaShow on map
Degree of RecognitionInternational