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

University of Pittsburgh, June 18-22, 2018

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.

Organizing Committee

Jeremy Avigad (Carnegie Mellon University)
Henry Cohn (Microsoft Research & MIT)
Julia Gordon (University of British Columbia)
Michael Harris (Columbia University)
Bogdan Ion (University of Pittsburgh)
Chris Kapulkin (University of Western Ontario)
Wöden Kusner (Vanderbilt University)