[logic-ml] Deadline extended to Feb 23: MT-CPS 2020

[Kohei SUENAGA]

皆様，
（重複してお受け取りの場合はご容赦ください．）

末永です．

MT-CPS 2020 の投稿締め切りが 2 月 23 日まで
延長されましたのでお知らせします．
サイバーフィジカルシステムのテストやモニタリングを中心とした
トピックを扱う CPS-IoT Week 2020 併設のワークショップです．
どうぞ投稿をご検討ください．

末永

==========================================================================
5th Workshop on Monitoring and Testing of Cyber-Physical Systems
(MT-CPS 2020)
https://sites.google.com/view/mt-cps2020/homePart of CPS-IoT Week 2020
https://www.cse.unsw.edu.au/~cpsiot/cpsweek2020/April 21, 2020 -
Sydney, Australia
==========================================================================UPDATE:Deadline
extended to February 23rd, 2020.* DescriptionCyber-physical systems
(CPS) model the integration of computational
modules, like decision logic, with physical phenomena in the
environment, such as the phenomenon being controlled by the
logic. Several CPS applications, such as self-driving cars and other
autonomous ground/aerial/underwater vehicles, medical devices,
surgical robots, as well as many Internet of Things (IoT)
applications, particularly for Industrial IoT or Industry 4.0, are
safety-critical, where human lives can be at stake. CPS exhibit
complex and unpredictable behaviors, thus making their correctness and
robustness analysis a challenging task. Given the gap between the
complexity of such systems and the scalability of current formal
methods, exhaustive formal verification remains an elusive
goal. However, simulation-based lightweight verification techniques,
such as monitoring and testing, achieve both rigor and efficiency by
enabling the evaluation of systems according to the properties of
their exemplar behaviors. The Workshop on Monitoring and Testing of
Cyber-Physical Systems (MT-CPS) aims to bring together researchers and
practitioners interested in the problems of detecting, testing,
measuring, and extracting qualitative and quantitative properties from
individual behaviors of CPS.* Topics of interest include (but are not
limited to):- Specification languages for monitoring and testing
- Runtime verification and monitoring of CPS
- Model/Software/Hardware/Processor-in-the-loop (MIL/SIL/HIL/PIL) testing
- Testing the integration of heterogeneous components
- Monitoring and testing of streaming and/or historical IoT data
- Interpretation of multi-dimensional counter-examples
- Black-box and white-box testing
- Measuring and statistical information gathering for data-driven analyses
- Simulation-based verification and parameter synthesis
- Fault diagnostics, localization, and recovery
- Combination of static and dynamic analysis
- Applications and case studies from safety-critical domains* Workshop
formatMT-CPS is intended to be a forum for exchanging the latest
scientific
activity and emerging trends between researchers and practitioners. We
encourage submission of abstracts that address any of the
aforementioned topics of interest and cover recently published or work
in progress. In addition to the contributed material, the workshop
will include a combination of invited talks from leading researchers
and/or practitioners from industry, academia, and government research
labs around the world.The workshop is intended to be an informal
gathering about latest
results and, as such, it will not have formal proceedings. However, we
will make accepted abstracts and presentation material publicly
available.Abstracts are submitted via Easychair:
https://easychair.org/conferences/?conf=mtcps2020* Submission
instructionsAbstracts 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. If you are interested in
demonstrating a technology you are working on at the workshop, please
indicate so in your abstract submission.Abstracts will be reviewed by
the Program Committee. Those that are
selected for oral presentations will be posted on the workshop
website, and will be part of the papers distributed to CPS-IoT Week
participants.* Important DatesAbstract submission deadline: February
23, 2020 <-- extended!
Notification: March 8, 2020
Final version: March 29, 2020
Workshop: April 21, 2020* Committee- Program Chairs
Paolo Arcaini, National Institute of Informatics
Kohei Suenaga, Kyoto University- Program Committee
Houssam Abbas, Oregon State University
Shaukat Ali, Simula Research Laboratory
Ezio Bartocci, Vienna University of Technology
Thao Dang, Verimag
Jyotirmoy Deshmukh, University of Southern California
Alexandre Donzé, Decyphir
Georgios Fainekos, Arizona State University
Ichiro Hasuo, National Institute of Informatics
Bardh Hoxha, Souther Illinois University
Baekgyu Kim, Toyota InfoTechnology Center
Konstantinos Mamouras, Rice University
Mohammad Mousavi, University of Leicester
Jens Oehlerking, Robert Bosch GmbH
Akshay Rajhans, MathWorks
Kristin Yvonne Rozier, Iowa State University
Oleg Sokolsky, University of Pennsylvania- Steering Committee
Houssam Abbas, Oregon State University
Ezio Bartocci, Vienna University of Technology
Jyotirmoy Deshmukh, University of Southern California
Georgios Fainekos, Arizona State University
Sajed Miremadi, Volvo Cars
Dejan Nickovic, AIT Austrian Institute of Technology
Jens Oehlerking, Bosch


-- 
Kohei Suenaga (末永幸平), Ph.D
Associate professor (准教授)
Graduate School of Informatics, Kyoto University
(京都大学情報学研究科)
ksuenaga at gmail.com
http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/