18-22 Jun 2018
Pittsburgh PA, U.S.A.
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 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam