[TYPES/announce] MT-CPS Call for Abstracts (Vienna, April 11 2016)

Ichiro Hasuo ichiro at is.s.u-tokyo.ac.jp
Tue Jan 5 09:52:15 EST 2016

[Apologies for Multiple Copies]

Call for Abstracts

1st Workshop on Monitoring and Testing of Cyber-Physical Systems
Part of CPS Week 2016
11 April 2016, Vienna, Austria

Cyber-physical systems (CPS) are integrations of heterogeneous
collaborative entities that interact between themselves and with their
physical environment. CPS exhibit complex and unpredictable behaviors,
thus making their correctness and robustness analysis a challenging
task. In order to address their full complexity, there is an emergent
need for formal, yet efficient and scalable methods for the
verification and analysis of CPS. Light-weight verification
techniques, such as monitoring and testing, achieve both rigour and
efficiency by enabling the evaluation of systems according to the
properties of their individual behaviours. The MT CPS workshop aims at
bringing together researchers and practitioners interested in the
problems of detecting, testing, measuring and extracting qualitative
and quantitative properties from CPS behaviors. Topics of interest
include (but are not limited to):

 - Specification languages for monitoring and testing
 - Runtime verification and monitoring
 - Black-box and white-box testing
 - Measuring and statistical information gathering
 - Simulation-based verification and parameter synthesis
 - Diagnostics, error localization and repair
 - Combination of static and dynamic analysis
 - Applications and case studies

Workshop Format
MT CPS workshop is intended to be a forum for exchanging the latest
scientific trends between researchers and practitioners interested in
the field of light-weight verification and analysis of CPS. As a
consequence, the workshop will NOT have formal proceedings. We
encourage submission of abstracts that address any of the
aforementioned topics of interest and cover recently published results
as well as the work in progress.

Important Dates
Abstract submission deadline: February 14, 2016
Notification: March 5, 2016
Early registration: March 10, 2016
Workshop: April 11, 2016

Submission instructions
Abstracts are submitted via
https://easychair.org/conferences/?conf=mtcps2016. Abstracts should be
in PDF form, up to 2 pages in length with 1-inch margins and at least
10-point font size, and may contain up to two figures. Abstracts
should list the full names, affiliations, and contact information of
all authors, and the submission should indicate whether the abstract
will be presented as a poster, orally, or both. Abstracts will be
reviewed by the Program Committee. Those that are selected for oral
and poster presentations will be distributed to workshop participants
and posted on the workshop website.

Program Chairs
Radu Grosu, Vienna University of Technology, Austria
Oded Maler, VERIMAG, France
Dejan Nickovic, AIT Austrian Institute of Technology GmbH, Austria

Program Committee
Xavier Avon, EASii-IC, France
Ezio Bartocci, Vienna University of Technology, Austria
Sergiy Bogomolov, IST Austria, Austria
Harald Brandl, AVL List GmbH, Austria
Thao Dang, VERIMAG, France
Jyotirmoy Deshmukh, Toyota Technical Center, USA
Alexandre Donzé, UC Berkeley, USA
Georgios Fainekos, Arizona State University, USA
Thomas Ferrère, Mentor Graphics, France
Christoph Grimm, Kaiserslautern University of Technology, Germany
Radu Grosu, Vienna University of Technology, Austria
Ichiro Hasuo, University of Tokyo, Japan
Thomas Klotz, Bosch Sensortec GmbH, Germany
Scott Little, Intel, USA
Oded Maler, VERIMAG, France
Thang Nguyen, Infineon Technologies AG, Austria
Dejan Nickovic, AIT Austrian Institute of Technology GmbH, Austria
Sriram Sankaranarayanan, University of Colorado at Boulder, USA

More information about the Types-announce mailing list