This is a kickoff workshop of the project *Continuity and
Computation in Univalent Mathematics* (2CiUM).

2CiUM focuses on both the foundations of univalent mathematics and the applications of the univalent innovations.

### Invited speakers

- Benedikt Ahrens (University of Birmingham)
- Thorsten Altenkirch (University of Nottingham)
- Steve Awodey (Carnegie Mellon University)
- Andrej Bauer (University of Ljubljana)
- Ulrik Buchholtz (Technische Universität Darmstadt)
- Thierry Coquand (University of Gothenburg)
- Peter Dybjer (Chalmers University of Technology)
- Martín Escardó (University of Birmingham)
- Valery Isaev (JetBrains Research)
- Nicolai Kraus (University of Birmingham)
- Fredrik Nordvall Forsberg (University of Strathclyde)
- Paige Randall North (Ohio State University)
- Iosif Petrakis (Ludwig-Maximilians-Universität München)
- Bas Spitters (Aarhus University)
- Thomas Streicher (Technische Universität Darmstadt)
- Benno van den Berg (Universiteit van Amsterdam)
- Andrea Vezzosi (IT University of Copenhagen)