[TYPES/announce] CfP: DEADLINE EXTENSION for 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (ETAPS 2017)

Sergiy Bogomolov bogom.s at gmail.com
Sat Feb 4 04:39:34 EST 2017


CALL FOR PAPERS 

SNR 2017 -- DEADLINE EXTENSION UNTIL FEBRUARY 17 
======== 

3rd International Workshop on Symbolic and Numerical Methods for 
Reachability Analysis 

April 22, 2017, Uppsala, Sweden 
Affiliated with ETAPS 2017 

http://snr2017.pages.ist.ac.at/ 

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

Paper submission: February 17, 2017 
Notification: March 10, 2017 
Final version: March 24, 2017 
Workshop date: April 22, 2017 

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. 

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/probabilistic hybrid systems 

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 (http://style.eptcs.org/). 

Papers can be submitted using the EasyChair system: 
https://easychair.org/conferences/?conf=snr2017 
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, http://www.eptcs.org/). 

Accepted work-in-progress papers will be presented at the workshop but 
will not be included in the proceedings. 

Invited Speakers 
================ 

TBA 

Workshop Co-Chairs 
================== 

Erika Abraham (RWTH Aachen University, Germany) 
Sergiy Bogomolov (Australian National University, Australia) 

Publicity Chair 
=============== 

Przemyslaw Daca (Institute of Science and Technology Austria, Austria) 

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

Matthias Althoff (Technische Universitaet Muenchen, Germany) 
Stanley Bak (United States Air Force Research Lab, USA) 
Franck Cassez (Macquarie University, Australia) 
Xin Chen (University of Colorado at Boulder, USA) 
Thao Dang (CNRS/VERIMAG, France) 
Martin Fraenzle (University of Oldenburg, Germany) 
Goran Frehse (Verimag, France) 
Antoine Girard (L2S, CNRS, France) 
Thomas Heinz (Robert Bosch GmbH, Germany) 
Hui Kong (Institute of Science and Technology Austria, Austria) 
Oleksandr Letychevskyi (Glushkov Institute of Cybernetics, Ukraine) 
Nikolaj Nikitchenko (Kyiv National Taras Shevchenko University, Ukraine) 
Maria Prandini (Politecnico di Milano, Italy) 
Stefan Ratschan (Academy of Sciences, Czech Republic) 
Rajarshi Ray (National Institute of Technology Meghalaya, India) 
Stavros Tripakis (Aalto University, Finland, and UC Berkeley, USA) 
Vladimir Ulyantsev (ITMO University, Russia) 
Edmund Widl (Austrian Institute of Technology, Austria) 
Paolo Zuliani (University of Newcastle, UK)" 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170204/c5fbe5a9/attachment.html>


More information about the Types-announce mailing list