[TYPES/announce] Call for participation -- NSV 2016 (collocated with CAV)

[Sergiy Bogomolov]

CALL FOR PARTICIPATION 

NSV 2016 
========= 

9th  International Workshop on Numerical Software Verification 
July 17-18, 2016 
CAV 2016 
Toronto, Ontario, Canada 

Web Page: http://nsv2016.pages.ist.ac.at/ 

Topics 
======= 

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

- Quantitative and qualitative analysis of hybrid systems 
- Models and abstraction techniques 
- Optimal control of dynamical systems 
- Parameter identification for hybrid systems 
- Numerical optimization methods 
- Hybrid systems verification 
- Applications of hybrid systems to systems biology 
- Propagation of uncertainties, deterministic and probabilistic models 
- Specifications of correctness for numerical programs 
- Formal specification and verification of numerical programs 
- Quality of finite precision implementations 
- Numerical properties of control software 
- Validation for space, avionics, automotive and real-time applications 
- Validation for scientific computing programs 

Registration 
=========================== 
Please use the CAV registration system:
http://i-cav.org/2016/travel-and-registration/ 

Program 
=========================== 

Day 1 (Sunday, July 17) 

Session 1 - Hybrid Systems Verification 
09:00 - 10:00 Alessandro Abate. Verification of smart energy systems 
on the cloud (Invited talk) 
10:00 - 10:30 Alexandre Chapoutot and Julien Alexandre Dit Sandretto. 
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno 
Phenomenon 

Session 2 - Abstract State Spaces 
11:00 - 12:00 Yassamine Seladji. Reduce the Complexity of the 
Polyhedron Minimization Using the Max Plus Pruning Method (Invited talk) 
12:00 - 12:30 Assale Adje. Proving properties on PWA Systems using 
Copositive and Semidefinite Programming 

Session 3 - Numerical Codes 
02:00 - 03-00 Behzad Samadi. Model Based Automatic Code Generation for
Nonlinear Model Predictive Control (Invited talk)

03:00 - 03:30 Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu,
Alexander Sanchez-Stern, chary Tatlock. Toward a Standard Benchmark Format
and Suite for Floating-Point Analysis

Session 4 - Applications 
04:00 - 05:00 Eric Feron - Credible autocoding of convex optimization
algorithms (Invited talk) 

 

Day 2 (Monday, July 18) 

Session 1 - System Modelling 
09:00 - 10:00 Cesare Tinelli. A Mode-aware Contract Language for 
Reactive Systems (Invited talk) 
10:00 - 10:30 Sidi Mohamed Beillahi, Umair Siddique and Sofiene Tahar.
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory

Session 2 - Numerical Verification 
11:00 - 12:00 Thomas Heinz. Falsification of dynamical systems - an 
industrial perspective (Invited talk) 
12:00 - 12:30 Sylvie Boldo. Computing a correct and tight rounding 
error bound using rounding-to-nearest 

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