PSPL 2010 Accepted Papers

Towards a Cut-free Sequent Calculus for Boolean BI
A Proof System for Reasoning about Probabilistic Concurrent Processes
Tableau-like automata-based axiomatization for Propositional Linear Temporal Logic
A multi-modal dependent type theory for representing data accessibility in a network
A Developer-oriented Hoare Logic
A simple proof system for lock-free concurrency