* [Caml-list] CFPar: PLPV 2014, Programming Languages meets Program Verification
@ 2013-11-20 16:20 Bart Jacobs
0 siblings, 0 replies; only message in thread
From: Bart Jacobs @ 2013-11-20 16:20 UTC (permalink / raw)
To: pvs, twelf-list, caml-list, smlnj-dev-list, MLton-user,
jmlspecs-interest, ecoop-info
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.
By Martin Clochard, Claude Marché and Andrei Paskevich.
- Formalizing a Correctness Property of a Type-Directed Partial
Evaluator.
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2013-11-20 16:24 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-11-20 16:20 [Caml-list] CFPar: PLPV 2014, Programming Languages meets Program Verification Bart Jacobs
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox