[isabelle] Proof-Carrying Code workshop PCC 2008

[Dear Isabelle users: we hope some of you may be interested in this workshop,
and might even consider formalising PCC frameworks - Ian Stark, David Aspinall]

                         CALL FOR PARTICIPATION
   PCC 2008: Second International Workshop on Proof-Carrying Code

            Invited Speakers - Zhong Shao and Thomas Jensen
              Carnegie Mellon University, 22 June 2008

The PCC 2008 workshop on proof-carrying code will be held in
association with the LICS and CSF symposia.  Registration is now
open, with reduced rates available until 1 June:


The workshop addresses theoretical foundations of proof-carrying
code as well as practical examples and work on alternative
application domains.  See full programme at the workshop website

Proof-carrying code is the use of formal evidence to support the
static analysis of programs: statements about an intrinsic property
of code behaviour that can be independently checked by any user,
intermediary or third party.  These manifest guarantees mean that
PCC raises trust in the code itself, distinct from and complementary
to any existing trust in the creator of the code, the process used
to produce it, or its distributor.

Ian Stark and David Aspinall
School of Informatics
The University of Edinburgh
pcc08 at easychair.org
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.