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