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

末永です．

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 [email protected] 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 [email protected] 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!