[ecoop-info] CFPar: PLPV 2014, Programming Languages meets Program Verification

Bart Jacobs bart.jacobs at cs.kuleuven.be
Wed Nov 20 17:20:54 CET 2013

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

Contributed talks:

- Verified Programs with Binders.
   By Martin Clochard, Claude Marché and Andrei Paskevich.
- Formalizing a Correctness Property of a Type-Directed Partial
   By Noriko Hirota and Kenichi Asai.
- An Abstract Categorical Semantics for Functional Reactive Programming
   with Processes.
   By Wolfgang Jeltsch.
- Substructural Typestates.
   By Filipe Militao, Jonathan Aldrich and Luis Caires.
- The Recursive Polarized Dual Calculus.
   By Aaron Stump.

Register at: https://regmaster3.com/2014conf/POPL14/register.php
Early registration closes 31 December 2012!

Best regards,
Nils Anders Danielsson and Bart Jacobs

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

More information about the ecoop-info mailing list