abstract deadline for contributed talks: Trusted Extensions of ITPs
Matt Kaufmann <[email protected]>
| Newsgroups | gmane.science.mathematics.logic.acl2.general,gmane.comp.mathematics.hol,gmane.comp.mathematics.mizar,gmane.comp.mathematics.proofpower |
|---|---|
| Message-ID | <[email protected]> |
Hello -- Reminder: Next Monday is the deadline for submission of contributed abstracts to the workshop on Trusted Extensions of ITPs. (While mentioned on the web site provided below, it had been omitted from the email itself.) Regards, Matt and Konrad ------- Start of forwarded message ------- Date: 3 Jun 2010 13:49:46 -0500 From: Matt Kaufmann <[email protected]> CC: [email protected], [email protected] Subject: Call for contributed talks (Trusted Extensions of ITPs) Hello -- We will be hosting the following workshop: Trusted Extensions of Interactive Theorem Provers Cambridge, UK August 11-12, 2010 We solicit contributed talks on the topic of extending interactive theorem provers while preserving trust. In order to make the workshop useful and engaging, we expect it to have a practical orientation, with accessible talks that include necessary background and perhaps demos, and with considerable time for discussion. For a description, including invited speakers, example topics, and instructions for submitting a contributed talk, please see the web page: http://www.cs.utexas.edu/users/kaufmann/itp-trusted-extensions-aug-2010/ Regards, Matt Kaufmann and Konrad Slind (co-organizers) Mike Gordon (local arrangements) ------- End of forwarded message -------