Call for participation: Workshop on Computer-aided Mathematical Proof, Cambridge UK, 10-14 July 2017

[Andrew Pitts]

The following workshop may be of interest (since it will feature some
HoTT-related talks):

——

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

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.