Logic List Mailing Archive

Computer-aided mathematical proof

10-14 Jul 2017
Cambridge, England

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: Jeremy Avigad, 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 
<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.



--
[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