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
Organization
Slides of some PSC talks
Observational Equivalence for Behavioural Differential Equations (Henning Basold and Helle Hvid Hansen)
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)
A joint logic of problems and propositions, a modified BHK-interpretation and proof-relevant topological models of intuitionistic logic (Sergey Melikhov)