[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
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
More information about the Agda
mailing list