Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Fwd: Call for participation (Trusted Extensions of ITPs)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Fwd: Call for participation (Trusted Extensions of ITPs)


chronological Thread 
  • 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)





Archive powered by MhonArc 2.6.16.

Top of Page