VSL 2014: VIENNA SUMMER OF LOGIC 2014
PSC Home Page

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.  

Call for Papers

Call for Papers

Organization

Program Committee

Slides of some PSC talks

Multi-agent justification logic (Tatiana Yavorskaya and Nadezhda Rukhlyadko)
Extracting Monadic Parsers from Proofs (Ulrich Berger, Alison Jones, and Monika Seissenberger)
Intuitionistic Ancestral Logic (Liron Cohen and Robert Constable)
Proof-search in natural deduction calculi for IPL (Mauro Ferrari and Camillo Fiorentini)