PCC 2000 Workshop on Proof-Carrying Code