[isabelle] abstract deadline for contributed talks: Trusted Extensions of 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 at cs.utexas.edu>
CC: konrad.slind at gmail.com, Mike.Gordon at 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 -------






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.