Email Gateway (Aug 22 2022 at 16:26): Email Gateway (Aug 22 2022 at 16:26):From: Jeremy Avigad <avigad@cmu.edu>
Dear all,
We are pleased to announce the conference
From the Fundamental Lemma to Discrete Geometry, to Formal Verification
which will take place June 18-22, 2018, 2018 at the University of
Pittsburgh. The conference is held in honor of Thomas C. Hales on the
occasion of his 60th birthday.
http://www.mathematics.pitt.edu/hales60/
* Scope and speakers *
The conference will feature talks on representation theory, discrete
geometry, and formal verification, with 1.5 days dedicated to each of
these topics and with broadly accessible public lectures at the
interfaces.
Geometry
Károly Bezdek (University of Calgary)
Robert Connelly (Cornell University)
John Conway (Princeton University)
Sharon Glotzer (University of Michigan)
Stephen D. Miller (Rutgers University)
Ileana Streinu (Smith College)
Frank Vallentin (University of Cologne)
Formal proof verification
Mark Adams (Radboud University Nijmegen)
Andrew Appel (Princeton University),
Georges Gonthier (INRIA)
John Harrison (Intel)
Robert Lewis (Carnegie Mellon University)
Assia Mahboubi (INRIA)
Tobias Nipkow (Technical University Munich),
Hoàng Lê Trường (Vietnam Academy of Science & Technology)
Josef Urban (CTU Prague)
Bohua Zhan (MIT)
Automorphic forms and the Fundamental Lemma
James Arthur (University of Toronto)
William Casselman (University of British Columbia)
Ngô Bảo Châu (University of Chicago)
Mark Goresky (Institute for Advanced Study)
Ju-Lee Kim (MIT)
Colette Mœglin (Institut de Mathematiques de Jussieu)
Peter Sarnak (Institute for Advanced Study), TBC
Tasho Statev-Kaletha (University of Michigan)
Motivic integration and transfer principles
François Loeser (Institut de Mathematiques de Jussieu)
Yimu Yin (Los Angeles)
* Registration and financial support *
To register for the conference, please visit:
http://www.mathematics.pitt.edu/hales60/
The registration will open in December 2017. There will be no
registration fee, but we ask those planning to attend to register.
Limited financial support will be available to help cover
participants' travel and local expenses. The priority will be given to
students and postdocs who do not have access to other sources of
funding. Women and members of underrepresented minorities are
particularly encouraged to apply.
To apply for funding, please fill out the funding application form
which is part of the online registration. The deadline to apply for
financial support is March 15, 2018.
* Banquet *
A banquet dinner will be held on Thursday, June 19, starting at 6 PM
at the University Club. Please indicate on the registration form if
you plan on attending. The banquet will cost $30 per person.
If you have any questions, please contact the organizers at
We are looking forward to seeing you all in Pittsburgh!
Organizers: Jeremy Avigad, Henry Cohn, Julia Gordon, Michael Harris,
Bogdan Ion, Chris Kapulkin, Wöden Kusner
Last updated: Nov 21 2024 at 12:39 UTC