CALL FOR PARTICIPATION ************** SNR 2015 **************
1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, July 19th, 2015, affiliated with CAV 2015 San Francisco, CA, USA Web Page: http://snrworkshop.github.io Topics =============== The SNR workshop solicits papers broadly in the area of verification and synthesis of continuous and hybrid systems. One of the aims is to catalyze work on the interface of symbolic and numerical methods for the reachability analysis. The scope of the workshop includes, but is not restricted to, the following topics: - Flow-pipe construction - Representation of symbolic regions within reachability algorithm - Abstraction techniques for hybrid systems and numerical programs - Symbolic trajectory generation - Decision procedures over real numbers - Reliable integration - Logics to reason about hybrid systems - Reachability analysis for planning and synthesis - Domain specific approaches in biology, robotics, etc Registration =========================== http://i-cav.org/2015/travel/ (Early registration deadline is June 10, 2015) Invited talk =========================== Sriram Sankaranarayanan (University of Colorado Boulder, USA). Symbolic-Numeric Reachability Analysis of Hybrid Systems Accepted papers =========================== Yang Gao and Martin Fränzle. Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain Fedor Shmarov and Paolo Zuliani. ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems Ian M. Mitchell. Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels Stanley Bak, Sergiy Bogomolov and Taylor T Johnson. HYST: A Source-to-Source Transformation Framework for Hybrid Automata Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo. Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis Pavithra Prabhakar and Miriam García Soto. An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary Chairs ========== Sergiy Bogomolov (IST Austria, Austria) Ashish Tiwari (SRI, USA) Program Committee ========== Matthias Althoff (TUM, Germany) Parasara Sridhar Duggirala (University of Illinois at Urbana Champaign, USA) Martin Fränzle (University of Oldenburg, Germany) Goran Frehse (Verimag, France) Sean Gao (Massachusetts Institute of Technology, USA) Daniele Magazzeni (King's College, UK) Sayan Mitra (University of Illinois at Urbana Champaign, USA) Erion Plaku (CUA, USA) Stefan Ratschan (Academy of Sciences, Czech Republic) Stavros Tripakis (Aalto University, Finnland) Paolo Zuliani (University of Newcastle, UK) ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
