<html><body><div style="font-family: arial, helvetica, sans-serif; font-size: 12pt; color: #000000"><div><div><span style="caret-color: #000000; color: #000000; font-family: helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; background-color: #fafafa; text-decoration: none; display: inline !important; float: none;" data-mce-style="caret-color: #000000; color: #000000; font-family: helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; background-color: #fafafa; text-decoration: none; display: inline !important; float: none;">[ Apologies for cross posting ]</span><div style="clear: both;" data-mce-style="clear: both;"><br data-mce-bogus="1"></div></div><div><br data-mce-bogus="1"></div><div>CALL FOR PAPERS SNR’20</div><div>Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT </div><div>http://www.cs.cas.cz/snr2020/</div><div>Co-organized with QONFEST’20</div><div>Monday August 31, 2020</div><div><br></div><div>** Given the COVID-19 situation, SNR’20 will be conducted virtually **</div><div><br></div><div><br></div><div>The workshop on Symbolic-Numeric methods for Reasoning about CPS and</div><div>IoT (SNR) focuses on the combination of symbolic and numeric methods</div><div>for reasoning about Cyber-Physical Systems and the Internet of Things</div><div>to facilitate model identification, specification, verification, and</div><div>control synthesis problems for these systems. The synergy between</div><div>symbolic and numerical approaches is fruitful for two main reasons:</div><div><br></div><div>• Symbolic methods that operate on exact and discrete representations</div><div> of systems, the set of reachable states, the distribution of model</div><div> parameters or the possible gains for controller parameters.</div><div><br></div><div>• Numeric methods that operate on various forms of numerical</div><div> approximations and continuous transformations of the systems, as</div><div> developed in the area of continuous dynamical systems and control</div><div> theory.</div><div><br></div><div>Such synergies are already seen in areas such as reachability analysis</div><div>(symbolic representation of reachable states versus numerical</div><div>integration), uncertainty reasoning (eg., Rao-Blackwellization),</div><div>machine learning (eg., learning models through stochastic gradient</div><div>descent versus symbolic reasoning over the function represented by the</div><div>network to prove properties) and decision procedures (eg., symbolic</div><div>SAT solvers versus numerical convex optimisation solvers).</div><div><br></div><div>===============</div><div>Topics of Interest</div><div><br></div><div>The SNR workshop aims to catalyse work on the interface of symbolic</div><div>and numeric methods for verification, synthesis and identification</div><div>problems for CPS and IoT. The scope of the workshop includes, but is</div><div>not restricted to, the following topics:</div><div><br></div><div>• Verification, parameter identification and control synthesis for</div><div> hybrid systems</div><div>• Probabilistic inference and reachability for stochastic hybrid</div><div> systems</div><div>• Symbolic and numerical integration and decision techniques</div><div>• Emerging applications to safe autonomous systems in uncertain</div><div> environments </div><div>• Resiliency and dependability in CPS and IoT</div><div><br></div><div>We particularly encourage submissions of papers in the following two</div><div>specific areas:</div><div><br></div><div>• Verification of models used in machine learning and autonomous CPS</div><div>• Symbolic and numerical techniques for verification and synthesis of</div><div> stochastic models</div><div><br></div><div>===============</div><div>Submission Information</div><div><br></div><div>The workshop solicits</div><div><br></div><div>• long research papers (not exceeding 15 pages excluding references),</div><div>• short research papers (not exceeding 6 pages excluding references),</div><div> and </div><div>• work-in-progress papers (not exceeding 6 pages excluding references).</div><div><br></div><div>Research papers must present original unpublished work which is not</div><div>submitted elsewhere. In order to foster the exchange of ideas, we also</div><div>encourage work-in-progress papers, which present recent or on-going</div><div>work. The papers should be written in English and formatted according</div><div>to the EPTCS guidelines.</div><div><br></div><div>Papers can be submitted using the EasyChair system</div><div>https://easychair.org/conferences/?conf=snr2020.</div><div><br></div><div>All submissions will undergo a peer-reviewing process. Accepted</div><div>research papers will be presented at the workshop and published in the</div><div>Electronic Proceedings in Theoretical Computer Science</div><div>(EPTCS). Accepted work-in-progress papers will be presented at the</div><div>workshop but will not be included in the proceedings.</div><div><br></div><div>===============</div><div>Important Dates</div><div><br></div><div>Submission deadline: 15 June 2020 </div><div>Notification: 15 July 2020</div><div>Final version: 30 July 2020</div><div>Workshop: 31 August 2020</div><div><br></div><div><br data-mce-bogus="1"></div><div><div style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" data-mce-style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;">===============</div><div style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" data-mce-style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;">Invited Talks</div><div style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" data-mce-style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;"><br></div><div style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" data-mce-style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;">Invited Industrial Talk:</div><div style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" data-mce-style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;"> Hermann Schichl </div><div style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" data-mce-style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;"> DAGOPT (www.dagopt.com)</div><div style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" data-mce-style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;"> University of Vienna</div><div style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" data-mce-style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;"><br></div><div style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" data-mce-style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;">Invited Tutorial:</div><div style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" data-mce-style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;"> Alberto Griggio</div><div style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" data-mce-style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;"> Fondazione Bruno Kessler</div><div style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" data-mce-style="caret-color: #000000; color: #000000; font-family: arial, helvetica, sans-serif; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;"><br data-mce-bogus="1"></div></div><div>===============</div><div>Program Committee</div><div><br></div><div>• Thao Dang (co-chair, CNRS/VERIMAG,France)</div><div>• Stefan Ratschan (co-chair, Academy of Sciences of the Czech Republic)</div><div>• Naijun Zhan (Institute of Software, Chinese Academy of Sciences)</div><div>• Sergiy Bogomolov (Newcastle University, United Kingdom)</div><div>• Taylor T. Johnson (Vanderbilt University, U.S.A.)</div><div>• Martin Fränzle (Carl von Ossietzky Universität Oldenburg, Germany)</div><div>• Indranil Saha (Indian Institute of Technology Kanpur)</div><div>• Milan Češka (Brno University of Technology, Czech Republic)</div><div>• Goran Frehse (ENSTA Paris, France)</div><div>• Sofie Haesaert (Eindhoven University of Technology, The Netherlands)</div><div>• Jens Oehlerking (Robert Bosch GmbH, Germany)</div><div>• Erika Ábrahám (RWTH Aachen University, Germany)</div><div><br></div><div>===============</div><div>Past Versions of the Workshop</div><div><br></div><div>This workshop would be the continuation of SNR held with the following</div><div>conferences in the past:</div><div><br></div><div>• CPS-IoT Week 2019 [SNR’19] (organizers Sriram Sankaranarayanan and</div><div> Sadegh Soudjani)</div><div>• ETAPS2018 [SNR’18] (organizers Taylor T. Johnson and Martin Fränzle)</div><div>• ETAPS2017 [SNR’17] (organizers Erika Abraham and Sergiy Bogomolov)</div><div>• CPSWeek2016 [SNR’16] (organizers Erika Abraham and Sergiy Bogomolov) </div><div>• CAV2015 [SNR’15] (organizers Sergiy Bogomolov and Ashish Tiwari)</div></div></div></body></html>