Isaac Newton Institute Workshop on Computer-aided Mathematical Proof, 10 – 14 July 2017

This workshop will bring 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. For more details please see the workshop page.

Delicious Twitter Digg this StumbleUpon Facebook