Critical and High Assurance Requirements Transformed through Engineering Rigour
Interactive Theorem Proving (ITP 2011)
Event Details
Time: August 22, 2011 to August 25, 2011
Location: Nijmegen, The Netherlands
Website or Map: http://itp2011.cs.ru.nl/
Event Type: conference
Latest Activity: May 27, 2012
Export to Outlook or iCal (.ics)
Event Description
ITP 2011 is the second conference on Interactive Theorem Proving and related issues including, applications, case studies, foundations, languages, and implementations.
Comment Wall
© 2013 Created by Alec Dorling.
