Logic-ml April 2020

logic-ml@fos.kuis.kyoto-u.ac.jp

2 participants
2 discussions

Call for Virtual Participation: 5th Workshop On Monitoring And Testing Of Cyber-Physical Systems (MT-CPS 2020)
by Kohei SUENAGA 04 Apr '20

04 Apr '20

皆様，（複数お受け取りの場合はご容赦ください．）末永です． 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(a)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(a)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!

1 0

教員公募：大阪府立大学教育拠点形成教員
by Masaru KADA 04 Apr '20

04 Apr '20

logic-ml のみなさま：大阪府立大学嘉田勝です。大阪府立大学では、数学教員を公募しています。応募期限は2020年5月25日(月)必着、着任予定は2020年9月1日です。年度ごとに契約更新で最長10年更新可能（非テニュアトラック）。個人研究室が確保され、研究活動も十分可能です。適任者をご存じの場合は応募をおすすめくださるよう、お願い申し上げます。嘉田勝 ------------------------------------------------------------------------------------ 関係者各位大阪府立大学高等教育推進機構では、数学教員(教育拠点形成教員)の公募を行っております。周辺の皆様にお知らせいただくとともに、適任者をご存知の場合は応募をお勧めくださいますようお願い申し上げます。詳細は下記URLの「高等教育推進機構　教育拠点形成教員」(2020.04.01公開)の情報 http://www.osakafu-u.ac.jp/public_notice/rec2020/ あるいは、JREC-INの掲載情報(2020.04.04公開) https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D120040161&ln_jor=0 をご覧ください。応募期限は、2020年5月25日(月)必着となっております。よろしくお願いいたします。大阪府立大学高等教育推進機構　数学分野主任　川添　充 ------------------------------------------------------------------------------------ -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml April 2020