[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:


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


so that we can plan for numbers.

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