Critical and High Assurance Requirements Transformed through Engineering Rigour
Interactive Theorem Proving 2012
Event Details
Time: August 13, 2012 at 6pm to August 15, 2012 at 7pm
Location: Princeton, New Jersey
Website or Map: http://itp2012.cs.princeton.e…
Event Type: conference
Organized By: Andrew Appel (Princeton Univ., USA) and Lennart Beringer (Princeton Univ., USA)
Latest Activity: May 24, 2012
Export to Outlook or iCal (.ics)
Event Description
ITP 2012 is the third 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.
Comment Wall
Add a Comment
© 2013 Created by Alec Dorling.
RSVP for Interactive Theorem Proving 2012 to add comments!
Join CHARTER