SNR 2020

Submission timeline

• 28 Jun 2020 Full paper 15 Jun 2020 → 28 Jun 2020 +13 days
• 31 Jul 2020 Notification 15 Jul 2020 → 31 Jul 2020 +16 days

• 31 Aug 2020 Conference opens

What to submit

Format

15 pages EPTCS + references (long) / 6 pages (short, work-in-progress)

Proceedings

EPTCS — Free access

co-located with CPS-IoT Week.

Call for papers

• After a deadline extension SNR-2020-extended.txt · TXT · shown below
• As first published SNR-2020.txt · TXT
• As first published SNR-2020.pdf · PDF

Posters, images and calls for participation are kept for the record but not reproduced here.

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at www.cs.cas.cz/snr2020/.

CALL FOR PAPERS SNR’20 
Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT 
[ http://www.cs.cas.cz/snr2020/ | http://www.cs.cas.cz/snr2020/ ] 
Co-organized with QONFEST’20 
Monday August 31, 2020 

** Given the COVID-19 situation, SNR’20 will be conducted virtually ** 


The workshop on Symbolic-Numeric methods for Reasoning about CPS and 
IoT (SNR) focuses on the combination of symbolic and numeric methods 
for reasoning about Cyber-Physical Systems and the Internet of Things 
to facilitate model identification, specification, verification, and 
control synthesis problems for these systems. The synergy between 
symbolic and numerical approaches is fruitful for two main reasons: 

• Symbolic methods that operate on exact and discrete representations 
of systems, the set of reachable states, the distribution of model 
parameters or the possible gains for controller parameters. 

• Numeric methods that operate on various forms of numerical 
approximations and continuous transformations of the systems, as 
developed in the area of continuous dynamical systems and control 
theory. 

Such synergies are already seen in areas such as reachability analysis 
(symbolic representation of reachable states versus numerical 
integration), uncertainty reasoning (eg., Rao-Blackwellization), 
machine learning (eg., learning models through stochastic gradient 
descent versus symbolic reasoning over the function represented by the 
network to prove properties) and decision procedures (eg., symbolic 
SAT solvers versus numerical convex optimisation solvers). 

=============== 
Topics of Interest 

The SNR workshop aims to catalyse work on the interface of symbolic 
and numeric methods for verification, synthesis and identification 
problems for CPS and IoT. The scope of the workshop includes, but is 
not restricted to, the following topics: 

• Verification, parameter identification and control synthesis for 
hybrid systems 
• Probabilistic inference and reachability for stochastic hybrid 
systems 
• Symbolic and numerical integration and decision techniques 
• Emerging applications to safe autonomous systems in uncertain 
environments 
• Resiliency and dependability in CPS and IoT 

We particularly encourage submissions of papers in the following two 
specific areas: 

• Verification of models used in machine learning and autonomous CPS 
• Symbolic and numerical techniques for verification and synthesis of 
stochastic models 

=============== 
Submission Information 

The workshop solicits 

• long research papers (not exceeding 15 pages excluding references), 
• short research papers (not exceeding 6 pages excluding references), 
and 
• work-in-progress papers (not exceeding 6 pages excluding references). 

Research papers must present original unpublished work which is not 
submitted elsewhere. In order to foster the exchange of ideas, we also 
encourage work-in-progress papers, which present recent or on-going 
work. The papers should be written in English and formatted according 
to the EPTCS guidelines. 

Papers can be submitted using the EasyChair system 
[ https://easychair.org/conferences/?conf=snr2020 | https://easychair.org/conferences/?conf=snr2020 ] . 

All submissions will undergo a peer-reviewing process. Accepted 
research papers will be presented at the workshop and published in the 
Electronic Proceedings in Theoretical Computer Science 
(EPTCS). Accepted work-in-progress papers will be presented at the 
workshop but will not be included in the proceedings. 

=============== 
Important Dates 

Submission deadline: 28 June 2020 
Notification: 31 July 2020 
Final version: 17 August 2020 
Workshop: 31 August 2020 

=============== 
Invited Talks 

Invited Industrial Talk: 
Hermann Schichl 
DAGOPT ( [ http://www.dagopt.com/ | www.dagopt.com ] ) 
University of Vienna 

Invited Tutorial: 
Alberto Griggio 
Fondazione Bruno Kessler 

=============== 
Program Committee 

• Thao Dang (co-chair, CNRS/VERIMAG,France) 
• Stefan Ratschan (co-chair, Academy of Sciences of the Czech Republic) 
• Naijun Zhan (Institute of Software, Chinese Academy of Sciences) 
• Sergiy Bogomolov (Newcastle University, United Kingdom) 
• Taylor T. Johnson (Vanderbilt University, U.S.A.) 
• Martin Fränzle (Carl von Ossietzky Universität Oldenburg, Germany) 
• Indranil Saha (Indian Institute of Technology Kanpur) 
• Milan Češka (Brno University of Technology, Czech Republic) 
• Goran Frehse (ENSTA Paris, France) 
• Sofie Haesaert (Eindhoven University of Technology, The Netherlands) 
• Jens Oehlerking (Robert Bosch GmbH, Germany) 
• Erika Ábrahám (RWTH Aachen University, Germany) 

=============== 
Past Versions of the Workshop 

This workshop would be the continuation of SNR held with the following 
conferences in the past: 

• CPS-IoT Week 2019 [SNR’19] (organizers Sriram Sankaranarayanan and 
Sadegh Soudjani) 
• ETAPS2018 [SNR’18] (organizers Taylor T. Johnson and Martin Fränzle) 
• ETAPS2017 [SNR’17] (organizers Erika Abraham and Sergiy Bogomolov) 
• CPSWeek2016 [SNR’16] (organizers Erika Abraham and Sergiy Bogomolov) 
• CAV2015 [SNR’15] (organizers Sergiy Bogomolov and Ashish Tiwari)