Working group: Applications of Homotopy Type Theory

Prague, 19 -- 21 May 2022

Institute of Mathematics, Czech Academy of Sciences
Žitná 25, 115 67 Praha 1

Description

The goal of the meeting is to discuss philosophical aspects and possible applications of homotopy type theory.

Preliminary schedule

19 May 2022

• 10:00 -- 12:00: Introduction to homotopy type theory
• 15:00 -- 18:00: Discussion session #1

20 May 2022

• 10:00 -- 12:00: Homotopy type theory and condensed mathematics
• 14:00 -- 18:00: Discussion session #2

21 May 2022

• 10:00 -- 11:00: Univalent foundations and generic mathematical structures
• 15:00 -- 18:00: Discussion session #3

Participants / speakers

1. Adam Bartoš (IM CAS)
2. Tristan Bice (IM CAS)
3. Janusz Kaczmarek (University of Lodz)
4. Ansten Mørch Klev (Institute of Philosophy CAS)
5. Wiesław Kubiś (IM CAS)
6. Dawid Kubiś (Johannes Kepler Grammar School)
7. Chris Lambie-Hanson (IM CAS)
8. Marcin Łazarz (University of Wrocław)
9. Bartłomiej Skowron (Warsaw University of Technology)
10. Will Stafford (Institute of Philosophy CAS)