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 by the National Science Foundation, the University of Pittsburgh Mathematics Research Center, and by the Institute for Mathematics and its Applications (IMA) through its Participating Institution (PI) Program. PI members may use IMA/PI funds to support personnel's travel to this conference.
This conference supports the Non-Discrimination Statement of the Association for Women in Mathematics.