[logic-ml] Call for Virtual Participation: 5th Workshop On Monitoring And Testing Of Cyber-Physical Systems (MT-CPS 2020)

[Kohei SUENAGA]

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

末永です．

4月末にシドニーで開催予定であった cyber-physical systems と IoT に
関する会議 CPS-IoT Week がバーチャル開催となったことにより，
モニタリングとテストに関する併設ワークショップの MT-CPS も
バーチャル開催となりました．

Talk の動画が4月13日にアップロードされて，
参加者があらかじめそれを視聴した上で，
April 21 at 14:00 UTC に invited talk，
April 22 at 13:30 UTC に live の Q&A セッションをやります．

参加費無料，要登録です．どうぞ参加をご検討ください．

末永

--------------------------------------------------------------------------------------------
Call for Participation

5th Workshop on Monitoring And Testing Of Cyber-Physical Systems
MT-CPS 2020
April 13-22, 2020 - virtual
https://sites.google.com/view/mt-cps2020/

Due to the COVID-19 pandemic, the workshop will be held in an entirely
virtual format.

In order to virtually attend the workshop, you need to register by
sending an email to mtcps2020 at easychair.org with your name,
affiliation, and email address.
Note that there is no registration fee!
--------------------------------------------------------------------------------------------

--- Workshop schedule ---

The workshop will be held as follows:
- Starting from April 13, videos of the talks will be made available
to registered workshop attendees. Attendees will be able to ask
questions and authors to answer in a dedicated forum.
- On April 21 at 14:00 UTC, we will have a live keynote speech by
Sanjit A. Seshia.
- On April 22 at 13:30 UTC, we will have a live Q&A session with all
the authors. Authors will have the opportunity to further elaborate
their answers to the questions received in the forum of their paper,
and attendees to ask new questions.


--- Organizational matters ---

For the live keynote speech and the live Q&A session, workshop
attendees and authors will receive an invitation to a Zoom room.
Please install Zoom in advance: https://zoom.us/download#room_client .

Please check carefully the corresponding time in your time zone:
https://sites.google.com/view/mt-cps2020/#h.p_DjijVUkseWJz

--------------------------------------------------------------------------------------------

--- Workshop program ---

April 21, 2020 at 14:00 UTC
Live keynote talk by Sanjit A. Seshia, University of California, Berkeley

April 13-22, 2020 online
Videos of the talks will be made available to registered workshop
attendees on an online platform.
The following papers have been accepted for the workshop:
- Shaukat Ali and Tao Yue. Handling Uncertainties in Cyber-Physical
Systems during Their Operations with Digital Twins
- Johan Lidén Eddeland, Knut Åkesson, and Sajed Miremadi.
Specification Transformation for Applying Temporal Logic-Based
Falsification to Industrial Models
- Bernd Finkbeiner, Jessica Schmidt, and Maximilian Schwenger. Simplex
Architecture Meets RTLola
- Colin Shea-Blymyer and Houssam Abbas. A Deontic Logic Analysis of
Autonomous Systems’ Safety
- Kotaro Tanabe, Yoshinori Tanabe, and Masami Hagiya. Speedup of
Model-Based Testing for IoT Software Using Virtual Time and State
Distribution of Devices
- Masaki Waga, Étienne André, and Ichiro Hasuo. Symbolic Monitoring
Against Specifications Parametric in Time and Data
- Xiao-Yi Zhang and Fuyuki Ishikawa. Identifying Hazard-causing
Components for Automotive Driving Systems

--------------------------------------------------------------------------------------------

--- Registration ---

- Send an email to mtcps2020 at easychair.org with your name,
affiliation, and email address. Please register each attendee, even if
you plan to watch the videos of the talks together with your
colleagues and/or students (you can also send us an email with a batch
registration of multiple people).
- No registration fee!