From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.28.156.76 with SMTP id f73mr676414wme.4.1510944633799; Fri, 17 Nov 2017 10:50:33 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.223.156.134 with SMTP id d6ls1189681wre.14.gmail; Fri, 17 Nov 2017 10:50:32 -0800 (PST) X-Received: by 10.28.122.16 with SMTP id v16mr691336wmc.30.1510944632790; Fri, 17 Nov 2017 10:50:32 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1510944632; cv=none; d=google.com; s=arc-20160816; b=Kqm+SFVTpVrZMzU1WkIwgwxiMssRS+4faA+iFbBSFXGHKVq+/ZCTj5pZQbYi43H3HR t9aHLZ0BaXxK68HZQLWW/QUnn8qrcFwxHkciSBQgqOT4YczUmC3uulnY8ehZmFPjZUGs lVmZA6rVpJmlId4Nxl3a5m5PKYAPYzaPOelHPgtk64cZrWD2AWq6fNkvlQKmzqIKW/vg Fq5C/2o7dvs9KQsh4dkhSBoCqrncteBBroJjJ7qedHJIxQTMHR/KjsLr1vRC+vjPN577 V5C50l5CY9DqdjGPxkvo/GqaA/bwnkXDR+zKcOys9zImrK9Wb+vtmCzgryqONJJIPS78 QC8g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:cc:to:subject:message-id:date:from :mime-version:dkim-signature:arc-authentication-results; bh=tHUe9sD/ChLDfQEKj6lg4mSHrmGWCsxsOaG76ELa35E=; b=c2AxjAs331htiURdBF0iRAryYFinDg7rPGvNqhr4pkx6dqI2arZKkAP1IkQAcGltk1 OHpte/gl7DGolWlQIOrxijQasU0uV8YsFfGOIb3BYhuDERPs4a32U9RQ2wlQj/IVLPK+ sRSVrL5UHU3ndBTbX4b6+Q6L0ddgiG4I2t1MBu9l56veO5txI6t074D+ej013rW4kUk4 6xjMQJgIuP15NXyiFFxBr1X5t+drmRkn/P6Gu8K3v9p1pTAgd2NlpkMlZGPGNC4CoC0r 4CKexhUyToc1PX1Ar2nzgI8LW1PrLdFaf+FcWdJl7SKF7ZNfjpstfhnoPQaIqOt3/t5i IQ/w== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=JMwG/cwM; spf=pass (google.com: domain of k.kap...@gmail.com designates 2a00:1450:4010:c07::241 as permitted sender) smtp.mailfrom=k.kap...@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-lf0-x241.google.com (mail-lf0-x241.google.com. [2a00:1450:4010:c07::241]) by gmr-mx.google.com with ESMTPS id r6si250117wrg.2.2017.11.17.10.50.32 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 17 Nov 2017 10:50:32 -0800 (PST) Received-SPF: pass (google.com: domain of k.kap...@gmail.com designates 2a00:1450:4010:c07::241 as permitted sender) client-ip=2a00:1450:4010:c07::241; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=JMwG/cwM; spf=pass (google.com: domain of k.kap...@gmail.com designates 2a00:1450:4010:c07::241 as permitted sender) smtp.mailfrom=k.kap...@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Received: by mail-lf0-x241.google.com with SMTP id w21so3735942lfc.6 for ; Fri, 17 Nov 2017 10:50:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to:cc :content-transfer-encoding; bh=tHUe9sD/ChLDfQEKj6lg4mSHrmGWCsxsOaG76ELa35E=; b=JMwG/cwM5eXGDvArttJJjFdxvT2IHofpIBr2Y3XSg3POPi8Y4B0ZxWnsJgRJpmC3YV 97QHeCu6XBsiIsAeeig4Bg7POMUS6YVArWJYsXwnm8ERRV1FqVhHxO6nqn8nByaf0o1J l0dyxVkSYtNV1lg1vqALJIUy77foWKhHWRjTjc9XHvMKN1u2Q0LwMxV0G8BXNE7i8+Hw +pncyKIvI46CgNNIy4hT8ZtHlB7AoMQ7HXJVGG43waajKmGW69OJkF+Kwpv7Uc30RARh 6YXnIE8mObNSIZed4sUI2w+RFI71HfSQkLtmrnYVXU4paLbXmzLf+IAuqQ+Eybriezdd IbAA== X-Gm-Message-State: AJaThX6wWVE+q57ESUTp8awWx5zGb/nIh2FB6PoQRvwXsPN0tjh0qwyR Q9aXxQ7yqKvA/DSQrSeSjO9rHZzXZFlHLGeZxME= X-Received: by 10.46.93.27 with SMTP id r27mr1225909ljb.96.1510944632230; Fri, 17 Nov 2017 10:50:32 -0800 (PST) MIME-Version: 1.0 Received: by 10.25.198.23 with HTTP; Fri, 17 Nov 2017 10:50:11 -0800 (PST) From: Chris Kapulkin Date: Fri, 17 Nov 2017 13:50:11 -0500 Message-ID: Subject: 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 To: Homotopy Type Theory Cc: hales60c...@gmail.com Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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=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=A0ng 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 Tasho Statev-Kaletha (University of Michigan) *Motivic integration and transfer principles* Fran=C3=A7ois 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 $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