Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Reminder: From the Fundamental Lemma to Discre...


view this post on Zulip Email Gateway (Aug 22 2022 at 16:55):

From: Jeremy Avigad <avigad@cmu.edu>
Dear all,

This is a reminder about 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

Motivic integration and transfer principles

François Loeser (Institut de Mathematiques de Jussieu)
Yimu Yin (Los Angeles)

* Registration and financial support *

The registration is free and open to all. To register for the
conference, please visit:

http://www.mathematics.pitt.edu/hales60/

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 has been extended to April 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 $35 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


Last updated: Mar 29 2024 at 04:18 UTC