coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Call for participation: Workshop on Computer-aided Mathematical Proof, Cambridge UK, 10-14 July 2017
Chronological Thread
- From: Jeremy Avigad <avigad AT cmu.edu>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Call for participation: Workshop on Computer-aided Mathematical Proof, Cambridge UK, 10-14 July 2017
- Date: Sun, 26 Feb 2017 18:15:35 -0500
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=avigad AT cmu.edu; spf=None smtp.mailfrom=avigad AT andrew.cmu.edu; spf=None smtp.helo=postmaster AT mail-yw0-f182.google.com
- Ironport-phdr: 9a23:mJEkGxwP7YFhfpHXCy+O+j09IxM/srCxBDY+r6Qd0uwRIJqq85mqBkHD//Il1AaPBtSGragYwLOI7eigATVGusnR9ihaMdRlbFwst4Y/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbre9JomHhMOukuu25pf7YgNShTP7b6khAg+xqFDzu9MbhJoqA7gwxRLF6i9BZeVZzG9ALleO2Rvw+5Hjr9ZY7y1Mtqd5pIZ7WqLgcvFgQA==
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.
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.
- [Coq-Club] Call for participation: Workshop on Computer-aided Mathematical Proof, Cambridge UK, 10-14 July 2017, Jeremy Avigad, 02/27/2017
Archive powered by MHonArc 2.6.18.