Prove & Run at ITP 2013

ITP 2013 [1] 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 [2], France, between the 22nd and the 26th of July, 2013.

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

Article printed from Prove & Run:

URL to article:

URLs in this post:

[1] ITP 2013:

[2] Rennes:

[3] Dominique Bolignano:

Copyright © 2020 Prove & Run. All rights reserved.