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
[EMAIL PROTECTED]
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
