[TYPES/announce] SNR'17 @ ETAPS -- Call for participation

[Sergiy Bogomolov]

CALL FOR PARTICIPATION 

SNR 2017 
======== 

3nd 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/ 

Topics 
===== 

The scope of the workshop includes, but is not restricted to, the 
following topics: 

* 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 

 

Registration 
========== 

http://www.etaps.org/index.php/2017/registration 

Invited talks 
============ 

Christoph Grimm (Technische Universität Kaiserslautern, Germany) 
Towards Verification of Uncertain Cyber-Physical Systems 

Edward A. Lee (University of California at Berkeley, USA) 
Fundamental Limits of Cyber-Physical and Hybrid System Modeling 

Program 
======== 

9:00-10:00 Session 1: Uncertainty (chair: Sergiy Bogomolov) 

9:00-10:00 Invited talk 
Christoph Grimm. 
Towards Verification of Uncertain Cyber-Physical Systems 

10:00-10:30 Coffee break 

10:30-12:30 Session 2: Synthesis and Analysis (chair: Walid Taha) 

10:30-11:00 
Adrien Le Coënt, Florian De Vuyst, Ludovic Chamoin and Laurent Fribourg. 
Guaranteed Control Synthesis of Nonlinear Switched Systems using Euler
Method 

11:00-11:30 
Anna Lukina, Josef Widder and Radu Grosu. 
Synthesis of Optimal Plans for Process Synchronization in the Presence of
Faults 

11:30-12:00 
Benoît Desrochers and Luc Jaulin. 
Minkowski Operation of Sets with Application to Robot Localization 

12:00-12:30 
Ievgen Ivanov. 
On the Underapproximation of Reach Sets of Abstract Continuous-time Systems 

12:30-14:00 Lunch break 

14:00-15:30 Session 3: Modelling (chair: Erika Abraham) 

14:00-15:00 Invited talk 
Edward A. Lee. 
Fundamental Limits of Cyber-Physical and Hybrid System Modeling 

15:00-15:30 
Yingfu Zeng, Ferenc Agoston Bartha and Walid Taha. 
Compile-Time Extensions to Hybrid ODEs 

15:30-16:00 Coffee break 

16:00-17:30 Session 4: Tools (chair: Eugenio Moggi) 

16:00-16:30 
Nathan Fulton. 
Reachability Analysis in the KeYmaera X Theorem Prover 

16:30-17:00 
Stefan Schupp. 
HyPro: A C++ Library for State Set Representations for Hybrid Systems
Reachability Analysis 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170502/65500fbb/attachment-0001.html>