The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
Welcome to the home page of the 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR). SNR'21 will collocate with QONFEST'21 in Paris, France, on 23rd August 2021.
The workshop 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:
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 optimization solvers).
We are happy to announce the program of the Workshop SNR’2021, which will be held on August 23 as part of QONFEST (https://qonfest2021.lacl.fr).
14:00 – 14:45 Stanley Bak (Invited talk)
Time is Paris time (Central European Summertime).
Topics of Interest
The SNR workshop aims to catalyze 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:
3rd Int. Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’17), affiliated with ETAPS'17.