Prove & Run at ITP 2013

ITP 2013 is the fourth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. It will take place in Rennes, France, between the 22nd and the 26th of July, 2013.

Dominique Bolignano, Prove & Run’s CEO, will participate as an invited speaker. The detailed agenda will be announced at a later date.

Print Print