Organisation and participation in workshop, seminar, course: Homotopy type theory seminar (Event)
- Nicolas Pouillard(Organizer),
- Rasmus Ejlers Møgelberg(Organizer)
Activity:
Participating in or organising an event types
Organisation and participation in workshop, seminar, course
Activity Information
Activity type
Organisation and participation in workshop, seminar, course
Attending event
Homotopy type theory seminar Event type
SeminarEvent date
05/02/2014 – 28/05/2014Event location
IT University of CopenhagenCopenhagenDenmark