# Workshop: Types, Homotopy Type theory, and Verification

**Dates:** June 4-8, 2018**Venue:** HIM lecture hall, Poppelsdorfer Allee 45, Bonn

Organizers: Steve Awodey, Thierry Coquand, Maria Emilia Maietti

Topics: Constructive models, cubical type theory, higher inductive types, connections between constructive and algebraic set theory and type theory, proof assistants, formal verification