Doctoral School in Mathematics
Multiple equilibria in natural sciences
Proof theoretical issues in Martin-Löf Type Theory and Homotopy Type Theory