SNR 2018 – The 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis, affiliated with ETAPS 2018

Program

Date: Friday 20 April 2018

Location: Room Alexandros I, Makedonia Palace, Thessaloniki

ETAPS Workshop Program List

The 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’18) will take place in Thessaloniki, Greece as a satellite event of ETAPS’18.

Call for Papers (plain text)

We are seeking sponsors for SNR 2018. If you are interested to sponsor this workshop, please contact Taylor and Martin, the Co-Chairs.

Scope

Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and synthesis problems for hybrid systems.

There are several successful methods for hybrid systems reachability analysis. Some methods explicitly construct flow-pipes that over-approximate the set of reachable states over time, where efficient computation of such over-approximations requires symbolic representations such as support functions. Other methods based on satisfiability checking technologies, symbolically encode reachability properties as logical formulas, while solving such formulas requires numerically-driven decision procedures. Last but not least, also automated deduction and the usage of theorem provers led to efficient analysis approaches. The goal of this workshop is to bring together researchers working with different reachability analysis techniques and to seek for synergies between the different approaches.

Topics

The SNR workshop solicits papers broadly in the area of analysis and synthesis of continuous and hybrid systems. The scope of the workshop includes, but is not restricted to, the following topics with application to continuous and hybrid systems:

• Reachability analysis
• Flow-pipe construction; symbolic state set representations
• Logical frameworks for reasoning
• Bounded model checking
• Automated deduction
• Invariant generation
• Symbolic execution
• Trajectory generation; counterexample computation
• Abstraction techniques
• Reliable integration
• Simulation
• Reachability analysis for planning and synthesis
• Domain-specific approaches in biology, robotics, etc.
• Stochastic hybrid systems
• Probabilistic hybrid systems

Invited Talks

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.
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.

Call for Papers

The call for papers (ASCII) can be downloaded here.

Important Dates

Committee

PC chairs:
gate io (Vanderbilt University, USA)
Martin Fränzle (University of Oldenburg, Germany)

Publicity chair:
Przemysław Daca (Institute of Science and Technology Austria, Austria)

PC members (tentative):
Erika Ábrahám (RWTH Aachen, Germany)
Matthias Althoff (TUM, Germany)
Ezio Bartocci (TU Vienna, Austria)
Stanley Bak (Air Force Research Laboratory, OH, USA)
Sergiy Bogomolov (Australian National University, Australia)
Jyotirmoy V. Deshmukh (University of Southern California, CA, USA)
Parasara Sridhar Duggirala (University of Connecticut, CT, USA)
Sicun Gao (University of California San Diego, CA, USA)
Martin Fränzle (University of Oldenburg, Germany)
Goran Frehse (Verimag, France)
Ian Mitchell (University of British Columbia, Canada)
Sayan Mitra (University of Illinois at Urbana-Champaign, IL, USA)
Nikolaj Nikitchenko (Kyiv National Taras Shevchenko University, Ukraine)
Jens Oehlerking (Robert Bosch GmbH, Germany)
Corina Pasareanu (NASA Ames Research Center, CA, USA)
Pavithra Prabhakar (Kansas State University, KS, USA)
Rajarshi Ray (National Institute of Technology Meghalaya, India)
Stefan Ratschan (Academy of Sciences, Czech Republic)
Ashish Tiwari (SRI, CA, USA)
Stavros Tripakis (Aalto University, Finland)
Naijun Zhan (Chinese Academy of Sciences, Beijing, PRC)
Paolo Zuliani (University of Newcastle, UK)

Steering Committee:
Erika Abraham Sergiy Bogomolov Ashish Tiwari

Sponsors

We are seeking sponsors, please contact Taylor and Martin, the Co-Chairs, if you have resources to help support this workshop!

Previous Workshops

3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’17), affiliated with ETAPS 2017

2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), affiliated with CPSWeek’16
1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’15), affiliated with CAV’15