Call for participation (Trusted Extensions of ITPs)

Konrad Slind <[email protected]> Tue, 13 Jul 2010 12:07:38 -0500

Newsgroups	gmane.science.mathematics.logic.acl2.general,gmane.comp.mathematics.hol,gmane.comp.mathematics.mizar,gmane.comp.mathematics.proofpower
Message-ID	<[email protected]>

Hello --

We will be hosting a workshop on the topic of trust-preserving
extensions of interactive theorem provers:

   Trusted Extensions of Interactive Theorem Provers
   Cambridge, UK
   August 11-12, 2010

For a fuller description, including speakers, please see the web page:

  http://www.cs.utexas.edu/users/kaufmann/itp-trusted-extensions-aug-2010/

There is no registration fee. If you are interested in attending,
please send an email to

  [email protected]

so that we can plan for numbers.


Regards,
Matt Kaufmann and Konrad Slind (co-organizers)
Mike Gordon (local arrangements)