Background to the Third Workshop on Theorem Proving in Certification (TPC3)

Earlier this year we started planning an informal collaboration to develop a "strawman" standard for using theorem proving in certification.

Our original plan had been for this collaboration to start several months ago with a workshop in December to review and improve a draft version of this strawman standard. It has taken much longer than we had expected to get this initiative off the ground, but nevertheless, we are still having a workshop in December 9-10 and we hope that you interested in participating in this collaboration.

To help structure our collaborative efforts during the workshop, we have identified six sub-topics that we suggest should be addressed by the strawman standard. Our agenda will be partially driven by these six sub-topics, e.g., parallel break-out sessions focused on individual sub-topics. In addition to exchanging knowledge and expert opinion about the concepts underlying the use of theorem-proving in certification, we hope the workshop will result in a working plan for development of the strawman over the next year.

A substantial portion of the agenda will be reserved for focused discussion on the strawman standard and, hopefully, some initial drafting of text for this document. We have also tentatively reserved time in the workshop for short 20-minute presentations by participants that ideally, will motivate and guide this collaborative effort.

Maintained by Mike Gordon.
This page last updated on Wed Nov 13 2013.