« All Events

  • This event has passed.

Isaac Newton Institute Workshop on Computer-aided Mathematical Proof

July 10 - July 14

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.


July 10
July 14