From: Sam Owre <owre@csl.sri.com>
To: acl2@utlists.utexas.edu, afsec@afsec.asr.cnrs.fr,
amast@cs.utwente.nl, calculemus-ig@mathweb.org,
caml-list@inria.fr, comlab@comlab.ox.ac.uk,
concurrency@listserver.tue.nl, coq-club@pauillac.inria.fr,
event@in.tu-clausthal.de, fmcad@utlists.utexas.edu,
gdr-im@gdr-im.fr, hol-info@lists.sourceforge.net,
isabelle-users@cl.cam.ac.uk, lics@research.bell-labs.com,
lprolog@cs.umn.edu, matita@cs.unibo.it,
mizar-forum@mizar.uwb.edu.pl, poplmark@lists.seas.upenn.edu,
prog-lang@diku.dk, pvs@csl.sri.com, qpq-general@qpq.org,
sal@csl.sri.com, strqds@laas.fr, theorem-provers@ai.mit.edu,
theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu,
types-announce@lists.seas.upenn.edu, verimag-news@imag.fr,
yices@csl.sri.com
Subject: [Caml-list] VSTTE 2013 - Last CFP - Extended Deadline
Date: Wed, 20 Feb 2013 15:00:14 -0800 [thread overview]
Message-ID: <31396.1361401214@ubi> (raw)
CALL FOR PAPERS
Fifth Working Conference on
Verified Software: Theories, Tools, and Experiments
(VSTTE 2013)
May 17--19, 2013, Atherton, California
[https://sites.google.com/site/vstte2013/]
Last Call for Papers - Extended Deadline
Feb 27, 2013: Title/Abstract
Mar 6, 2013: Full paper submission
The Fifth IFIP Working Conference on Verified Software: Theories,
Tools, and Experiments follows a successful inaugural working
conference at Zurich in 2005 followed by conferences in Toronto
(2008), Edinburgh (2010), and Philadelphia (2012). The goal of this
conference is to advance the state of the art in the science and
technology of software verification, through the interaction of theory
development, tool evolution, and experimental validation.
Scope: We welcome submissions describing significant advances in the
production of verified software, i.e., software that has been proved
to meet its functional specifications. We are especially interested
in submissions describing large-scale verification efforts that
involve collaboration, theory unification, tool integration, and
formalized domain knowledge. We welcome papers describing novel
experiments and case studies evaluating verification techniques and
technologies. Topics of interest include education, requirements
modeling, specification languages, specification/verification
case-studies, formal calculi, software design methods, automatic code
generation, refinement methodologies, compositional analysis,
verification tools (e.g., static analysis, dynamic analysis, model
checking, theorem proving, satisfiability), tool integration,
benchmarks, challenge problems, and integrated verification
environments.
Submission: We are accepting both long (limited to 20 pages) and short
(limited to 12 pages) paper submissions. Short submissions also cover
Verification Pearls describing an elegant proof or proof technique.
Submitted research papers and system descriptions must be original and
not submitted for publication elsewhere. Research paper submissions
must be in LNCS format and must include a cogent and self-contained
description of the ideas, methods, results, and comparison to existing
work. Submissions of theoretical, practical, and experimental
contributions are equally encouraged, including those that focus on
specific problems or problem domains.
Papers can be submitted at https://www.easychair.org/conferences/?conf=vstte2013.
Submissions that arrive late, are not in the proper format, or are too
long will not be considered. The post-conference proceedings of VSTTE
2013 will be published by Springer-Verlag in the LNCS series. Authors
of accepted papers will be requested to sign a form transferring
copyright of their contribution to Springer-Verlag. The use of LaTeX
and the Springer llncs class files, obtainable from
http://www.springer.de/comp/lncs/authors.html, is strongly encouraged.
Important Dates:
Feb 27, 2013 (firm): Title/Abstract
Mar 6, 2013 (firm): Full paper submission
Mar 29, 2013: Decision
May 17--19, 2013: Conference
Jun 28, 2013 (firm): Camera-ready
School/Workshops: The conference will be colocated with the Third Summer School
on Formal Techniques, and is preceded by NFM 2013 at NASA Ames
and followed by ICSE 2013 at San Francisco.
Conference Chair: Natarajan Shankar, SRI International
Program Chairs: Ernie Cohen, Microsoft, Andrey Rybalchenko, TU Munich
Program Committee: Josh Berdine, Ahmed Bouajjani, Marsha Chechik,
Jean-Christophe Filliatre, Silvio Ghilardi, Aarti Gupta, Arie Gurfinkel,
Andrew Ireland, Ranjit Jhala, Cliff Jones, Rajeev Joshi, Gerwin Klein,
Daniel Kroening, Gary Leavens, Xavier Leroy, Zhiming Liu, Pete
Manolios, Tiziana Margaria, David Monniaux, Peter Mueller, David
Naumann, Aditya Nori , Peter O'Hearn, Matthew Parkinson, Wolfgang
Paul, Andreas Podelski, Zhong Shao, Willem Visser, Thomas Wies, Jim
Woodcock, Kwangkeun Yi, Pamela Zave, Lenore Zuck
Publicity Chair: Sam Owre, SRI International
Steering Committee: Tony Hoare, Andrew Ireland, Jay Misra, Natarajan
Shankar, Jim Woodcock
reply other threads:[~2013-02-20 23:00 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=31396.1361401214@ubi \
--to=owre@csl.sri.com \
--cc=acl2@utlists.utexas.edu \
--cc=afsec@afsec.asr.cnrs.fr \
--cc=amast@cs.utwente.nl \
--cc=calculemus-ig@mathweb.org \
--cc=caml-list@inria.fr \
--cc=comlab@comlab.ox.ac.uk \
--cc=concurrency@listserver.tue.nl \
--cc=coq-club@pauillac.inria.fr \
--cc=event@in.tu-clausthal.de \
--cc=fmcad@utlists.utexas.edu \
--cc=gdr-im@gdr-im.fr \
--cc=hol-info@lists.sourceforge.net \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=lics@research.bell-labs.com \
--cc=lprolog@cs.umn.edu \
--cc=matita@cs.unibo.it \
--cc=mizar-forum@mizar.uwb.edu.pl \
--cc=poplmark@lists.seas.upenn.edu \
--cc=prog-lang@diku.dk \
--cc=pvs@csl.sri.com \
--cc=qpq-general@qpq.org \
--cc=sal@csl.sri.com \
--cc=strqds@laas.fr \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-logic@cs.cmu.edu \
--cc=theorynt@listserv.nodak.edu \
--cc=types-announce@lists.seas.upenn.edu \
--cc=verimag-news@imag.fr \
--cc=yices@csl.sri.com \
/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;
as well as URLs for NNTP newsgroup(s).