みなさま，

東京大学の蓮尾です．物理情報システム分野の一大イベント CPS Week （来年はアメリカ開催です）のメイン会議の一つ， HSCC の論文募集をお送りします．

コミュニティとしては，主にプログラム検証・システム検証の 人たちと，制御理論の人たちが，協力して研究を行っている 印象です．よろしければぜひ，論文投稿や参加をご検討ください．

どうかよろしくお願いいたします． 蓮尾 一郎 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/

=======

20th International Conference on Hybrid Systems: Computation and Control (HSCC) April 18-21, 2017, Pittsburgh, Pennsylvania, USA

URL: http://hscc2017.ece.illinois.edu/

Important dates

Paper Submission deadline: October 13, 2016 (firm, 11:59 pm UTC-12) Notifications: December 20, 2016 Demo/poster submission: TBA Camera-ready: February 17, 2017 Conference dates: April 18-21, 2017

Conference Scope

HSCC 2017 is the 20th in a series of conferences on all aspects of hybrid systems. It is dedicated to advancing design and analysis techniques that bridge control theory and computer science, and is expanding to new domains in security and privacy and in systems biology. The conference covers the range from theoretical results to practical applications and experiences in cyber-physical systems (CPS), mixed signal circuits, robotics, infrastructure networks, and biological models. Topics of interest include, but are not limited to, the following subjects:

* Mathematical foundations, computability and complexity * Modeling paradigms and techniques * Design, synthesis, planning, and control * Analysis, verification, validation, and testing * Programming and specification languages * Network science and control over networks * Security and privacy in cyberphysical systems * Software tools * Applications and case studies

HSCC 2017 will be part of the ninth Cyber Physical Systems Week (CPS Week), and co- located with the International Conference on Cyber-Physical Systems (ICCPS), Information Processing in Sensor Networks (IPSN), the Real-Time and Embedded Technology and Applications Symposium (RTAS), Conference on Internet-of-Things Design and Implementation (IOTDI), and related workshops.

Regular papers: Submissions should present unpublished original research, not under review elsewhere. Maximum 10 pages in 10pt, two-column ACM format. This year we will enforce a light double-blind reviewing process; the conference webpage will have more details. Paper submissions should be preceded by an abstract (date TBA). Authors of distinguished papers may be invited to submit an extended version of their work for possible publication in a Special issue of a leading journal. A Best Student Paper Award will be presented to the author of the best paper written solely or primarily by a student.

Tool and case study papers: Tool Papers should describe an implemented tool and its novelty. Maximum 6 pages in the 10pt, two-column ACM format.

Demo/posters: Demo/poster descriptions are used for selecting contributions for demo/poster session, and will not be published in the proceedings. Maximum 2 pages, ACM format. Title should begin with “Demo (Poster):”. Descriptions should be submitted to the “Demonstrations and Posters” track at the submission website.

Submission website for papers: https://easychair.org/conferences/?conf=hscc17

Repeatability evaluation: Authors of accepted papers will be invited to participate in an optional repeatability evaluation process after the camera-ready submission. Papers that pass will receive the “artifact evaluated” badge and there will be a Best RE Award.

The official publication date may be up to two weeks before the conference.

Committees for HSCC 2017

Program Committee Chairs Goran Frehse, Univ. Grenoble Alpes-Verimag Sayan Mitra, Univ. of Illinois at Urbana-Champaign

Publicity Chair Necmiye Ozay, Univ. of Michigan

Program Committee Alessandro Abate, University of Oxford Erika Abraham, RWTH Aachen Matthias Althoff, TU München Saurabh Amin, MIT Murat Arcak, UC Berkeley Shun-Ichi Azuma, Kyoto Univ. Christel Baier, TU Dresden Hamsa Balakrishnan, MIT Ezio Bartocci, TU Wien Calin Belta, Boston Univ. Sergiy Bogomolov, IST Austria Alessandro Cimatti, Fondazione Bruno Kessler Alessandro D'Innocenzo, Univ. of L'Aquila Thao Dang, VERIMAG, France Anupam Datta, CMU Jyotirmoy Deshmukh, Toyota Arvind Easwaran, Nanyang Tech. Univ. Georgios Fainekos, Arizona State Univ. Lu Feng, Univ. of Virginia Martin Fränzle, Carl von Ossietzky Univ. Oldenburg Sicun Gao, MIT Antoine Girard, Laboratoire des Signaux et Sys. CNRS Ichiro Hasuo, Univ. of Tokyo Franjo Ivancic, Google Taylor T Johnson, Vanderbilt Univ. James Kapinski, Toyota Hadas Kress-Gazit, Cornell University Marta Kwiatkowska, University of Oxford Mircea Lazar, Eindhoven Univ. of Technology Jun Liu, Univ. of Waterloo Daniele Magazzeni, King's College London Manuel Mazo Jr., TU Delft Ian Mitchell, Univ. of British Columbia Meeko Oishi, Univ. of New Mexico Necmiye Ozay, Univ. of Michigan André Platzer, CMU Vinayak Prabhu, MPI-SWS Maria Prandini, Politecnico di Milano Akshay Rajhans, MathWorks S Ramesh, General Motors Grigore Rosu, Univ. of Illinois at Urbana-Champaign Indranil Saha, IIT Kanpur Ricardo Sanfelice, Univ. of Arizona Scott Smolka, Stony Brook Univ. Oleg Sokolsky, Univ. of Pennsylvania Herbert Tanner, Univ. of Delaware Ashish Tiwari, SRI Ufuk Topcu, Univ. of Texas at Austin Jana Tumova, Royal Institute of Technology Ram Vasudevan, Univ. of Michigan

Steering Committee Rajeev Alur, University of Pennsylvania Werner Damm, OFFIS John Lygeros, ETH Zurich Oded Maler, Verimag Paulo Tabuada, UCLA Claire Tomlin, UC Berkeley