[FM-India] ACM HSCC 2019 Call for Papers

[Madhavan Mukund]

----- Forwarded message -----

Date: Thu, 20 Sep 2018 04:10:06 +0000
From: Pavithra Prabhakar <pprabhakar at ksu.edu>
Subject: [hscc] ACM HSCC 2019 Call for Papers

(Apologies if you receive multiple copies of this message.)

ACM HSCC 2019 Call for Papers
22nd ACM International Conference on Hybrid Systems: Computation and
Control (HSCC)
Part of CPS-IoT Week 2019
April 16-18, 2019
Montreal, Canada
URL: http://2019.hscc-conference.org/

Conference Scope
Hybrid Systems: Computation and Control (HSCC) 2019 is the 22nd in a
series of conferences focusing on original research on concepts,
tools, and techniques from computer science, control theory, and
applied mathematics for the analysis and control of hybrid dynamical
systems with an emphasis on computational aspects. By drawing on
strategies from computation and control, the hybrid systems field
offers techniques that are applicable to both man-made cyber-physical
systems (ranging from small robots to global infrastructure networks)
and natural systems (ranging from biochemical networks to
physiological models). Papers in the conference are expected to range
over a wide spectrum of topics from theoretical results to practical
considerations, and from academic research to industrial adoption.

Topics of interest include, but are not limited to:
- Mathematical foundations, computability and complexity
- Analysis, verification, validation, and testing
- Modeling paradigms and techniques
- Design, synthesis, planning, and control
- Programming and specification languages
- Network science and network-based control
- Security, privacy, and resilience for cyber-physical systems with
focus on computation and control
- Safe autonomy, Artificial intelligence and Machine learning in CPS
- Software tools for the above topics
-Applications and industrial case studies in: automotive,
transportation, autonomous systems, avionics, energy and power,
robotics, medical devices, manufacturing, systems and synthetic
biology, models for the life sciences, and other related areas.

New this Year! Special track papers on Safe autonomy, Artificial
Intelligence and Machine Learning We invite regular submissions in
topics related to safe autonomy, AI and ML in CPS. Formatting
instructions are same as that for regular papers, however, the authors
will indicate their interest in the special track during the
submission. We will include these in a special session at HSCC along
with few invited speakers related to this topic.

Submission guidelines
HSCC invites submissions in the categories of (1) regular papers
including special track papers in Safe autonomy, AI and ML for CPS,
and  (2) case study and tool papers. We will employ a double blind
reviewing process and will have a rebuttal phase to provide authors
the opportunity to reply to reviewer concerns. Papers need to be
submitted for review using Easychair:
https://easychair.org/conferences/?conf=hscc19

Paper submission information
- Regular papers including special track papers on Safety Autonomy, AL
and ML in CPS (maximum 10 pages, 10pt font, two-column ACM format)
- Tool and Case Study Papers (maximum 6 pages, 10pt font, two-column ACM format)

Important dates
Abstract submission deadline (optional): October 10, 2018 (AOE)
Paper submission deadline:  October 17, 2018 (AOE)
Tool paper repeatability package submission deadline: October 22, 2018 (AOE)
Rebuttal phase: December 3-5, 2018
Acceptance/rejection notifications: December 21, 2018
Camera-ready: February 15, 2019
Conference dates: April 16-18, 2019

Awards
- HSCC will have an ACM SIGBED Best Paper Award, all regular papers
will be automatically eligible for this award.
- HSCC will institute an "HSCC Test-Of-Time Award". The rules for
eligibility, nomination and selection of the paper for this award can
be found here.
- Repeatability evaluation: Papers that pass repeatability evaluation
process will receive the "artifact evaluated" badge and there will be
a Best RE Award.
- Best Demo/Poster: All demos and posters accepted for presentation at
HSCC’19 will be eligible for the best demo/poster award.

Program Committee Chairs
Necmiye Ozay (University of Michigan, Ann Arbor, USA)
Pavithra Prabhakar (Kansas State University, USA)

Repeatability Evaluation Chair
Sergiy Bogomolov (Australian National University, Australia)

Publicity Chair
Taylor T. Johnson (Vanderbilt University, USA)

Steering Committee
Rajeev Alur (University of Pennsylvania, USA)
Werner Damm (OFFIS, Germany)
Martin Fränzle (Universität Oldenburg, Germany)
John Lygeros (ETH Zurich, Switzerland)
Oded Maler (Verimag, Fran
Paulo Tabuada (UCLA, USA)
Claire Tomlin (University of California, Berkeley, USA)


----

Pavithra Prabhakar

Peggy and Gary Edwards Chair in Engineering

Associate Professor, Department of Computer Science

Kansas State University, http://people.cis.ksu.edu/~pprabhakar


----- End forwarded message -----