You are cordially invited to participate in the Eighth ACM SIGPLAN Workshop on Programming Languages meets Program Verification Date: 21 January 2014 Location: San Diego, in conjunction with POPL 2014 Program: http://www.cse.chalmers.se/~nad/plpv-2014/ Invited talks: - Ranjit Jhala on liquid types for Haskell. - Lee Pike on Programming Languages for High-Assurance Autonomous Vehicles. Contributed talks: - Verified Programs with Binders. Martin Clochard, Claude Marché and Andrei Paskevich. - Formalizing a Correctness Property of a Type-Directed Partial Evaluator. Noriko Hirota and Kenichi Asai. - An Abstract Categorical Semantics for Functional Reactive Programming with Processes. Wolfgang Jeltsch. - Substructural Typestates. Filipe Militao, Jonathan Aldrich and Luis Caires. - The Recursive Polarized Dual Calculus. Aaron Stump. Registration: https://regmaster3.com/2014conf/POPL14/register.php Early registration closes 31 December 2012. Best regards, Nils Anders Danielsson and Bart Jacobs