From: PLPV 2012 <plpv2012@gmail.com>
To: finite-model-theory@lists.rwth-aachen.de, logic-list@helsinki.fi,
spin_list@research.bell-labs.com, theorem-provers@ai.mit.edu,
calculemus-ig@ags.uni-sb.de, concurrency@cwi.nl,
formal-methods@cs.uidaho.edu, hol-info@lists.sourceforge.net,
als+lics-request@inf.ed.ac.uk, metaprl@metaprl.org,
pvs@csl.sri.com, acl2@cs.utexas.edu, agda@lists.chalmers.se,
isabelle-users@cl.cam.ac.uk, caml-list@inria.fr,
clean-list@science.ru.nl, erlang-questions@erlang.org,
fp-nl@cs.uu.nl, haskell@haskell.org,
plt-scheme@list.cs.brown.edu, prog-lang@diku.dk,
seworld@sigsoft.org, sml-list@cs.cmu.edu
Subject: [Caml-list] CFP: Programming Languages meets Program Verification (PLPV 2012)
Date: Tue, 6 Sep 2011 10:15:20 +0200 [thread overview]
Message-ID: <CAB9WTrKgiOkGLH-zBwGtfObAT1dzQV6mP-WekywUVQmDw6vvHw@mail.gmail.com> (raw)
PLPV 2012
The Sixth ACM SIGPLAN Workshop
Programming Languages meets Program Verification
--- call for papers ---
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: 11th October, 2011
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
reply other threads:[~2011-09-06 8:15 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAB9WTrKgiOkGLH-zBwGtfObAT1dzQV6mP-WekywUVQmDw6vvHw@mail.gmail.com \
--to=plpv2012@gmail.com \
--cc=acl2@cs.utexas.edu \
--cc=agda@lists.chalmers.se \
--cc=als+lics-request@inf.ed.ac.uk \
--cc=calculemus-ig@ags.uni-sb.de \
--cc=caml-list@inria.fr \
--cc=clean-list@science.ru.nl \
--cc=concurrency@cwi.nl \
--cc=erlang-questions@erlang.org \
--cc=finite-model-theory@lists.rwth-aachen.de \
--cc=formal-methods@cs.uidaho.edu \
--cc=fp-nl@cs.uu.nl \
--cc=haskell@haskell.org \
--cc=hol-info@lists.sourceforge.net \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=logic-list@helsinki.fi \
--cc=metaprl@metaprl.org \
--cc=plt-scheme@list.cs.brown.edu \
--cc=prog-lang@diku.dk \
--cc=pvs@csl.sri.com \
--cc=seworld@sigsoft.org \
--cc=sml-list@cs.cmu.edu \
--cc=spin_list@research.bell-labs.com \
--cc=theorem-provers@ai.mit.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox