[Agda] 2nd CFP: Programming Languages meets Program Verification
(PLPV 2012)
PLPV 2012
plpv2012 at gmail.com
Fri Oct 7 12:01:57 CEST 2011
PLPV 2012
The Sixth ACM SIGPLAN Workshop
Programming Languages meets Program Verification
--- 2nd call for papers ---
!!! Note: Submission deadline updated to October 14, 2011 !!!
24th January, 2012
Philadelphia, USA
(Affiliated with POPL 2012)
http://research.microsoft.com/en-us/um/people/nswamy/plpv12
--------------------------------------------------------------------------------
Overview
The goal of PLPV is to foster and stimulate research at the
intersection of programming languages and program verification, by
bringing together experts from diverse areas like types, contracts,
interactive theorem proving, model checking and program analysis. Work
in this area typically attempts to reduce the burden of program
verification by taking advantage of particular semantic or structural
properties of the programming language. Examples include dependently
typed programming languages, which leverage a language's type system
to specify and check richer than usual specifications or extended
static checking systems which incorporate contracts with either static
or dynamic contract checking.
We invite submissions on all aspects, both theoretical and practical,
of the integration of programming language and program verification
technology. To encourage cross-pollination between different
communities, we seek a broad scope for PLPV. In particular,
submissions may have diverse foundations for verification (Type-based,
Hoare-logic-based, Abstract Interpretation-based, etc), target
different kinds of programming languages (functional, imperative,
object-oriented, etc), and apply to diverse kinds of program
properties (data structure invariants, security properties, temporal
protocols, resource constraints, etc).
--------------------------------------------------------------------------------
Important Dates:
Submission: 14th October, 2011 (extended!)
Notification: 8th November, 2011
Final Version: 15th November, 2011
Workshop: 24th January, 2012
--------------------------------------------------------------------------------
Submissions
We seek submissions of up to 12 pages related to the above
topics---shorter submissions are also welcome. Submissions may
describe new work, propose new challenge problems for language-based
verification techniques, or present a known idea in an elegant way
(i.e., a pearl).
Submissions should be prepared with SIGPLAN two-column conference
format (http://www.sigplan.org/authorInformation.htm). Submitted
papers must adhere to the SIGPLAN republication policy
(http://www.sigplan.org/republicationpolicy.htm). Concurrent
submissions to other workshops, conferences, journals, or similar
forums of publication are not allowed.
To submit a paper, access the submission site at
http://www.easychair.org/conferences/?conf=plpv2012.
--------------------------------------------------------------------------------
Publication
Accepted papers will be published by the ACM and will appear in the
ACM Digital library.
--------------------------------------------------------------------------------
Program Committee
Amal Ahmed Indiana University
Lennart Augustsson Standard Chartered
Koen Claessen Chalmers (co-chair)
Martin Giese University of Oslo
Daniel Licata Carnegie Mellon University
Peter Müller ETH Zurich
Aleksandar Nanevski IMDEA
Matthieu Sozeau INRIA
Nikhil Swamy Microsoft Research (co-chair)
David Walker Princeton University
Dana Xu INRIA
--------------------------------------------------------------------------------
Previous PLPVs: http://plpv.org
More information about the Agda
mailing list