Home‎ > ‎

From the Fundamental Lemma to Discrete Geometry to Formal Verification

University of Pittsburgh, PA, USA
6/18 - 6/22/2018

A conference in honour of T.C. Hales' 60th birthday, aiming to bring together mathematicians working in three different fields from the title of the conference. As such, the aim is to make at least some of the talks in all fields accessible to a wide audience in order to facilitate interactions, and so the hope is that the conference will also be particularly accessible to students and young researchers.

For more information, please contact Julia Gordon, gor@math.ubc.ca.