<div dir="ltr">みなさま，<br><br>東京大学の蓮尾です．物理情報システム分野の一大イベント<br>CPS Week （来年はアメリカ開催です）のメイン会議の一つ，<br>HSCC の論文募集をお送りします．<br><br>コミュニティとしては，主にプログラム検証・システム検証の<br>人たちと，制御理論の人たちが，協力して研究を行っている<br>印象です．よろしければぜひ，論文投稿や参加をご検討ください．<br><br>どうかよろしくお願いいたします．<br>蓮尾 一郎<br><a href="http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/">http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/</a><br><br>=======<br><br>20th International Conference on Hybrid Systems: Computation and Control<br>(HSCC)<br>April 18-21, 2017,<br>Pittsburgh, Pennsylvania, USA<br><br>URL: <a href="http://hscc2017.ece.illinois.edu/">http://hscc2017.ece.illinois.edu/</a><br><br><br>Important dates<br><br>Paper Submission deadline:  October 13, 2016 (firm, 11:59 pm UTC-12)<br>Notifications: December 20, 2016<br>Demo/poster submission: TBA<br>Camera-ready: February 17, 2017<br>Conference dates: April 18-21, 2017<br><br><br>Conference Scope<br><br>HSCC 2017 is the 20th in a series of conferences on all aspects of<br>hybrid systems. It is dedicated to advancing design and analysis<br>techniques that bridge control theory and computer science, and is<br>expanding to new domains in security and privacy and in systems<br>biology. The conference covers the range from theoretical results to<br>practical applications and experiences in cyber-physical systems<br>(CPS), mixed signal circuits, robotics, infrastructure networks, and<br>biological models. Topics of interest include, but are not limited to,<br>the following subjects:<br><br>* Mathematical foundations, computability and complexity<br>* Modeling paradigms and techniques<br>* Design, synthesis, planning, and control<br>* Analysis, verification, validation, and testing<br>* Programming and specification languages<br>* Network science and control over networks<br>* Security and privacy in cyberphysical systems<br>* Software tools<br>* Applications and case studies<br><br>HSCC 2017 will be part of the ninth Cyber Physical Systems Week (CPS<br>Week), and co- located with the International Conference on<br>Cyber-Physical Systems (ICCPS), Information Processing in Sensor<br>Networks (IPSN), the Real-Time and Embedded Technology and<br>Applications Symposium (RTAS), Conference on Internet-of-Things Design<br>and Implementation (IOTDI), and related workshops.<br><br>Regular papers: Submissions should present unpublished original<br>research, not under review elsewhere. Maximum 10 pages in 10pt,<br>two-column ACM format. This year we will enforce a light double-blind<br>reviewing process; the conference webpage will have more details.<br>Paper submissions should be preceded by an abstract (date TBA).<br>Authors of distinguished papers may be invited to submit an extended<br>version of their work for possible publication in a Special issue of a<br>leading journal.  A Best Student Paper Award will be presented to the<br>author of the best paper written solely or primarily by a student.<br><br>Tool and case study papers: Tool Papers should describe an implemented<br>tool and its novelty. Maximum 6 pages in the 10pt, two-column ACM<br>format.<br><br>Demo/posters: Demo/poster descriptions are used for selecting<br>contributions for demo/poster session, and will not be published in<br>the proceedings. Maximum 2 pages, ACM format. Title should begin with<br>“Demo (Poster):”. Descriptions should be submitted to the<br>“Demonstrations and Posters” track at the submission website.<br><br>Submission website for papers: <a href="https://easychair.org/conferences/?conf=hscc17">https://easychair.org/conferences/?conf=hscc17</a><br><br><br>Repeatability evaluation: Authors of accepted papers will be invited<br>to participate in an optional repeatability evaluation process after<br>the camera-ready submission. Papers that pass will receive the<br>“artifact evaluated” badge and there will be a Best RE Award.<br><br>The official publication date may be up to two weeks before the conference.<br><br>Committees for HSCC 2017<br><br>Program Committee Chairs<br>Goran Frehse, Univ. Grenoble Alpes-Verimag<br>Sayan Mitra, Univ. of Illinois at Urbana-Champaign<br><br>Publicity Chair<br>Necmiye Ozay, Univ. of Michigan<br><br>Program Committee<br>Alessandro Abate, University of Oxford<br>Erika Abraham, RWTH Aachen<br>Matthias Althoff, TU München<br>Saurabh Amin, MIT<br>Murat Arcak, UC Berkeley<br>Shun-Ichi Azuma, Kyoto Univ.<br>Christel Baier, TU Dresden<br>Hamsa Balakrishnan, MIT<br>Ezio Bartocci, TU Wien<br>Calin Belta, Boston Univ.<br>Sergiy Bogomolov, IST Austria<br>Alessandro Cimatti, Fondazione Bruno Kessler<br>Alessandro D'Innocenzo, Univ. of L'Aquila<br>Thao Dang, VERIMAG, France<br>Anupam Datta, CMU<br>Jyotirmoy Deshmukh, Toyota<br>Arvind Easwaran, Nanyang Tech. Univ.<br>Georgios Fainekos, Arizona State Univ.<br>Lu Feng, Univ. of Virginia<br>Martin Fränzle, Carl von Ossietzky Univ. Oldenburg<br>Sicun Gao, MIT<br>Antoine Girard, Laboratoire des Signaux et Sys. CNRS<br>Ichiro Hasuo, Univ. of Tokyo<br>Franjo Ivancic, Google<br>Taylor T Johnson, Vanderbilt Univ.<br>James Kapinski, Toyota<br>Hadas Kress-Gazit, Cornell University<br>Marta Kwiatkowska, University of Oxford<br>Mircea Lazar, Eindhoven Univ. of Technology<br>Jun Liu, Univ. of Waterloo<br>Daniele Magazzeni, King's College London<br>Manuel Mazo Jr., TU Delft<br>Ian Mitchell, Univ. of British Columbia<br>Meeko Oishi, Univ. of New Mexico<br>Necmiye Ozay, Univ. of Michigan<br>André Platzer, CMU<br>Vinayak Prabhu, MPI-SWS<br>Maria Prandini, Politecnico di Milano<br>Akshay Rajhans, MathWorks<br>S Ramesh, General Motors<br>Grigore Rosu, Univ. of Illinois at Urbana-Champaign<br>Indranil Saha, IIT Kanpur<br>Ricardo Sanfelice, Univ. of Arizona<br>Scott Smolka, Stony Brook Univ.<br>Oleg Sokolsky, Univ. of Pennsylvania<br>Herbert Tanner, Univ. of Delaware<br>Ashish Tiwari, SRI<br>Ufuk Topcu, Univ. of Texas at Austin<br>Jana Tumova, Royal Institute of Technology<br>Ram Vasudevan, Univ. of Michigan<br><br><br>Steering Committee<br>Rajeev Alur, University of Pennsylvania<br>Werner Damm, OFFIS<br>John Lygeros, ETH Zurich<br>Oded Maler, Verimag<br>Paulo Tabuada, UCLA<br>Claire Tomlin, UC Berkeley<br><span></span></div>