[Agda] Call for participation: PLPV 2014

Nils Anders Danielsson nad at cse.gu.se
Wed Nov 20 17:45:42 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.
   Martin Clochard, Claude Marché and Andrei Paskevich.
- Formalizing a Correctness Property of a Type-Directed Partial
   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

More information about the Agda mailing list