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


Mark Adams (Radboud University Nijmegen)

Andrew Appel (Princeton University)

James Arthur (University of Toronto)

Károly Bezdek (University of Calgary)

William Casselman (University of British Columbia)

Henry Cohn (Microsoft Research & MIT)

Robert Connelly (Cornell University)

Sharon Glotzer (University of Michigan)

Georges Gonthier (Inria)

Mark Goresky (Institute of Advanced Study)

John Harrison (Amazon Web Services)

Ju-Lee Kim (Massachusetts Institute of Technology)

Robert Lewis (Vrije Universiteit Amsterdam)

François Loeser (Institut de Mathématiques de Jussieu)

Assia Mahboubi (Inria)

Stephen D. Miller (Rutgers University)

Colette Mœglin (Institut de Mathématiques de Jussieu)

Tobias Nipkow (Technical University of Munich)

Ileana Streinu (Smith College)

Hoàng Lê Trường (Vietnam Academy of Science and Technology)

Josef Urban (Czech Technical University in Prague)

Frank Vallentin (University of Cologne)

Yimu Yin (Los Angeles)

Bohua Zhan (Technical University of Munich)