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.
Location and Address
Auditorium G23, Parran Hall (Graduate School of Public Health), 130 De Soto St.