Email Gateway (Aug 22 2022 at 15:09): Email Gateway (Aug 22 2022 at 15:09):From: Jeremy Avigad <avigad@cmu.edu>
Workshop on Computer-aided Mathematical Proof, Cambridge UK, 10-14 July 2017
Applications are invited, closing date 8 April, to take part in a workshop
on Computer-aided Mathematical Proof, part of the “Big proof” programme at
the Isaac Newton Institute in Cambridge.
Speakers include:
Steve Awodey, Jasmin Blanchette, Leo De Moura, Stephanie Dick, Martin
Escardo, Jacques Fleuriot, Georges Gonthier, Tom Hales, Marjin Heule,
Patrick Ion, Mateja Jamnik, Michael Kohlhase, Ekaterina Komendantskaya, Dan
Licata, Peter Lumsdaine, Assia Mahboubi, Ursula Martin, Tobias Nipkow,
Grant Passmore, Larry Paulson, Alison Pease, Floris van Doorn and Vladimir
Voevodsky
For more details and to apply see
https://www.newton.ac.uk/event/bprw01
This event is part of the activities for the programme on Big proof (26
June -- 4 August 2017) organised by Jeremy Avigad, Georges Gonthier, Ursula
Martin, J Strother Moore, Larry Paulson, Andrew Pitts and Natarajan
Shankar. The workshop brings together mathematicians interested in
employing proof technology in their research, logicians exploring pragmatic
and foundational issues in the formalisation of mathematics, and computer
scientists engaged in developing and applying proof technology. It will
explore foundational, theoretical, and practical challenges in exploiting
proof technology to transform mathematical practice across a range of
scientific and engineering disciplines.
Last updated: May 06 2024 at 20:16 UTC