Participants of Workshop: Types, Homotopy Type theory, and Verification (click to enlarge)

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

Schedule

Participants