[logic-ml] Fwd: [hscc] 2017 Hybrid Systems: Computation and Control (HSCC) -- Call for Papers

[Ichiro Hasuo]

みなさま，

東京大学の蓮尾です．物理情報システム分野の一大イベント
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20160830/20e696bc/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: hscc2017-cfp-v3.pdf
Type: application/octet-stream
Size: 807541 bytes
Desc: not available
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20160830/20e696bc/attachment-0001.obj>