coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Laurent Th�ry <Laurent.Thery AT sophia.inria.fr>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Fwd: Call for participation (Trusted Extensions of ITPs)
- Date: Sat, 17 Jul 2010 11:59:19 +0200
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)
- [Coq-Club] VSTTE 2010: Second Call for Participation -- Early Registration ends in 2 weeks, Gudmund Grov
- [Coq-Club] Fwd: Call for participation (Trusted Extensions of ITPs), Laurent Théry
Archive powered by MhonArc 2.6.16.