From the Fundamental Lemma to Discrete Geometry, to Formal Verification

A conference in honour of Thomas C. Hales on the occasion of his 60th birthday

The conference will feature talks on discrete geometry, automorphic forms, motivic integration, and formal verification, themes from the work of Thomas C. Hales, with a special emphasis on the interactions between these fields. In addition to research talks, there will be several public lectures, accessible to a wide audience, including undergraduate students.

The conference is supported in part by the National Science Foundation, the University of Pittsburgh Mathematics Research Center, and the Institute for Mathematics and its Applications.


June 18, 2018 (All day) to June 22, 2018 (All day)

Location and Address

Auditorium G23, Parran Hall (Graduate School of Public Health), 130 De Soto St.