International Workshop on Proof Systems for Program Logics
associated with LICS
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.
Alex Simpson, University of Edinburgh, United Kingdom
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
Luca Vigano, University of Verona, Italy, Italy