Tuesday, November 14, 2017

[DMANET] Conference in honor of Thomas C. Hales: "From the Fundamental Lemma to Discrete Geometry, to Formal Verification", June 18-22, 2018 at the University of Pittsburgh

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

hales60conference@gmail.com


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

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************