PSPL 2010: July 10

International Workshop on Proof Systems for Program Logics

associated with LICS

Overview

The objective of this workshop is to bring together researchers working on any aspect of the design, study and application of proof systems for program logics.

More information can be found here.

Programme

Program Chairs

Alex Simpson, University of Edinburgh, United Kingdom

Program Committee:

Luis Caires, Departamento de Informatica / Universidade Nova de Lisboa, Portugal
Robert Harper, Carnegie Mellon University, United States
Dale Miller, INRIA Saclay - Île-de-France and LIX/École Polytechnique, France
Peter O'Hearn, Queen Mary, University of London, United Kingdom
Matthew Parkinson, University of Cambridge, United Kingdom
Dana Scott
Luca Vigano, University of Verona, Italy, Italy