[rv2017] RV2017: Runtime Verification, September 13 - 16 2017, Seattle USA
Ayoub Nouri <[email protected]> Tue, 17 Jan 2017 10:22:13 +0100
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <10e865e4-e237-618c-8d08-c8215144bb48__3770.24335689402$1484949278$gmane$org@univ-grenoble-alpes.fr> |
--===============0736241505==
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: 8bit
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<span class="s1">[Apologizes for cross-posting]<br>
<br>
</span>
<p class="p1" style="text-align: center;"><span class="s1">RV 2017</span></p>
<p class="p2" style="text-align: center;"><span class="s1"><b>
Call for Papers and Tutorials</b></span><span class="s2">
</span></p>
<p class="p4" style="text-align: center;"><span class="s1">
The 17th International Conference on Runtime
Verification</span></p>
<p class="p4" style="text-align: center;"><span class="s1">
September 13-16, Seattle, WA, USA</span></p>
<p class="p5" style="text-align: center;"><span class="s3"><a
href="http://rv2017.cs.manchester.ac.uk/">http://rv2017.cs.manchester.ac.uk</a></span></p>
<p class="p6" style="text-align: center;"><span class="s3"><a
href="mailto:[email protected]">[email protected]</a></span></p>
<p><span style="font-weight: 400;">Runtime verification is concerned
with the monitoring and analysis of the runtime behaviour of
software and hardware systems. Runtime verification techniques
are crucial for system correctness, reliability, and robustness;
they p</span><span style="font-weight: 400;">rovide an
additional level of rigor and effectiveness compared to
conventional testing</span><span style="font-weight: 400;">, and
are generally more practical than exhaustive formal
verification. Runtime verification can be used prior to
deployment, for testing, verification, and debugging purposes,
and after deployment for ensuring reliability, safety, and
security and for providing fault containment and recovery as
well as online system repair. </span></p>
<p><span style="font-weight: 400;">Topics of interest to the
conference include, but are not limited to:</span></p>
<ul>
<li style="font-weight: 400;"><span style="font-weight: 400;">specification
languages</span></li>
<li style="font-weight: 400;"><span style="font-weight: 400;">monitor
construction techniques</span></li>
<li style="font-weight: 400;"><span style="font-weight: 400;">program
instrumentation</span></li>
<li style="font-weight: 400;"><span style="font-weight: 400;">logging,
recording, and replay</span></li>
<li style="font-weight: 400;"><span style="font-weight: 400;">combination
of static and dynamic analysis</span></li>
<li style="font-weight: 400;"><span style="font-weight: 400;">specification
mining and machine learning over runtime traces</span></li>
<li style="font-weight: 400;">monitoring techniques for concurrent
and distributed systems</li>
<li style="font-weight: 400;">runtime checking of privacy and
security policies</li>
<li style="font-weight: 400;">statistical model checking</li>
<li style="font-weight: 400;"><span style="font-weight: 400;">metrics
and statistical information gathering</span></li>
<li style="font-weight: 400;"><span style="font-weight: 400;">program/system
execution visualization</span></li>
<li style="font-weight: 400;"><span style="font-weight: 400;">fault
localization, containment, recovery and repair</span></li>
<li style="font-weight: 400;"><span style="font-weight: 400;">integrated
vehicle health management (IVHM)</span></li>
</ul>
<p><span style="font-weight: 400;">Application areas of runtime
verification include cyber-physical systems,
safety/mission-critical systems, enterprise and systems
software, autonomous and reactive control systems, health
management and diagnosis systems, and system security and
privacy.</span></p>
<p><span style="font-weight: 400;">We welcome contributions
exploring the combination of runtime verification techniques
with machine learning and static analysis. Whilst these are
highlight topics, papers falling into these categories will not
be treated differently from other contributions.</span></p>
<p><span style="font-weight: 400;">An overview of previous RV
conferences and earlier workshops can be found at: <a
href="http://www.runtime-verification.org">http://www.runtime-verification.org</a>.</span></p>
<p><span style="font-weight: 400;">RV 2017 will be held September
13-16 in Seattle, WA, USA. RV 2017 will feature a tutorial day
(September 13), and three conference days (September 14-16).</span></p>
<h2><span style="font-weight: 400;">Important Dates</span></h2>
<p><b>Papers</b><span style="font-weight: 400;"> as well as </span><b>tutorial
proposals</b><span style="font-weight: 400;"> will follow the
following timeline:</span></p>
<ul>
<li style="font-weight: 400;"><span style="font-weight: 400;">Abstract
deadline: April 24, 2017 (Anywhere on Earth)</span></li>
<li style="font-weight: 400;"><span style="font-weight: 400;">Paper
and tutorial deadline: May 1, 2017 (Anywhere on Earth)</span></li>
<li style="font-weight: 400;"><span style="font-weight: 400;">Tutorial
notification: May 21, 2017</span></li>
<li style="font-weight: 400;"><span style="font-weight: 400;">Paper
notification: June 26, 2017</span></li>
<li style="font-weight: 400;"><span style="font-weight: 400;">Conference:
September 13-16, 2017</span></li>
</ul>
<h2><span style="font-weight: 400;">General Information on
Submissions</span></h2>
<p><span style="font-weight: 400;">All papers and tutorials will
appear in the conference proceedings in an LNCS volume.
Submitted papers and tutorials must use the LNCS/Springer style
detailed here:</span></p>
<p><a href="http://www.springer.de/comp/lncs/authors.html"><span
style="font-weight: 400;">http://www.springer.de/comp/lncs/authors.html</span></a></p>
<p><span style="font-weight: 400;">Papers must be original work and
not be submitted for publication elsewhere. Papers must be
written in English and submitted electronically (in PDF format)
using the EasyChair submission page here:</span></p>
<p><a href="https://easychair.org/conferences/?conf=rv17"><span
style="font-weight: 400;">https://easychair.org/conferences/?conf=rv17</span></a></p>
<p><span style="font-weight: 400;">The page limitations mentioned
below include all text and figures, but exclude references.
Additional details omitted due to space limitations may be
included in a clearly marked appendix, that will be reviewed at
the discretion of reviewers, but not included in the
proceedings.</span></p>
<p><span style="font-weight: 400;">At least one author of each
accepted paper and tutorial must attend RV 2017 to present. </span></p>
<h2><span style="font-weight: 400;">Paper Submissions</span></h2>
<p><span style="font-weight: 400;">There are three categories of
papers which can be submitted: regular, short or tool papers.
Papers in each category will be reviewed by at least 3 members
of the Program Committee.</span></p>
<ul>
<li style="font-weight: 400;"><span style="font-weight: 400;"><strong>Regular
Papers</strong> (up to 15 pages, not including references)
should present original unpublished results. We welcome
theoretical papers, system papers, papers describing
domain-specific variants of RV, and case studies on runtime
verification.</span></li>
<li style="font-weight: 400;"><span style="font-weight: 400;"><strong>Short
Papers</strong> (up to 6 pages, not including references)
may present novel but not necessarily thoroughly worked out
ideas, for example emerging runtime verification techniques
and applications, or techniques and applications that
establish relationships between runtime verification and other
domains. </span></li>
<li style="font-weight: 400;"><span style="font-weight: 400;"><strong>Tool
Demonstration Papers</strong> (up to 8 pages, not including
references) should present a new tool, a new tool component,
or novel extensions to existing tools supporting runtime
verification. The paper must include information on tool
availability, maturity, selected experimental results and it
should provide a link to a website containing the theoretical
background and user guide. Furthermore, we strongly encourage
authors to make their tools and benchmarks available with
their submission.</span></li>
</ul>
<p><span style="font-weight: 400;">The Program Committee of RV 2017
will give a best paper award, and a selection of accepted
regular papers will be invited to appear in a special issue of
the Springer Journal on <a
href="http://link.springer.com/journal/10703">Formal Methods
in System Design</a>.</span></p>
<h2><span style="font-weight: 400;">Tutorial Submissions</span></h2>
<p><span style="font-weight: 400;">Tutorials are two-to-three-hour
presentations on a selected topic. Additionally, tutorial
presenters will be offered to publish a paper of up to 20 pages
in the LNCS conference proceedings, </span><span
style="font-weight: 400;">not including references</span><span
style="font-weight: 400;">.</span></p>
<p><span style="font-weight: 400;">A proposal for a tutorial must
contain the subject of the tutorial, a proposed timeline, a note
on previous similar tutorials (if applicable) and the
differences to this incarnation, and a brief biography of the
presenter. The proposal should not exceed 2 pages. </span></p>
<h2><span style="font-weight: 400;">Organization</span></h2>
<p><span style="font-size: 14px;"><b>General Chair</b></span></p>
<p style="padding-left: 30px;"><a href="http://www.havelund.com/">Klaus
Havelund</a>, NASA Jet Propulsion Laboratory, USA</p>
<p><span style="font-size: 14px;"><b>Program Chairs</b></span></p>
<p style="padding-left: 30px;"><a
href="http://www.cs.man.ac.uk/%7Eregerg/">Giles Reger</a>,
University of Manchester, UK<br>
<a
href="https://www.microsoft.com/en-us/research/people/shuvendu/">Shuvendu
Lahiri</a>, Microsoft Research, USA</p>
<p><span style="font-size: 14px;"><b>Finance Chair</b></span></p>
<p style="padding-left: 30px;"><a
href="http://www.cis.upenn.edu/%7Esokolsky/">Oleg Sokolsky</a>,
University of Pennsylvania, USA</p>
<p><span style="font-size: 14px;"><b>Publicity Chair</b></span></p>
<p style="padding-left: 30px;"><a
href="http://www-verimag.imag.fr/%7Enouri/">Ayoub Nour</a>i,
University of Grenoble Alpes, France</p>
<p><span style="font-size: 14px;"><b>Local Organisation Chairs</b></span></p>
<p style="padding-left: 30px;"><a
href="http://homes.cs.washington.edu/%7Egrigory/about.html">Grigory
Fedyukovich</a>, University of Washington, USA<br>
<a href="http://rahulku.com/">Rahul Kumar</a>, Microsoft Research,
USA</p>
<p><span style="font-size: 14px;"><b>Program Committee</b></span></p>
<p style="padding-left: 30px;"><span style="font-weight: 400;"><a
href="http://www.cse.chalmers.se/%7Eahrendt/">Wolfgang Ahrendt</a>, </span><span
style="font-weight: 400;">Chalmers Univ. of Technology/Univ. of
Gothenburg, Sweden<br>
</span><a href="https://people.kth.se/%7Eartho/"><span
style="font-weight: 400;">Cyrille</span> <span
style="font-weight: 400;">Artho</span></a>, <span
style="font-weight: 400;">KTH Royal Institute of Technology,
Sweden<br>
</span><span style="font-weight: 400;"><a
href="http://www.manchester.ac.uk/research/Howard.barringer/">Howard
Barringer</a>,</span> <span style="font-weight: 400;">The
University of Manchester, UK<br>
</span><span style="font-weight: 400;"><a
href="http://www.eziobartocci.com/">Ezio Bartocci</a>,</span>
<span style="font-weight: 400;">Vienna University of Technology,
Austria<br>
</span><span style="font-weight: 400;"><a
href="http://www.immerundewig.at/">Andreas Bauer</a>,</span> <span
style="font-weight: 400;">KUKA Systems, Germany<br>
</span><span style="font-weight: 400;"><a
href="http://www-verimag.imag.fr/%7Ebensalem/">Saddek Bensalem</a>,</span>
<span style="font-weight: 400;">VERIMAG (University of Grenoble
Alpes), France<br>
<a href="http://www.bodden.de/">Eric Bodden</a>, Fraunhofer SIT
and Technische University Darmstadt, Germany</span><span
style="font-weight: 400;"><br>
</span><span style="font-weight: 400;"><a
href="http://www.cas.mcmaster.ca/borzoo/">Borzoo Bonakdarpour</a>,</span>
<span style="font-weight: 400;">McMaster University, Canada<br>
</span><span style="font-weight: 400;"><a
href="https://www.um.edu.mt/ict/cs/staff/christian_colombo">Christian
Colombo</a>,</span> <span style="font-weight: 400;">University
of Malta, Malta<br>
</span><span style="font-weight: 400;"><a
href="http://www.ylies.fr">Ylies Falcone</a>,</span> <span
style="font-weight: 400;">University of Grenoble Alpes, France<br>
</span><span style="font-weight: 400;"><a
href="http://homes.cs.washington.edu/%7Egrigory/about.html">Grigory
Fedyukovich</a>,</span> <span style="font-weight: 400;">University
of Washington, USA<br>
</span><span style="font-weight: 400;"><a
href="https://www.cs.virginia.edu/%7Elufeng/">Lu Feng</a>,</span>
<span style="font-weight: 400;">University of Virginia, USA<br>
</span><span style="font-weight: 400;"><a
href="https://patricegodefroid.github.io">Patrice Godefroid</a>,</span>
<span style="font-weight: 400;">Microsoft Research, USA<br>
</span><span style="font-weight: 400;"><a
href="http://www.lsv.ens-cachan.fr/%7Egoubault/">Jean
Goubault-Larrecq</a>,</span> <span style="font-weight: 400;">CNRS</span><span
style="font-weight: 400;"> & </span><span
style="font-weight: 400;">ENS</span><span style="font-weight:
400;"> de Cachan</span><span style="font-weight: 400;">, France<br>
</span><span style="font-weight: 400;"><a
href="http://eecs.oregonstate.edu/people/groce-alex">Alex
Groce</a>,</span> <span style="font-weight: 400;">Northern
Arizona University, USA<br>
</span><span style="font-weight: 400;"><a
href="https://ti.tuwien.ac.at/cps/people/grosu">Radu Grosu</a>,</span>
<span style="font-weight: 400;">Vienna University of Technology,
Austria<br>
</span><span style="font-weight: 400;"><a
href="http://leduotang.ca/sylvain/">Sylvain Hallé</a>,</span>
<span style="font-weight: 400;">University of Québec at Chicoutimi</span><span
style="font-weight: 400;">, Canada<br>
</span><span style="font-weight: 400;"><a
href="http://wwwhome.ewi.utwente.nl/%7Emarieke/">Marieke
Huisman</a>, University of Twente, Netherlands</span><span
style="font-weight: 400;"><br>
</span><span style="font-weight: 400;"><a
href="https://sites.google.com/site/ivancic/">Franjo Ivancic</a>,</span>
<span style="font-weight: 400;">Google<br>
</span><span style="font-weight: 400;"><a
href="http://user.it.uu.se/%7Ebengt/">Bengt Jonsson</a>,</span>
<span style="font-weight: 400;">Uppsala University, Sweden<br>
</span><span style="font-weight: 400;"><a
href="https://sites.google.com/site/felixklaedtkeshomepage/">Felix
Klaedtke</a>,</span> <span style="font-weight: 400;">NEC
Europe Ltd.<br>
</span><span style="font-weight: 400;"><a
href="http://rahulku.com/">Rahul Kumar</a>,</span> <span
style="font-weight: 400;">Microsoft Research, USA<br>
</span><span style="font-weight: 400;"><a
href="http://people.cs.aau.dk/%7Ekgl/">Kim Larsen</a>,</span>
<span style="font-weight: 400;">Aalborg University, Denmark<br>
</span><span style="font-weight: 400;"><a
href="http://www.cis.upenn.edu/%7Elee/home/home/index.shtml">Insup
Lee</a>,</span> <span style="font-weight: 400;">University of
Pennsylvania, USA<br>
</span><span style="font-weight: 400;"><a
href="https://people.irisa.fr/Axel.Legay/">Axel Legay</a>,</span>
<span style="font-weight: 400;">Inria Rennes, France<br>
</span><span style="font-weight: 400;"><a
href="https://www.isp.uni-luebeck.de/leucker">Martin Leucker</a>,</span>
<span style="font-weight: 400;">University of Lübeck, Germany<br>
</span><span style="font-weight: 400;"><a
href="http://research.microsoft.com/en-us/um/people/livshits/">Ben
Livshits</a>,</span> <span style="font-weight: 400;">Microsoft
Research, USA<br>
</span><span style="font-weight: 400;"><a
href="http://www.mysmu.edu/faculty/davidlo/">David Lo</a>,</span>
<span style="font-weight: 400;">Singapore Management University,
Singapore<br>
</span><span style="font-weight: 400;"><a
href="https://www.linkedin.com/in/francesco-logozzo-4106386">Francesco
Logozzo</a>,</span> <span style="font-weight: 400;">Facebook</span><span
style="font-weight: 400;"><br>
</span><span style="font-weight: 400;"><a
href="http://madhu.cs.illinois.edu">Parthasarathy Madhusudan</a>,</span>
<span style="font-weight: 400;">University of Illinois at
Urbana-Champaign, USA<br>
<a
href="http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMariani.php">Leonardo
Mariani</a>, University of Milan Bicocca, Italy<br>
</span><span style="font-weight: 400;"><a
href="https://www.microsoft.com/en-us/research/people/madanm/">Madanlal
Musuvathi</a>,</span> <span style="font-weight: 400;">Microsoft
Research<br>
</span><span style="font-weight: 400;"><a
href="http://www-verimag.imag.fr/%7Enouri/">Ayoub Nouri</a>,</span>
<span style="font-weight: 400;">University of Grenoble Alpes,
France<br>
</span><span style="font-weight: 400;"><a
href="http://www.cs.um.edu.mt/gordon.pace/">Gordon Pace</a>,</span>
<span style="font-weight: 400;">University of Malta, Malta<br>
</span><span style="font-weight: 400;"><a
href="http://u.cs.biu.ac.il/%7Edoronp/">Doron Peled</a>,</span>
<span style="font-weight: 400;">Bar Ilan University, Israel<br>
</span><span style="font-weight: 400;"><a
href="http://fsl.cs.illinois.edu/index.php/Grigore_Rosu">Grigore
Rosu</a>,</span> <span style="font-weight: 400;">University
of Illinois at Urbana-Champaign, USA<br>
</span><span style="font-weight: 400;"><a
href="http://www.srl.inf.ethz.ch/raychev.php">Veselin Raychev</a>,</span>
<span style="font-weight: 400;">ETH Zurich, Switzerland<br>
</span><span style="font-weight: 400;"><a
href="http://software.imdea.org/%7Ecesar/">Cesar Sanchez</a>,</span>
<span style="font-weight: 400;">IMDEA Software Institute, Spain<br>
</span><a href="http://www.cse.chalmers.se/%7Egersch/"><span
style="font-weight: 400;">Gerardo Schneider,</span></a> <span
style="font-weight: 400;">Chalmers Univ. of Technology/Univ. of
Gothenburg, Sweden<br>
</span><span style="font-weight: 400;"><a
href="https://cs.stanford.edu/people/sharmar/">Rahul Sharma</a>,</span> <span
style="font-weight: 400;">Microsoft Research, USA<br>
</span><span style="font-weight: 400;"><a
href="http://julien.signoles.free.fr/index.en.html">Julien
Signoles</a>,</span> <span style="font-weight: 400;">CEA
LIST, France<br>
</span><span style="font-weight: 400;"><a
href="http://www3.cs.stonybrook.edu/%7Esas/">Scott Smolka</a>,</span>
<span style="font-weight: 400;">Stony Brook University, USA<br>
</span><span style="font-weight: 400;"><a
href="https://www.cis.upenn.edu/%7Esokolsky/">Oleg Sokolsky</a>,</span>
<span style="font-weight: 400;">University of Pennsylvania, USA<br>
</span><span style="font-weight: 400;"><a
href="http://ls5-www.cs.tu-dortmund.de/cms/de/mitarbeiter/prof/Bernhard_Steffen.html">Bernhard
Steffen</a>,</span> <span style="font-weight: 400;">University
of Dortmund, Germany<br>
</span><a href="http://www3.cs.stonybrook.edu/%7Estoller/"><span
style="font-weight: 400;">Scott Stoller</span></a>, <span
style="font-weight: 400;">Stony Brook University, USA<br>
</span><span style="font-weight: 400;"><a
href="http://www.mn.uio.no/ifi/personer/vit/stolz/">Volker
Stolz</a>,</span> <span style="font-weight: 400;">University
of Olso, Norway<br>
</span><span style="font-weight: 400;"><a
href="http://www.cs.ru.nl/%7Efvaan/">Frits Vaandrager</a>,</span>
<span style="font-weight: 400;">Radboud University, Netherlands<br>
</span><span style="font-weight: 400;"><a
href="http://www2.le.ac.uk/departments/informatics/people/neil-walkinshaw">Neil
Walkinshaw</a>,</span> <span style="font-weight: 400;">University
of Leicester, UK<br>
</span><span style="font-weight: 400;"><a
href="http://www-bcf.usc.edu/%7Ewang626/">Chao Wang</a>,</span>
<span style="font-weight: 400;">University of Southern California,
USA<br>
</span><span style="font-weight: 400;"><a
href="http://www2.in.tum.de/hp/Main?nid=315">Eugen Zalinescu</a>,</span> <span
style="font-weight: 400;">Technische Universitat München,
Germany</span></p>
</body>
</html>
--===============0736241505==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog
--===============0736241505==--