From the Fundamental Lemma to Discrete Geometry to Formal Verification
June 18 @ 8:00 am - June 22 @ 5:00 pm
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.