Young Set Theory 2016 Masterclass
Ramsey Spaces / Homotopy Type Theory
13th - 17th June 2016
Department of Mathematical Sciences,
University of Copenhagen, Denmark
Tutorial Speakers:
- Stevo Todorcevic (TBA)
- Heike Mildenberger (TBA)
- Nicola Gambino (Homotopy Type Theory)
Additional speakers to be announced
>> Read more <<