[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] abstract deadline for contributed talks: Trusted Extensionsof ITPs



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 <kaufmann@cs.utexas.edu>
CC: konrad.slind@gmail.com, Mike.Gordon@cl.cam.ac.uk
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 -------