[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell
Subject:    [Haskell] CFP: VSTTE 2015
From:       Daniel Bundala <bundala () berkeley ! edu>
Date:       2015-02-02 22:16:46
Message-ID: CAGLq_MmOw+Jxc5OEHo1T45uFGbB2EXKoJCq4BKG2-F3j-C=KNQ () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


CALL FOR PAPERS  VSTTE 2015

**********************************************************************
7th Working Conference on Verified Software: Theories, Tools, and
Experiments
July 18 - 19, 2015
San Francisco, California, USA
http://www.eecs.berkeley.edu/vstte15

Co-located with 25th Conference on Computer Aided Verification
(http://i-cav.org/2015)
**********************************************************************

Full Paper Submission Deadline: April 27, 2015


SCOPE:

The Seventh 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), Philadelphia (2012), Atherton (2013), and Vienna (2014). 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.

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.


PAPER SUBMISSION

Papers will be evaluated by at least three members of the
Program Committee. We are accepting both long (limited to 16 pages)
and short (limited to 10 pages) paper submissions, written in English.
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 should be submitted through:

https://www.easychair.org/conferences/?conf=vstte2015.

Submissions that arrive late, are not in the proper format, or are too
long will not be considered.  The post-conference proceedings of VSTTE
2015 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 LNCS class files, obtainable
fromhttp://www.springer.de/comp/lncs/authors.html, is strongly
encouraged.

PUBLICATION

Accepted  papers will be  published as post-Proceedings, to
appear in Springer's Lectures Notes in Computer Science.

IMPORTANT DATES:

Abstract submission: April 20, 2015
Full paper submission: April 27, 2015
Notification: June 8, 2015


ORGANIZATION:
General Chair:
Martin Schaef (SRI International)

Program Chairs:
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
Sanjit A. Seshia (University of California, Berkeley)

Publicity Chair:
Daniel Bundala (UC Berkeley)

PROGRAM COMMITTEE:
Elvira Albert (Complutense University of Madrid)
Nikolaj Bjorner (Microsoft Research)
Evan Chang (University of Colorado, Boulder)
Ernie Cohen (University of Pennsylvania)
Jyotirmoy Deshmukh (Toyota)
Jin Song Dong (National University of Singapore)
Vijay D'Silva (Google)
Vijay Ganesh (University of Waterloo)
Alex Groce (Oregon State)
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
(co-chair)
Bill Harris (Georgia Institute of Technology)
Chris Hawblitzel (Microsoft Research)
Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
Susmit Jha (United Technologies)
Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory)
Vladimir Klebanov, Karlsruhe Institute of Technology, DE
Akash Lal (Microsoft Research India)
Ruzica Piskac (Yale)
Zvonimir Rakamaric (University of Utah)
Kristin Yvonne Rozier (University of Cincinnati)
Sanjit A. Seshia (UC Berkeley) (co-chair)
Natarajan Shankar (SRI)
Carsten Sinz (KIT)
Nishant Sinha (IBM Research Labs)
Alexander Summers (ETH Zurich)
Zachary Tatlock (University of Washington)
Sergey Tverdyshev (Sysgo AG)
Arnaud Venet (CMU / NASA Ames Research Center)
Karen Yorav (IBM Haifa Research Lab)

**********************************************************************
Please contact vstte2015@easychair.org  for further information
**********************************************************************

[Attachment #5 (text/html)]

<div dir="ltr"><div style="font-size:13px">CALL FOR PAPERS   VSTTE 2015</div><div \
style="font-size:13px"><br></div><div \
style="font-size:13px">**********************************************************************</div><div \
style="font-size:13px">7th Working Conference on Verified Software: Theories, Tools, \
and Experiments</div><div style="font-size:13px">July 18 - 19, 2015</div><div \
style="font-size:13px">San Francisco, California, USA</div><div \
style="font-size:13px"><a href="http://www.eecs.berkeley.edu/vstte15" \
target="_blank">http://www.eecs.berkeley.edu/vstte15</a></div><div \
style="font-size:13px"><br></div><div style="font-size:13px">Co-located with 25th \
Conference on Computer Aided Verification</div><div style="font-size:13px">(<a \
href="http://i-cav.org/2015" target="_blank">http://i-cav.org/2015</a>)</div><div \
style="font-size:13px">**********************************************************************</div><div \
style="font-size:13px"><br></div><div style="font-size:13px">Full Paper Submission \
Deadline: April 27, 2015</div><div style="font-size:13px"><br></div><div \
style="font-size:13px"><br></div><div style="font-size:13px">SCOPE:</div><div \
style="font-size:13px"><br></div><div style="font-size:13px">The Seventh Working \
Conference on Verified Software: Theories, Tools,</div><div \
style="font-size:13px">and Experiments follows a successful inaugural working \
conference at</div><div style="font-size:13px">Zurich in 2005 followed by conferences \
in Toronto (2008), Edinburgh</div><div style="font-size:13px">(2010), Philadelphia \
(2012), Atherton (2013), and Vienna (2014). The</div><div style="font-size:13px">goal \
of this conference is to advance the state of the art in the</div><div \
style="font-size:13px">science and technology of software verification, through \
the</div><div style="font-size:13px">interaction of theory development, tool \
evolution, and experimental</div><div style="font-size:13px">validation.</div><div \
style="font-size:13px"><br></div><div style="font-size:13px">We welcome submissions \
describing significant advances in the</div><div style="font-size:13px">production of \
verified software, i.e., software that has been</div><div \
style="font-size:13px">proved to meet its functional specifications.   We \
are</div><div style="font-size:13px">especially interested in submissions describing \
large-scale</div><div style="font-size:13px">verification efforts that involve \
collaboration, theory unification,</div><div style="font-size:13px">tool integration, \
and formalized domain knowledge.   We welcome papers</div><div \
style="font-size:13px">describing novel experiments and case studies evaluating \
verification</div><div style="font-size:13px">techniques and technologies.   Topics \
of interest include education,</div><div style="font-size:13px">requirements \
modeling, specification languages,</div><div \
style="font-size:13px">specification/verification case-studies, formal calculi, \
software</div><div style="font-size:13px">design methods, automatic code generation, \
refinement methodologies,</div><div style="font-size:13px">compositional analysis, \
verification tools (e.g., static analysis, dynamic</div><div \
style="font-size:13px">analysis, model checking, theorem proving, satisfiability), \
tool</div><div style="font-size:13px">integration, benchmarks, challenge problems, \
and integrated</div><div style="font-size:13px">verification environments.</div><div \
style="font-size:13px"><br></div><div style="font-size:13px"><br></div><div \
style="font-size:13px">PAPER SUBMISSION</div><div \
style="font-size:13px"><br></div><div style="font-size:13px">Papers will be evaluated \
by at least three members of the</div><div style="font-size:13px">Program Committee. \
We are accepting both long (limited to 16 pages)</div><div style="font-size:13px">and \
short (limited to 10 pages) paper submissions, written in English.</div><div \
style="font-size:13px">Short submissions also cover Verification Pearls describing \
an</div><div style="font-size:13px">elegant proof or proof technique.   Submitted \
research papers and</div><div style="font-size:13px">system descriptions must be \
original and not submitted for publication</div><div \
style="font-size:13px">elsewhere.</div><div style="font-size:13px"><br></div><div \
style="font-size:13px">Research paper submissions must be in LNCS format and \
must</div><div style="font-size:13px">include a cogent and self-contained description \
of the ideas, methods,</div><div style="font-size:13px">results, and comparison to \
existing work.   Submissions of theoretical,</div><div \
style="font-size:13px">practical, and experimental contributions are equally \
encouraged,</div><div style="font-size:13px">including those that focus on specific \
problems or problem domains.</div><div style="font-size:13px"><br></div><div \
style="font-size:13px">Papers should be submitted through:</div><div \
style="font-size:13px"><br></div><div style="font-size:13px"><a \
href="https://www.easychair.org/conferences/?conf=vstte2015" \
target="_blank">https://www.easychair.org/conferences/?conf=vstte2015</a>.</div><div \
style="font-size:13px"><br></div><div style="font-size:13px">Submissions that arrive \
late, are not in the proper format, or are too</div><div style="font-size:13px">long \
will not be considered.   The post-conference proceedings of VSTTE</div><div \
style="font-size:13px">2015 will be published by Springer-Verlag in the LNCS series.  \
Authors</div><div style="font-size:13px">of accepted papers will be requested to sign \
a form transferring</div><div style="font-size:13px">copyright of their contribution \
to Springer-Verlag.   The use of LaTeX</div><div style="font-size:13px">and the \
Springer LNCS class files, obtainable</div><div style="font-size:13px">fromhttp://<a \
href="http://www.springer.de/comp/lncs/authors.html" \
target="_blank">www.springer.de/comp/lncs/authors.html</a>, is strongly</div><div \
style="font-size:13px">encouraged.</div><div style="font-size:13px"><br></div><div \
style="font-size:13px">PUBLICATION</div><div style="font-size:13px"><br></div><div \
style="font-size:13px">Accepted   papers will be   published as post-Proceedings, \
to</div><div style="font-size:13px">appear in Springer&#39;s Lectures Notes in \
Computer Science.</div><div style="font-size:13px"><br></div><div \
style="font-size:13px">IMPORTANT DATES:</div><div \
style="font-size:13px"><br></div><div style="font-size:13px">Abstract submission: \
April 20, 2015</div><div style="font-size:13px">Full paper submission: April 27, \
2015</div><div style="font-size:13px">Notification: June 8, 2015</div><div \
style="font-size:13px"><br></div><div style="font-size:13px"><br></div><div \
style="font-size:13px">ORGANIZATION:</div><div style="font-size:13px">General Chair:  \
</div><div style="font-size:13px">Martin Schaef (SRI International)</div><div \
style="font-size:13px"><br></div><div style="font-size:13px">Program Chairs:  \
</div><div style="font-size:13px">Arie Gurfinkel (Software Engineering Institute, \
Carnegie Mellon University)</div><div style="font-size:13px">Sanjit A. Seshia \
(University of California, Berkeley)</div><div style="font-size:13px"><br></div><div \
style="font-size:13px">Publicity Chair:            </div><div \
style="font-size:13px">Daniel Bundala (UC Berkeley)</div><div \
style="font-size:13px"><br></div><div style="font-size:13px">PROGRAM \
COMMITTEE:</div><div style="font-size:13px">Elvira Albert (Complutense University of \
Madrid)</div><div style="font-size:13px">Nikolaj Bjorner (Microsoft \
Research)</div><div style="font-size:13px">Evan Chang (University of Colorado, \
Boulder)</div><div style="font-size:13px">Ernie Cohen (University of \
Pennsylvania)</div><div style="font-size:13px">Jyotirmoy Deshmukh (Toyota)</div><div \
style="font-size:13px">Jin Song Dong (National University of Singapore)</div><div \
style="font-size:13px">Vijay D&#39;Silva (Google)</div><div \
style="font-size:13px">Vijay Ganesh (University of Waterloo)</div><div \
style="font-size:13px">Alex Groce (Oregon State)</div><div \
style="font-size:13px">Arie Gurfinkel (Software Engineering Institute, Carnegie \
Mellon University) (co-chair)</div><div style="font-size:13px">Bill Harris (Georgia \
Institute of Technology)</div><div style="font-size:13px">Chris Hawblitzel (Microsoft \
Research)</div><div style="font-size:13px">Bart Jacobs (Katholieke Universiteit \
Leuven, Belgium)</div><div style="font-size:13px">Susmit Jha (United \
Technologies)</div><div style="font-size:13px">Rajeev Joshi (Laboratory for Reliable \
Software, Jet Propulsion Laboratory)</div><div style="font-size:13px">Vladimir \
Klebanov, Karlsruhe Institute of Technology, DE</div><div \
style="font-size:13px">Akash Lal (Microsoft Research India)</div><div \
style="font-size:13px">Ruzica Piskac (Yale)</div><div style="font-size:13px">Zvonimir \
Rakamaric (University of Utah)</div><div style="font-size:13px">Kristin Yvonne Rozier \
(University of Cincinnati)</div><div style="font-size:13px">Sanjit A. Seshia (UC \
Berkeley) (co-chair)</div><div style="font-size:13px">Natarajan Shankar \
(SRI)</div><div style="font-size:13px">Carsten Sinz (KIT)</div><div \
style="font-size:13px">Nishant Sinha (IBM Research Labs)</div><div \
style="font-size:13px">Alexander Summers (ETH Zurich)</div><div \
style="font-size:13px">Zachary Tatlock (University of Washington)</div><div \
style="font-size:13px">Sergey Tverdyshev (Sysgo AG)</div><div \
style="font-size:13px">Arnaud Venet (CMU / NASA Ames Research Center)</div><div \
style="font-size:13px">Karen Yorav (IBM Haifa Research Lab)</div><div \
style="font-size:13px"><br></div><div \
style="font-size:13px">**********************************************************************</div><div \
style="font-size:13px">Please contact  <a href="mailto:vstte2015@easychair.org" \
target="_blank">vstte2015@easychair.org</a>    for further information</div><div \
style="font-size:13px">**********************************************************************</div></div>




_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell


[prev in list] [next in list] [prev in thread] [next in thread]