The Fifth ACM SIGPLAN Workshop
on
Programming Languages meets Program Verification
29th January, 2011 Austin, Texas
(Affiliated with POPL 2011)
Overview
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.