[logic-ml] HSCC 2016: Call for Papers

[Ichiro Hasuo]

みなさま，

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

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

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

=========
19th International Conference on Hybrid Systems: Computation and Control (HSCC)
April 12-14, 2016,
Vienna, Austria

URL: http://www.cs.ox.ac.uk/conferences/hscc2016/


Important dates

Abstract Submission deadline (required): October 8, 2015. (no
extensions possible)
Paper Submission deadline:  October 23, 2015. (no extensions possible)
Rebuttal phase: November 27 to December 4, 2015.
Author notification: December 18, 2015.
Camera-ready submission: TBA.
Demos/posters submission deadline: TBA.
Conference dates: April 12-14, 2016.


Conference Scope

Hybrid Systems: Computation and Control (HSCC) has long been the
leading, single-track conference on foundations, techniques, and tools
for analysis, verification, control, synthesis, implementation, and
applications of dynamical systems that exhibit continuous and discrete
(hybrid) dynamics. Applications deal broadly with cyber-physical
systems (CPS), and include mixed signal circuits, robotics,
large-scale infrastructure networks, as well as natural systems such
as biochemical and physiological models.

We solicit theoretical as well as applied research papers that present
original work combining ideas from computer science and control
systems. Topics of interest include, but are not limited to:
- Design, synthesis, planning and control
- Analysis, automated verification (Boolean or quantitative)
- Certification, validation, and testing
- Model building from data (via learning) and model simulation
- Mathematical foundations, computability and complexity
- Programming languages, specification formalisms
- Software tool engineering and experimentation
- Real-time and resource-aware control
- Network science and control over networks
- Applications in cyber-physical systems, and in particular:
automotive, avionics, energy and power, mobile and autonomous
robotics, medical devices, manufacturing, transportation, systems and
synthetic biology, models for the life sciences, and other areas.

HSCC 2016 will be held as part of the eighth Cyber Physical Systems
Week (CPS Week), alongside the International Conference on
Cyber-Physical Systems (ICCPS), the International Conference on
Information Processing in Sensor Networks (IPSN), the Real-Time and
Embedded Technology and Applications Symposium (RTAS), and CPS-related
workshops.

Special Issue: 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 in the CPS research area.

Best Student Paper Award: As established in the previous years, a best
student paper award will be given to a contribution primarily authored
by a student.

Repeatability Evaluation: HSCC has a history of publishing strong
papers emphasising computational contributions; however, subsequent
re-creation of these computational elements is often challenging
because details of the implementation are unavoidably absent in the
paper. Authors of papers accepted to HSCC (in any track) that contain
a computational component will be invited to participate in an
optional repeatability evaluation process after final submission of
the paper in February. Papers that pass will be highlighted at the
conference and in the proceedings, and all submissions will receive
confidential feedback from independent reviewers on any challenges
faced in recreating the computational results. Further details will be
posted at the conference web page.

Submission Guidelines

Submitted papers should present unpublished original research, not
under review elsewhere.

Regular papers: maximum 10 pages in the 10pt, two-column ACM format.

Tool and Case Study papers: maximum 6 pages in the 10pt, two-column
ACM format. Tool Papers should describe an implemented tool and its
novel features. Case studies should present hybrid systems tools or
techniques.

Demo/posters: Maximum 2 pages. Demo/poster descriptions serve the sole
purpose of selecting contributions for the  demo  and  poster  session
 and  will  not  be  published  in  the conference proceedings.

Submissions

Submissions of Regular, Tool and Case-Study papers should be made
through the HSCC 2016 EasyChair submission website:
https://easychair.org/conferences/?conf=hscc2016
Submissions deadline is October 23, 2015 - corresponding abstracts
should be submitted by October 8, 2015.

ACM templates can be found at:
http://www.acm.org/sigs/publications/proceedings-templates

Demo/poster submissions: The submission deadline will be announced
sometime in the beginning of 2016. Submission will be through email to
hscc2016 at easychair.org with "HSCC demo/poster submission" in the
subject line. Questions should be directed to the same address.

Committees for HSCC 2016

Program Committee Chairs
Alessandro Abate, University of Oxford, UK
Georgios Fainekos, Arizona State University, USA

Publicity Chair
Sayan Mitra, Univ. of Illinois at Urbana Champaign, USA

Repeatability Evaluation Chair
Ian M. Mitchell, University of British Columbia, Canada

Demo/Poster Chair
James Kapinski, Toyota Motors, USA

Program Committee
Shun-ichi Azuma, Kyoto University, Japan
Christel Baier, TU Dresden, Germany
Ezio Bartocci, TU Vienna, Austria
Calin Belta, Boston University, USA
Spring Berman, Arizona State University, USA
Mireille Broucke, University of Toronto, Canada
Krishnendu Chatterjee, IST Austria, Austria
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Alessandro D'Innocenzo, University of L'Aquila, Italy
Thao Dang, VERIMAG, France
Jyotirmoy Deshmukh, Toyota Motors, USA
Xu Chu Ding, United Technology Research Center, USA
Alexandre Donzé, UC Berkeley, USA
Martin Fränzle, University in Oldenburg, Germany
Antoine Girard, University of Grenoble, France
Ichiro Hasuo, University of Tokyo, Japan
Jun-ichi Imura, Tokyo Institute of Technology, Japan
Franjo Ivancic, Google NY, USA
Taylor Johnson, UT Arlington, USA
Agung Julius, Rensselaer Polytechnic institute, USA
Sertac Karaman, MIT, USA
Joost-Pieter Katoen, RWTH Aachen University, Germany
Marta Kwiatkowska, University of Oxford, UK
Jun Liu, University of Waterloo, Canada
Daniele Magazzeni, King's College London, UK
Manuel Mazo Jr, TU Delft, The Netherlands
Sayan Mitra, Univ. of Illinois at Urbana Champaign, USA
Jens Oehlerking, Robert Bosch GmbH, Germany
Meeko Oishi, University of New Mexico, USA
Necmiye Ozay, University of Michigan, USA
Andreas Podelski, University of Freiburg, Germany
Pavithra Prabhakar, Kansas State University, USA
Maria Prandini, Politecnico di Milano, Italy
Akshay Rajhans, The MathWorks, USA
S Ramesh, General Motors R&D, India
Sriram Sankaranarayanan, Univ. of Colorado, Boulder, USA
Oleg Sokolsky, University of Pennsylvania, USA
Herbert Tanner, University of Delaware, USA
Ufuk Topcu, UT Austin, USA
Ashuthosh Trivedi, IIT Bombay, India
Jana Tumova, KTH, Sweden
Verena Wolf, Saarland University, Germany
Majid Zamani, Technical University of Munich, Germany
Naijun Zhan, Chinese Academy of Sciences, PR China
Paolo Zuliani, Newcastle University, UK

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