HoTTEST Summer School 2022

The HoTTEST Summer School 2022 will take place online everywhere in the world during the months of July and August 2022. It will start with parallel introductions to homotopy type theory and formalization, and end with a series of colloquia introducing more advanced topics and exciting areas for further study.

The school will run both synchronously and asynchronously. The lectures will be delivered live (between 2:30-4pm UTC) and paired with various tutorial sessions run by teaching assistants. The course will also feature a discord-based all-hours Q&A and an online archive of all course materials so that participants can follow along on their own schedule.

A central aim of the summer school is to build community among all of the participants, irrespective of geography.  To further this, we will hold some online social events (e.g. game nights) for the summer school staff and participants.

Details will be announced here in due course.

Essential information

Audience

This school is for everyone and anyone with some familiarity with abstract mathematics or theoretical computer science and an itching to learn about homotopy type theory. Our goal is to make homotopy type theory accessible to, and inclusive of, everyone who is interested, regardless of cultural background, age, ability, formal education, ethnicity, gender identity, or expression. We believe HoTT is for everyone, and are committed to fostering a kind, inclusive environment.

Attendance is free of charge.

Schedule

The lectures will take place MWF 2:30-4 PM UTC, starting July 4 and ending August 19. There will be two parallel tracks: Homotopy Type Theory (HoTT) and Formalization in Agda (Agda).

July 4

Paige North

HoTT

July 6

Martín Hötzel Escardó

Agda

July 8

Paige North

HoTT

July 11

Paige North

HoTT

July 13

Martín Hötzel Escardó

Agda

July 15

Ulrik Buchholtz

HoTT

July 18

Martín Hötzel Escardó

Agda

July 20

Ulrik Buchholtz

HoTT

July 22

Dan Licata

Agda

July 25

Ulrik Buchholtz

HoTT

July 27

Dan Licata

Agda

July 29

Emily Riehl

HoTT

August 1

Emily Riehl

HoTT

August 3

Dan Licata

Agda

August 5

Emily Riehl

HoTT

August 8

Anders Mörtberg

Agda

August 10

Egbert Rijke

HoTT

August 12

Anders Mörtberg

Agda

August 15

Egbert Rijke

HoTT

August 17

Anders Mörtberg

Agda

August 19

Egbert Rijke

HoTT

The end-of-summer colloquia will follow the same schedule on the following dates:

  • Jon Sterling on August 22;
  • Pierre Cagne on August 24;
  • Jonas Frey on August 26;
  • Favonia on August 29;
  • Chaitanya Leena Subramaniam on August 31.

Staff

Instructors

  • Ulrik Buchholtz
  • Martín Hötzel Escardó
  • Dan Licata
  • Anders Mörtberg
  • Paige North
  • Emily Riehl
  • Egbert Rijke

Colloquium speakers

  • Pierre Cagne
  • Favonia
  • Jonas Frey
  • Jon Sterling
  • Chaitanya Leena Subramaniam

Teaching assistants

  • Elisabeth Bonnevier
  • Tom de Jong
  • Jarl G. Taxerås Flaten
  • Chris Grossack
  • Artem Gureev
  • Perry Hart
  • Astra Kolomatskaia
  • Amélia Liao
  • Axel Ljungström
  • Jacob Neumann
  • Johannes Schipp von Branitz
  • Christopher Stough-Brown
  • Max Zeuner

Organizers

  • Carlo Angiuli
  • Dan Christensen
  • Martín Hötzel Escardó
  • Chris Kapulkin
  • Dan Licata
  • Emily Riehl
  • Egbert Rijke