As the global AI landscape consolidates around US and Chinese dominance, every nation outside this duopoly faces an urgent question: how can countries retain meaningful control over a technology increasingly expected to shape their economic competitiveness, national security, and societal resilience? From the viability of sovereign cloud architectures and open-weight foundation models to the governance mechanisms needed to ensure AI systems reflect Swiss values and legal frameworks, this conference brings together industry leaders, researchers, legal experts, policymakers, and civil society actors to assess the concrete levers of AI sovereignty and work toward actionable recommendations for a Swiss sovereign AI strategy.
\r\n
\r\nEPFL Investor Day 2026 brings together leading investors and ambitious deeptech startups from EPFL and across Western Switzerland.
\r\n
\r\nTaking place on Wednesday, 25 November 2026 at the SwissTech Convention Center, the event is structured in two parts:\r\n
This talk is meant to give an overview of the semantics of HoTT in (∞,1)-categories, tackling the key challenge of rigidification: the process of bridging homotopy-coherent notions phrased in models of higher categories such as quasicategories, and their type-theoretical counterparts that must account for the inherent strictness of type theory.
\r\nAfter quickly recalling the usual categorical semantics of extensional Martin-Löf type theory within locally cartesian closed category, the plan is to present some useful ideas to carry over some of the argument to the higher setting. Specifically, I will discuss the process of turning an elementary higher topos into a model of HoTT, and sketch important ideas used to prove the internal language conjecture for locally cartesian closed (∞,1)-categories.
\r\n
\r\n