[Agda] Call for contributed talks (Trusted Extensions of ITPs)

Matt Kaufmann kaufmann at cs.utexas.edu
Sat Jun 12 01:41:10 CEST 2010


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)


More information about the Agda mailing list