[TYPES/announce] Postdoc position at Kyoto University, Japan
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Sorry for cross posting.) We are currently looking for a postdoctoral researcher to work on the "CyPhAI: Formal Analysis and Design of AI-intensive Cyber-Physical Systems" project funded by JST in Kyoto, Japan. The successful candidate will be collaborating with us on establishing mathematically-solid methodologies to model, verify, test, monitor, and control a cyber-physical system in which AI plays a crucial role. This project involves working closely with a team in Tokyo led by Masako Kishida (NII) and a team in France led by Thao Dang (CNRS). The detail of the call can be found here: https://urldefense.com/v3/__https://www.kyoto-u.ac.jp/sites/default/files/acceptance_teacher/2023-02/20230208_0858_e-f67e82e5e49b6b9c49c3eaa70e2bf5a4.pdf__;!!IBzWLUs!QUeqOFxyvhc7vUCd7LIHTzOlABQ_46gYcaOkpZMuhj-QQX640MmDSOPIO21A6zJgJj_PvuWQBEY9pxWg43oNabB5iq8IlJ9uiv4BZgszbuEUkg$ The expected research topics include testing and verifying AI-CPS using machine learning [3,6,7], secure monitoring techniques using homomorphic encryption [5], application of model checking and program logics for AI-CPS [2,4], and interpretability of machine-learned components AI-CPS [1,8], among others. The initial contract will run until the end of March 2024, with the possibility of annual renewal at maximum until March 2026. We welcome researchers on topics not listed above. If you are interested in this position, please follow the link to the detailed call for applications provided below. If you have any questions, please don't hesitate to contact us! [1] Yuhki Hatakeyama, Hiroki Sakuma, Yoshinori Konishi, Kohei Suenaga: Visualizing Color-Wise Saliency of Black-Box Image Classification Models. ACCV (3) 2020: 189-205 [2] Kohei Suenaga, Takuya Ishizawa: Generalized Property-Directed Reachability for Hybrid Systems. VMCAI 2020: 293-313 [3] Junya Shijubo, Masaki Waga, Kohei Suenaga: Efficient Black-Box Checking via Model Checking with Strengthened Specifications. RV 2021: 100-120 [4] Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga: Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic. KR 2021: 411-421 [5] Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga: Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. CAV (1) 2022: 447-468 [6] Amit Gurung, Masaki Waga, Kohei Suenaga: Learning nonlinear hybrid automata from input-output time-series data. CoRR abs/2301.03915 (2023) [7] Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo: Dynamic Shielding for Reinforcement Learning in Black-Box Environments. ATVA 2022: 25-41 [8] Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga: BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models. CoRR abs/2210.17130 (2022) -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuen...@gmail.com https://urldefense.com/v3/__http://www.fos.kuis.kyoto-u.ac.jp/*ksuenaga/__;fg!!IBzWLUs!QUeqOFxyvhc7vUCd7LIHTzOlABQ_46gYcaOkpZMuhj-QQX640MmDSOPIO21A6zJgJj_PvuWQBEY9pxWg43oNabB5iq8IlJ9uiv4BZgsK9maEPQ$
[TYPES/announce] Deadline extended to Feb. 23: MT-CPS 2020
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 5th Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS 2020) https://sites.google.com/view/mt-cps2020/home Part of CPS-IoT Week 2020 https://www.cse.unsw.edu.au/~cpsiot/cpsweek2020/ April 21, 2020 - Sydney, Australia == UPDATE: Deadline extended to Feb. 23. * Description Cyber-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 format MT-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 instructions 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. 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 Dates Abstract 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, Vie
[TYPES/announce] APLAS 2012: Final Call for Posters and Demos
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for multiple copies.) 10th Asian Symposium on Programming Languages and Systems (APLAS 2012) December 11-13, 2012, Kyoto, Japan (Co-located with CPP 2012) http://aplas12.kuis.kyoto-u.ac.jp/ Call for Poster and Demos APLAS 2012 will include a poster and demo session during the conference. The poster session aims to give students and professionals an opportunity to present technical materials to the research community, and to get responses from other researchers in the field. This year, accepted posters will be presented in the main hall so that presenters have much opportunity of discussion during breaks. Standing by the poster on each break is not mandatory, though. * Scope Poster and demo contributions are sought in all areas of programming languages and systems, including the following topics: - semantics, logics, foundational theory; - design of languages and foundational calculi; - type systems; - compilers, interpreters, abstract machines; - program derivation and transformation; - program analysis, verification, model-checking, software security; - concurrency, constraints, domain-specific languages; - tools for programming, verification, implementation. * Format of Posters A space of A1 paper size (594 mm wide and 841 mm high) will be provided for each presentation. AC Power outlet of 100V will be also provided during the poster demo session. If you need more space and facilities, contact the poster chair (aplas2012-poster AT fos.kuis.kyoto-u.ac.jp). * Submission Each presenter should e-mail a 1-2 page abstract in PDF to the poster chair (Kohei Suenaga: aplas2012-poster AT fos.kuis.kyoto-u.ac.jp) by October 5th 2012. The abstract should include the title, author(s), affiliation(s) and summary of the work. The program of the poster session will be announced by October 29th, 2012. We hope to accommodate every poster, but may restrict presentations (based on relevance and interest to the community) due to space constraints. * Important Dates Submission deadline: October 5th, 2012 Notification: October 29th, 2012 * Contact Poster chair: Kohei Suenaga (aplas2012-poster AT fos.kuis.kyoto-u.ac.jp) -- Kohei Suenaga ksuenaga AT fos.kuis.kyoto-u.ac.jp
[TYPES/announce] APLAS 2012: Call for Posters and Demos
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for multiple copies.) 10th Asian Symposium on Programming Languages and Systems (APLAS 2012) Call for Poster and Demos APLAS 2012 will include a poster and demo session during the conference. The poster session aims to give students and professionals an opportunity to present technical materials to the research community, and to get responses from other researchers in the field. This year, accepted posters will be presented in the main hall so that presenters have much opportunity of discussion during breaks. Standing by the poster on each break is not mandatory, though. * Scope Poster and demo contributions are sought in all areas of programming languages and systems, including the following topics: - semantics, logics, foundational theory; - design of languages and foundational calculi; - type systems; - compilers, interpreters, abstract machines; - program derivation and transformation; - program analysis, verification, model-checking, software security; - concurrency, constraints, domain-specific languages; - tools for programming, verification, implementation. * Format of Posters A space of A1 paper size (594 mm wide and 841 mm high) will be provided for each presentation. AC Power outlet of 100V will be also provided during the poster demo session. If you need more space and facilities, contact the poster chair (aplas2012-poster AT fos.kuis.kyoto-u.ac.jp). * Submission Each presenter should e-mail a 1-2 page abstract in PDF to the poster chair (Kohei Suenaga: aplas2012-poster AT fos.kuis.kyoto-u.ac.jp) by October 5th 2012. The abstract should include the title, author(s), affiliation(s) and summary of the work. The program of the poster session will be announced by October 29th, 2012. We hope to accommodate every poster, but may restrict presentations (based on relevance and interest to the community) due to space constraints. * Important Dates Submission deadline: October 5th, 2012 Notification: October 29th, 2012 * Contact Poster chair: Kohei Suenaga (aplas2012-poster AT fos.kuis.kyoto-u.ac.jp)