# Events

If we have been, or will be, at the same meeting, please feel free to drop me a line and say hi!

## 2020

- Mathematical Language and Practical Type Theory Hausdorff Center for Mathematics Feb 1–4

## 2019

- Prague Inter-reasoning Workshop Czech Technical University in Prague Oct 16–20
- Proof and Computation autumn school Herrsching Sep 20–26
- Homotopy Type Theory 2019 Carnegie Mellon University Aug 7–10, 12–17
- Conference on Intelligent Computer Mathematics Czech Technical University in Prague Jul 8–12
- Artificial Intelligence and Theorem Proving Obergurgl Apr 7–12
- School and Workshop on Univalent Mathematics University of Birmingham Apr 1–5