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