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

[PVS] Call for participation (Trusted Extensions of ITPs)



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

  Konrad.Slind@gmail.com

so that we can plan for numbers.


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