PSC 2014: July 17-18, 2014
Overview
The International Workshop on Proof, Structure and Computation (PSC) is a CSL-LICS affiliated workshop on the extraction of computational content from proofs. The focus is on computational aspects of proofs and the specification of the structures involved.