The Coq mailing list

[Laurent Th�ry <Laurent.Thery AT sophia.inria.fr>]

Hi,

this may interest the Coq community:

---------- Forwarded message ----------
From: *Konrad Slind* <konrad.slind AT gmail.com 
<mailto:konrad.slind AT gmail.com>>
Date: Tue, Jul 13, 2010 at 12:07 PM
Subject: Call for participation (Trusted Extensions of ITPs)
To: acl2 AT utlists.utexas.edu <mailto:acl2 AT utlists.utexas.edu>, 
hol-info AT lists.sourceforge.net <mailto:hol-info AT lists.sourceforge.net>, 
pvs AT csl.sri.com <mailto:pvs AT csl.sri.com>, metaprl-users AT metaprl.org 
<mailto:metaprl-users AT metaprl.org>, mizar-forum AT mizar.uwb.edu.pl 
<mailto:mizar-forum AT mizar.uwb.edu.pl>, proofpower AT lemma-one.com 
<mailto:proofpower AT lemma-one.com>, theorem-provers AT ai.mit.edu 
<mailto:theorem-provers AT ai.mit.edu>, twelf-list AT itu.dk 
<mailto:twelf-list AT itu.dk>
Cc: konrad.slind AT gmail.com <mailto:konrad.slind AT gmail.com>, 
Mike.Gordon AT cl.cam.ac.uk <mailto:Mike.Gordon AT cl.cam.ac.uk>, 
kaufmann AT cs.utexas.edu <mailto:kaufmann AT cs.utexas.edu>


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 AT gmail.com
 
<mailto:Konrad.Slind AT gmail.com>

so that we can plan for numbers.


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