[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
On behalf of the PC of HSCC 2023 I would like to draw your attention to the
call for papers for the 26th edition to take part in San Antonio, TX.
I include a CfP in PDF that you can also use to advertise among your colleagues
and post at your institutions.
26th ACM International Conference on Hybrid Systems: Computation and Control
9-12 May 2023, San Antonio, TX, USA
https://urldefense.com/v3/__https://hscc.acm.org/2023/__;!!IBzWLUs!Xeu7Xo7nKUyyfaIRYoZQPDW-MJxGxq0rCNEhSP5Vk2vxFJqEjTtemJh682dui9mjsRpEMtprFu8QBLTAdE3uAJxpMroiJnqYcUvC1U69_w$
Scope
Hybrid Systems: Computation and Control (HSCC) 2023 is the 26th 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.
Submission guidelines
HSCC solicits submissions which present unpublished original research, not
under review elsewhere.
HSCC invites submissions in two categories: (1) regular papers and (2) tool and
case study papers.
Submissions in both of these categories can be either long (10 pages max, 9pt
font, two-column ACM format) or short papers (6 pages max, 9pt font, two-column
ACM format). Note that the page limits do not include references and appendices.
Each submission may include optional appendices with supplementary material.
These appendices will be read at the discretion of the program committee and
will not be included in the conference proceedings.
We will employ a double blind reviewing process and will have a rebuttal phase
to provide authors the opportunity to reply to reviewer concerns. Authors are
asked to submit their paper using EasyChair.
Note that each tool and case study submission, except for a limited number of
cases such as, e.g., submissions presenting industrial/proprietary benchmarks,
must be accompanied by a Repeatability Evaluation Package (see here for more
details).
Awards
ACM SIGBED HSCC Best Paper Award: All regular papers, including special track
papers, will be automatically eligible for this award.
HSCC Test-Of-Time Award: This award recognizes the work that has proven to be
the most visionary and impactful, leading to new directions of research being
initiated, or new applications being brought into the hybrid systems research
community. The call for nominations and eligibility criteria are published 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'23
will be eligible for the best demo/poster award.
Important dates
Submission deadline
October 31, 2022 (AOE)
Tool/case study paper repeatability package submission deadline
November 7, 2022 (AOE)
Rebuttal phase
January 9-13, 2023
Acceptance/rejection notifications
January 20, 2023
Submission deadline of repeatability packages for accepted regular
papers
February 6, 2023 (AOE)
Posters/demos submission deadline
February 6, 2023 (AOE)
Conference date
May 9-12, 2023
HSCC 2023 will be part of the 16th 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.
Dejan Ničković
Senior Scientist
Dependable Systems Engineering
Center for Digital Safety & Security
AIT Austrian Institute of Technology GmbH
Giefinggasse 4 | 1210 Vienna | Austria
T +43(0) 50550-4021 | M +43(0) 66488-390038 | F +43(0) 50550-4150
FN: 115980 i HG Wien | UID: ATU14703506
https://urldefense.com/v3/__http://www.ait.ac.at/Email-Disclaimer__;!!IBzWLUs!Xeu7Xo7nKUyyfaIRYoZQPDW-MJxGxq0rCNEhSP5Vk2vxFJqEjTtemJh682dui9mjsRpEMtprFu8QBLTAdE3uAJxpMroiJnqYcUv-ZebK4g$
