Email Gateway (Aug 18 2022 at 11:57): Email Gateway (Aug 18 2022 at 11:57):From: Ian Stark <Ian.Stark@ed.ac.uk>
[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
http://workshops.inf.ed.ac.uk/pcc08
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:
http://workshops.inf.ed.ac.uk/pcc08/#registration
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
http://workshops.inf.ed.ac.uk/pcc08
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@easychair.org
Last updated: May 03 2024 at 04:19 UTC