HOTT – Homotopy type theory

This is the webpage for the master 2 course Homotopy type theory (aka HOTT) taught at the Parisian Master of Research in Computer Science (MPRI).

Practical

The course takes place on Wednesdays in room 1004 of Sophie Germain building. It runs from December 10th, 2025 until February 25th, 2026, except December 24th and 31st (Winter holidays). The exam takes place on March 4th, 2026.