<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=us-ascii"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:0 0 0 0 0 0 0 0 0 0;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.msonormal0, li.msonormal0, div.msonormal0
{mso-style-name:msonormal;
mso-margin-top-alt:auto;
margin-right:0in;
mso-margin-bottom-alt:auto;
margin-left:0in;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
span.EmailStyle19
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=EN-US link=blue vlink=purple><div class=WordSection1><p><span style='font-family:"Calibri",sans-serif'>CALL FOR PAPERS</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>SNR 2017</span> <br><span style='font-family:"Calibri",sans-serif'>========</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>3rd International Workshop on Symbolic and Numerical Methods for</span> <br><span style='font-family:"Calibri",sans-serif'>Reachability Analysis</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>April 22, 2017, Uppsala, Sweden</span> <br><span style='font-family:"Calibri",sans-serif'>Affiliated with ETAPS 2017</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'><a href="http://snr2017.pages.ist.ac.at/">http://snr2017.pages.ist.ac.at/</a></span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Important Dates</span> <br><span style='font-family:"Calibri",sans-serif'>===============</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Abstract submission: January 27, 2017</span> <br><span style='font-family:"Calibri",sans-serif'>Paper submission: February 3, 2017</span> <br><span style='font-family:"Calibri",sans-serif'>Notification: March 10, 2017</span> <br><span style='font-family:"Calibri",sans-serif'>Final version: March 24, 2017</span> <br><span style='font-family:"Calibri",sans-serif'>Workshop date: April 22, 2017</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Scope</span> <br><span style='font-family:"Calibri",sans-serif'>=====</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Hybrid systems are complex dynamical systems that combine discrete and</span> <br><span style='font-family:"Calibri",sans-serif'>continuous components. Reachability questions, regarding whether a</span> <br><span style='font-family:"Calibri",sans-serif'>system can run into a certain subset of its state space, stand at the</span> <br><span style='font-family:"Calibri",sans-serif'>core of verification and synthesis problems for hybrid systems.</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>There are several successful methods for hybrid systems reachability</span> <br><span style='font-family:"Calibri",sans-serif'>analysis. Some methods explicitly construct flow-pipes that</span> <br><span style='font-family:"Calibri",sans-serif'>over-approximate the set of reachable states over time, where efficient</span> <br><span style='font-family:"Calibri",sans-serif'>computation of such over-approximations requires symbolic</span> <br><span style='font-family:"Calibri",sans-serif'>representations such as support functions. Other methods based on</span> <br><span style='font-family:"Calibri",sans-serif'>satisfiability checking technologies, symbolically encode reachability</span> <br><span style='font-family:"Calibri",sans-serif'>properties as logical formulas, while solving such formulas requires</span> <br><span style='font-family:"Calibri",sans-serif'>numerically-driven decision procedures. Last but not least, also</span> <br><span style='font-family:"Calibri",sans-serif'>automated deduction and the usage of theorem provers led to efficient</span> <br><span style='font-family:"Calibri",sans-serif'>analysis approaches. The goal of this workshop is to bring together</span> <br><span style='font-family:"Calibri",sans-serif'>researchers working with different reachability analysis techniques</span> <br><span style='font-family:"Calibri",sans-serif'>and to seek for synergies between the different approaches.</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>The SNR workshop solicits papers broadly in the area of analysis and</span> <br><span style='font-family:"Calibri",sans-serif'>synthesis of continuous and hybrid systems. The scope of the workshop</span> <br><span style='font-family:"Calibri",sans-serif'>includes, but is not restricted to, the following topics with</span> <br><span style='font-family:"Calibri",sans-serif'>application to continuous and hybrid systems:</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>- Reachability analysis</span> <br><span style='font-family:"Calibri",sans-serif'>- Flow-pipe construction; symbolic state set representations</span> <br><span style='font-family:"Calibri",sans-serif'>- Logical frameworks for reasoning</span> <br><span style='font-family:"Calibri",sans-serif'>- Bounded model checking</span> <br><span style='font-family:"Calibri",sans-serif'>- Automated deduction</span> <br><span style='font-family:"Calibri",sans-serif'>- Invariant generation</span> <br><span style='font-family:"Calibri",sans-serif'>- Symbolic execution</span> <br><span style='font-family:"Calibri",sans-serif'>- Trajectory generation; counterexample computation</span> <br><span style='font-family:"Calibri",sans-serif'>- Abstraction techniques</span> <br><span style='font-family:"Calibri",sans-serif'>- Reliable integration</span> <br><span style='font-family:"Calibri",sans-serif'>- Simulation</span> <br><span style='font-family:"Calibri",sans-serif'>- Reachability analysis for planning and synthesis</span> <br><span style='font-family:"Calibri",sans-serif'>- Domain-specific approaches in biology, robotics, etc.</span> <br><span style='font-family:"Calibri",sans-serif'>- Stochastic/probabilistic hybrid systems</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Submission Information</span> <br><span style='font-family:"Calibri",sans-serif'>======================</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>The workshop solicits</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>- long research papers (not exceeding 15 pages excluding references),</span> <br><span style='font-family:"Calibri",sans-serif'>- short research papers (not exceeding 6 pages excluding references) and</span> <br><span style='font-family:"Calibri",sans-serif'>- work-in-progress papers (not exceeding 6 pages excluding references).</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Research papers must present original unpublished work which is not</span> <br><span style='font-family:"Calibri",sans-serif'>submitted elsewhere. In order to foster the exchange of ideas, we also</span> <br><span style='font-family:"Calibri",sans-serif'>encourage work-in-progress papers, which present recent or on-going</span> <br><span style='font-family:"Calibri",sans-serif'>work.</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>The papers should be written in English and formatted according to the</span> <br><span style='font-family:"Calibri",sans-serif'>EPTCS guidelines (<a href="http://style.eptcs.org/">http://style.eptcs.org/</a>).</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Papers can be submitted using the EasyChair system:</span> <br><span style='font-family:"Calibri",sans-serif'><a href="https://easychair.org/conferences/?conf=snr2017">https://easychair.org/conferences/?conf=snr2017</a></span> <br><span style='font-family:"Calibri",sans-serif'>All submissions will undergo a peer-reviewing process.</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Accepted research papers will be presented at the workshop and</span> <br><span style='font-family:"Calibri",sans-serif'>published in the Electronic Proceedings in Theoretical</span> <br><span style='font-family:"Calibri",sans-serif'>Computer Science (EPTCS, <a href="http://www.eptcs.org/">http://www.eptcs.org/</a>).</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Accepted work-in-progress papers will be presented at the workshop but</span> <br><span style='font-family:"Calibri",sans-serif'>will not be included in the proceedings.</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Invited Speakers</span> <br><span style='font-family:"Calibri",sans-serif'>================</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>TBA</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Workshop Co-Chairs</span> <br><span style='font-family:"Calibri",sans-serif'>==================</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Erika Abraham (RWTH Aachen University, Germany)</span> <br><span style='font-family:"Calibri",sans-serif'>Sergiy Bogomolov (Australian National University, Australia)</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Publicity Chair</span> <br><span style='font-family:"Calibri",sans-serif'>===============</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Przemyslaw Daca (Institute of Science and Technology Austria, Austria)</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Program Committee</span> <br><span style='font-family:"Calibri",sans-serif'>=================</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Matthias Althoff (Technische Universitaet Muenchen, Germany)</span> <br><span style='font-family:"Calibri",sans-serif'>Stanley Bak (United States Air Force Research Lab, USA)</span> <br><span style='font-family:"Calibri",sans-serif'>Franck Cassez (Macquarie University, Australia)</span> <br><span style='font-family:"Calibri",sans-serif'>Xin Chen (University of Colorado at Boulder, USA)</span> <br><span style='font-family:"Calibri",sans-serif'>Thao Dang (CNRS/VERIMAG, France)</span> <br><span style='font-family:"Calibri",sans-serif'>Martin Fraenzle (University of Oldenburg, Germany)</span> <br><span style='font-family:"Calibri",sans-serif'>Goran Frehse (Verimag, France)</span> <br><span style='font-family:"Calibri",sans-serif'>Antoine Girard (L2S, CNRS, France)</span> <br><span style='font-family:"Calibri",sans-serif'>Thomas Heinz (Robert Bosch GmbH, Germany)</span> <br><span style='font-family:"Calibri",sans-serif'>Hui Kong (Institute of Science and Technology Austria, Austria)</span> <br><span style='font-family:"Calibri",sans-serif'>Oleksandr Letychevskyi (Glushkov Institute of Cybernetics, Ukraine)</span> <br><span style='font-family:"Calibri",sans-serif'>Nikolaj Nikitchenko (Kyiv National Taras Shevchenko University, Ukraine)</span> <br><span style='font-family:"Calibri",sans-serif'>Maria Prandini (Politecnico di Milano, Italy)</span> <br><span style='font-family:"Calibri",sans-serif'>Stefan Ratschan (Academy of Sciences, Czech Republic)</span> <br><span style='font-family:"Calibri",sans-serif'>Rajarshi Ray (National Institute of Technology Meghalaya, India)</span> <br><span style='font-family:"Calibri",sans-serif'>Stavros Tripakis (Aalto University, Finland, and UC Berkeley, USA)</span> <br><span style='font-family:"Calibri",sans-serif'>Vladimir Ulyantsev (ITMO University, Russia)</span> <br><span style='font-family:"Calibri",sans-serif'>Edmund Widl (Austrian Institute of Technology, Austria)</span> <br><span style='font-family:"Calibri",sans-serif'>Paolo Zuliani (University of Newcastle, UK)</span> <o:p></o:p></p></div></body></html>