Universiteit van Amsterdam


Institute for Logic, Language and Computation

18 - 22 June 2018, Conference "From the Fundamental Lemma to Discrete Geometry, to Formal Verification" (60th birthday of Thomas Hales), Pittsburgh PA, U.S.A.

Date: 18 - 22 June 2018
Location: Pittsburgh PA, U.S.A.

The conference, held in honor of Thomas C. Hales on the occasion of his 60th birthday, will feature talks on representation theory, discrete geometry, and formal verification, with 1.5 days dedicated to each of these topics and with broadly accessible public lectures at the interfaces.