<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.apple-tab-span
{mso-style-name:apple-tab-span;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:8.5in 11.0in;
margin:70.85pt 70.85pt 56.7pt 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">Dear colleagues,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal">I include a CfP in PDF that you can also use to advertise among your colleagues and post at your institutions.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">26th ACM International Conference on Hybrid Systems: Computation and Control<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">9-12 May 2023, San Antonio, TX, USA<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><b><span style="color:black"><a href="https://urldefense.com/v3/__https://hscc.acm.org/2023/__;!!IBzWLUs!Xeu7Xo7nKUyyfaIRYoZQPDW-MJxGxq0rCNEhSP5Vk2vxFJqEjTtemJh682dui9mjsRpEMtprFu8QBLTAdE3uAJxpMroiJnqYcUvC1U69_w$">https://hscc.acm.org/2023/</a></span></b><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><b><span style="color:black">Scope</span></b><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">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.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">Topics of interest include, but are not limited to:<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span class="apple-tab-span"><span style="color:black">
</span></span><span style="color:black">•<span class="apple-tab-span">
</span>Mathematical foundations, computability and complexity<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span class="apple-tab-span"><span style="color:black">
</span></span><span style="color:black">•<span class="apple-tab-span">
</span>Analysis, verification, validation, and testing<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span class="apple-tab-span"><span style="color:black">
</span></span><span style="color:black">•<span class="apple-tab-span">
</span>Modeling paradigms and techniques<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span class="apple-tab-span"><span style="color:black">
</span></span><span style="color:black">•<span class="apple-tab-span">
</span>Design, synthesis, planning, and control<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span class="apple-tab-span"><span style="color:black">
</span></span><span style="color:black">•<span class="apple-tab-span">
</span>Programming and specification languages<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span class="apple-tab-span"><span style="color:black">
</span></span><span style="color:black">•<span class="apple-tab-span">
</span>Network science and network-based control<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span class="apple-tab-span"><span style="color:black">
</span></span><span style="color:black">•<span class="apple-tab-span">
</span>Security, privacy, and resilience for cyber-physical systems with focus on computation and control<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span class="apple-tab-span"><span style="color:black">
</span></span><span style="color:black">•<span class="apple-tab-span">
</span>Safe autonomy, Artificial intelligence and Machine learning in CPS <o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span class="apple-tab-span"><span style="color:black">
</span></span><span style="color:black">•<span class="apple-tab-span">
</span>Software tools for the above topics<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span class="apple-tab-span"><span style="color:black">
</span></span><span style="color:black">•<span class="apple-tab-span">
</span>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.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><b><span style="color:black">Submission guidelines</span></b><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">HSCC solicits submissions which present unpublished original research, not under review elsewhere.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">HSCC invites submissions in two categories: (1) regular papers and (2) tool and case study papers.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">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.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">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.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">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.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">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).<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><b><span style="color:black">Awards</span></b><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><b><span style="color:black">ACM SIGBED HSCC Best Paper Award:</span></b><span style="color:black"> All regular papers, including special track papers, will be automatically eligible for this award.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><b><span style="color:black">HSCC Test-Of-Time Award:</span></b><span style="color:black"> 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.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><b><span style="color:black">Repeatability Evaluation:</span></b><span style="color:black"> Papers that pass repeatability evaluation process will receive the “artifact evaluated” badge and there will be a Best
RE Award.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><b><span style="color:black">Best Demo/Poster</span></b><span style="color:black">: All demos and posters accepted for presentation at HSCC’23 will be eligible for the best demo/poster award.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><b><span style="color:black">Important dates </span></b><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">Submission deadline
<span class="apple-tab-span">
</span>October 31, 2022 (AOE)<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">Tool/case study paper repeatability package submission deadline<span class="apple-tab-span">
</span>November 7, 2022 (AOE)<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">Rebuttal phase<span class="apple-tab-span">
</span>January 9-13, 2023<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">Acceptance/rejection notifications<span class="apple-tab-span">
</span>January 20, 2023<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">Submission deadline of repeatability packages for accepted regular<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">papers<span class="apple-tab-span">
</span>February 6, 2023 (AOE)<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">Posters/demos submission deadline<span class="apple-tab-span">
</span>February 6, 2023 (AOE)<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">Conference date<span class="apple-tab-span">
</span>May 9-12, 2023<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span style="color:black">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.<o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:"Arial",sans-serif;mso-fareast-language:DE">Dejan Ničković<o:p></o:p></span></b></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#7B8287;mso-fareast-language:DE">Senior Scientist<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#7B8287;mso-fareast-language:DE">Dependable Systems Engineering<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#7B8287;mso-fareast-language:DE">Center for Digital Safety & Security<br>
<b>AIT Austrian Institute of Technology GmbH<br>
</b>Giefinggasse 4 | 1210 Vienna | Austria<br>
T +43(0) 50550-4021 | M +43(0) 66488-390038</span><span style="font-family:"Arial",sans-serif;color:#7B8287;mso-fareast-language:DE"> </span><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#7B8287;mso-fareast-language:DE"> | F +43(0)
50550-4150<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif;color:#7F7F7F;mso-fareast-language:DE"><br>
</span><span style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#BDBDBD;mso-fareast-language:DE">FN: 115980 i HG Wien | UID: ATU14703506<br>
</span><span style="font-size:9.0pt;font-family:"Arial",sans-serif;mso-fareast-language:DE"><a href="https://urldefense.com/v3/__http://www.ait.ac.at/Email-Disclaimer__;!!IBzWLUs!Xeu7Xo7nKUyyfaIRYoZQPDW-MJxGxq0rCNEhSP5Vk2vxFJqEjTtemJh682dui9mjsRpEMtprFu8QBLTAdE3uAJxpMroiJnqYcUv-ZebK4g$"><span style="color:blue">http://www.ait.ac.at/Email-Disclaimer</span></a></span><span style="mso-fareast-language:DE"><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>