From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.98.226.21 with SMTP id a21mr5071652pfi.7.1520471336339; Wed, 07 Mar 2018 17:08:56 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:902:a60d:: with SMTP id u13-v6ls1271779plq.14.gmail; Wed, 07 Mar 2018 17:08:55 -0800 (PST) X-Received: by 2002:a17:902:8d90:: with SMTP id v16-v6mr3326975plo.20.1520471334966; Wed, 07 Mar 2018 17:08:54 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1520471334; cv=none; d=google.com; s=arc-20160816; b=YrKZzLE53t7vqvFRCDt7xuesf0XdBXKxYcdeJU5R2yiMMVWYUgvyv5kRZX7ZUcwtbZ aRMlHSQnyWA99iH6a3TVOAUMx8zl0j4HXue2V1raWDswsW55MzfsdrZH323iNfAGKtmt f+//AwHhb+xNYQ6U3MAOJ927OXcxek6/O+kbsvrMxkuazn2PATPQasI+dk+KLgEPYjFT ppkHpoy0ZXeX8YckFcg5CW5OfsK9cOWlF+oJ1Uet2mzOWGxV8q8F2rTdbKgOuLWzIYg3 p3oV85Eklu1fKIHpdT5MlkZoGd8HpIxSjNg/Lyr8yuH4A1Mv8tpCnaCIwIK3tqeJtuIf RUng== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature :arc-authentication-results; bh=9ZpFoA+lOcMgSqkpmUxloKb5edr+rLbP4DqXrT635Jk=; b=m5bYI9Ui8+umMgBpEV5zkQHVs6TDBF74a+jYX+e/li879MNRjrsvxzkbmbQeU6WhGc bb+i4FHTp+Yp5FLFVa6ps++Qmcs5N0/gePsEwxqN2jMvKhzOpBUWeCZ3bFBFJN9bF1Sd r38MPTDZ/Gj+AB8ZiTg3IT+3LvrsNw4MDdnBbFJVTT63INrVpjKGweRwY2rnuqXLQ7Q5 /cQI7VGKkKpaayo15sAlQOErtfrh0hoIY3wN2aVQgLx7y9HMnCqMq6oKsSUeWnm+vnO/ Pw99Qu3if/eWVfGWhjBR8N1rtwhiCzPzUK1vfcrosKzjlqjuiWLYae9x5UwbN82ZFmaB taGQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=rdxBzLT5; spf=pass (google.com: domain of avi...@andrew.cmu.edu designates 2607:f8b0:4003:c0f::230 as permitted sender) smtp.mailfrom=avi...@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Return-Path: Received: from mail-ot0-x230.google.com (mail-ot0-x230.google.com. [2607:f8b0:4003:c0f::230]) by gmr-mx.google.com with ESMTPS id bd8-v6si346689plb.4.2018.03.07.17.08.54 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 07 Mar 2018 17:08:54 -0800 (PST) Received-SPF: pass (google.com: domain of avi...@andrew.cmu.edu designates 2607:f8b0:4003:c0f::230 as permitted sender) client-ip=2607:f8b0:4003:c0f::230; Authentication-Results: gmr-mx.google.com; dkim=pass head...@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=rdxBzLT5; spf=pass (google.com: domain of avi...@andrew.cmu.edu designates 2607:f8b0:4003:c0f::230 as permitted sender) smtp.mailfrom=avi...@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: by mail-ot0-x230.google.com with SMTP id 79so3934446oth.11 for ; Wed, 07 Mar 2018 17:08:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cmu-edu.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=9ZpFoA+lOcMgSqkpmUxloKb5edr+rLbP4DqXrT635Jk=; b=rdxBzLT5tLquscGBSMV3G99KUjuxRnoA/WWWAttRLWjCylb7mi3sRK0clmzifxqAPS IwDmrqBDFuDxh7hMxGBqHBCXryFGveFocMtfy6ltLDGXEOFVjAa5BOLbfAqwD9EdGibF 9nEHmCuuIjc+J2ji/sfvTFcVkZVrhzjawEBF7AGXQB3/AHvFl9iLZqdYKsRJc5DQSY4u U1xVVP/dFP4F0WywfbZchb7v+jyKJDsYMvz/FDDvTK5EkNg4dAeDv3OOK7+opEx+g9PG 9D/Gi/Qf6ihAnngbHgz2k6Xb38kZ9dNqdDVr7y1ob1CnjWo3b9ipcfyT9W2upd6E2H39 U5Kg== X-Gm-Message-State: APf1xPBEtiLOkPpQUiUA2+saoDCI/977nsTtrfnjzEHonW1Cm+K1wkVl tRQ/n0EZk7ub6+ZjxRIzsHI1wXYT+01SoqvFrW6oOg== X-Received: by 10.157.114.138 with SMTP id t10mr17272024otj.320.1520471334362; Wed, 07 Mar 2018 17:08:54 -0800 (PST) MIME-Version: 1.0 Received: by 10.157.15.8 with HTTP; Wed, 7 Mar 2018 17:08:53 -0800 (PST) From: Jeremy Avigad Date: Wed, 7 Mar 2018 20:08:53 -0500 Message-ID: Subject: Reminder: From the Fundamental Lemma to Discrete Geometry, to Formal Verification To: Jeremy Avigad Content-Type: multipart/alternative; boundary="f403045f0688c6af760566dc51bb" Bcc: homotopyt...@googlegroups.com --f403045f0688c6af760566dc51bb Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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=C3=A1roly 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=C3=A2ng L=C3=AA Tr=C6=B0=E1=BB=9Dng (Vietnam Academy of Science & Techno= logy) 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=C3=B4 B=E1=BA=A3o Ch=C3=A2u (University of Chicago) Mark Goresky (Institute for Advanced Study) Ju-Lee Kim (MIT) Colette M=C5=93glin (Institut de Mathematiques de Jussieu) Peter Sarnak (Institute for Advanced Study), TBC *Motivic integration and transfer principles* Fran=C3=A7ois 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 hales60c...@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=C3=B6den Kusner --f403045f0688c6af760566dc51bb Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

This is a reminder= about the conference

=C2=A0 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.



*** Scope and spe= akers ***

The conference will feature talks on rep= resentation theory, discrete
geometry, and formal verification, w= ith 1.5 days dedicated to each of
these topics and with broadly a= ccessible public lectures at the
interfaces.

=
*Geometry*

K=C3=A1roly Bezdek (University of = Calgary)
Robert Connelly (Cornell University)
John Conw= ay (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 (P= rinceton University),
Georges Gonthier (INRIA)
John Har= rison (Intel)
Robert Lewis (Carnegie Mellon University)
Assia Mahboubi (INRIA)
Tobias Nipkow (Technical University Munic= h),
Ho=C3=A2ng L=C3=AA Tr=C6=B0=E1=BB=9Dng=C2=A0(Vietnam Academy = of Science & Technology)
Josef Urban (CTU Prague)
B= ohua Zhan (MIT)


*Automorphic forms = and the Fundamental Lemma*

James Arthur (Universit= y of Toronto)
William Casselman (University of British Columbia)<= /div>
Ng=C3=B4 B=E1=BA=A3o Ch=C3=A2u=C2=A0 (University of Chicago)
Mark Goresky (Institute for Advanced Study)
Ju-Lee Kim=C2= =A0 (MIT)
Colette M=C5=93glin=C2=A0(Institut de Mathematiques de = Jussieu)
Peter Sarnak (Institute for Advanced Study), TBC


*Motivic integration and transfer principl= es*

Fran=C3=A7ois Loeser=C2=A0(Institut de Mathema= tiques de Jussieu)
Yimu Yin (Los Angeles)


*** Registration and financial support ***

<= /div>
The registration is free and open to all. To register for the
conference, please visit:


Limited financial support will be ava= ilable to help cover
participants' travel and local expenses.= The priority will be given to
students and postdocs who do not h= ave access to other sources of
funding. Women and members of unde= rrepresented minorities are
particularly encouraged to apply.

To apply for funding, please fill out the funding app= lication form
which is part of the online registration. The deadl= ine to apply for
financial support has been extended to April 15,= 2018.


*** Banquet ***
A banquet dinner will be held on Thursday, June 19, starting a= t 6 PM
at the University Club. Please indicate on the registratio= n form if
you plan on attending. The banquet will cost $35 per pe= rson.


If you have any questions, pl= ease contact the organizers at


=

We are looking forward to seeing you all in Pittsburgh!=

Organizers: Jeremy Avigad, Henry Cohn, Julia Gord= on, Michael Harris,
Bogdan Ion, Chris Kapulkin, W=C3=B6den=C2=A0K= usner
--f403045f0688c6af760566dc51bb--