The Fifth ACM SIGPLAN Workshop
Programming Languages meets Program Verification

29th January, 2011
Austin, Texas
(Affiliated with POPL 2011)


The goal of PLPV is to foster and stimulate research at the intersection of programming languages and program verification, by bringing together experts from diverse areas like types, contracts, interactive theorem proving, model checking and program analysis. Work in this area typically attempts to reduce the burden of program verification by taking advantage of particular semantic or structural properties of the programming language.


Call for Papers


Please prepare your submission in accordance with the rules described in the call for papers and submit a pdf file via:

Important Dates

Submission 11th October, 2010 (23:59:59 Samoa Time)
Notification 8th November, 2010
Final Version 15th November, 2010
Workshop 29th January, 2011


To register for PLPV 2011, follow the link from the POPL 2011 page.

Program Committee

Previous PLPVs