<div dir="ltr"><div class="gmail_quote"><div><div style="word-wrap:break-word"><div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif"><b>HSCC 2018 CALL FOR PAPERS</b><span style="color:rgb(31,73,125)"></span></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<span style="color:rgb(31,73,125)"> </span></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC)</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<span lang="IT">April 11-13, 2018,</span></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<span lang="IT">Porto, Portugal</span></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<span lang="IT"> </span></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<b><span lang="IT">URL:</span></b><span lang="IT"> </span><a href="https://urldefense.proofpoint.com/v2/url?u=http-3A__www.hscc2018.deib.polimi.it_&d=DwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=POaC_BiA1hPoQdtL5fnL6kFMLtfEkLe957sBa-YbGnQ&m=JcMtv_ABL0CNIVsxtxu7VOKjjilapdVKO91q40JyIOQ&s=gil8nrbTppfI4xqV_bZLOlN8q1ko8QQFaXFzFTv87Bw&e=" style="color:purple" target="_blank"><span lang="IT">www.hscc2018.deib.polimi.<wbr>it</span></a><span lang="IT"></span></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<span lang="IT"> </span></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<b>Important dates:</b></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Paper submission deadline: October 6, 2017 (11:59pm UTC-12) <b>FIRM</b></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Notification: December 2017</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Camera-ready: February 2018</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Conference dates: April 11-13, 2018</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
* Please refer to the conference website for up-to-date information. *</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<b>Paper submission information:</b></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Regular papers (maximum 10 pages, 10pt font, two-column ACM format) </div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Tool and Case Study Papers (maximum 6 pages, 10pt font, two-column ACM format)</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Demos (maximum 2 pages, 10pt font, two-column ACM format, title should begin with “Demo”)</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Posters (maximum 2 pages, 10pt font, two-column ACM format, title should begin with “Poster”)</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<b>Awards:</b></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
- Best Repeatability Evaluation Award; Papers would be eligible upon passing the repeatability evaluation process will receive the “artifact evaluated” badge.</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
- Best Demo/Poster Award</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
- Best Paper Award <b>*New*</b></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
- Test-of-Time Award<b> *New*</b></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<b>Conference scope:</b></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
HSCC 2018 is the 21st 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 systems, with an emphasis on computational
aspects.<b> </b>By drawing on strategies from computation and control, hybrid systems theory finds application in 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 are expected to cover a wide spectrum of topics from theoretical results to practical considerations, from academic research to industrial adoption, including but not limited to:</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
- Mathematical foundations, computability and complexity</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
- Analysis, verification, validation, and testing</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
- Modeling paradigms and techniques</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
- Design, synthesis, planning, and control</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
- Programming and specification languages</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
- Network science and network-based control</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
- Security, privacy, and resiliency in cyber-physical systems with a focus on computation and control</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
- Artificial intelligence and machine learning in control algorithms</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
- Software tools</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
- 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</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<b><span lang="IT">Program Committee Chairs:</span></b><span lang="IT"></span></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<span lang="IT">Maria Prandini, Politecnico di Milano</span></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Jyotirmoy V.Deshmukh, University of Southern California</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<b>Repeatability Evaluation Chair:</b></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Sergiy Bogomolov, Australian National University</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<b>Publicity Chair:</b></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Kostas Margellos, University of Oxford</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<b>Demo and Poster Session Chair:</b></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Jens Oehlerking, Robert Bosch GmbH</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<b>Awards Chair</b></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Akshay Rajhans, The MathWorks</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<b>Program Committee:</b></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
See <a href="https://urldefense.proofpoint.com/v2/url?u=http-3A__www.hscc2018.deib.polimi.it_&d=DwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=POaC_BiA1hPoQdtL5fnL6kFMLtfEkLe957sBa-YbGnQ&m=JcMtv_ABL0CNIVsxtxu7VOKjjilapdVKO91q40JyIOQ&s=gil8nrbTppfI4xqV_bZLOlN8q1ko8QQFaXFzFTv87Bw&e=" style="color:purple" target="_blank">www.hscc2018.deib.polimi.<wbr>it</a></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<b>Steering Committee:</b></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Rajeev Alur, University of Pennsylvania</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Werner Damm, OFFIS</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
John Lygeros, ETH Zurich</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Oded Maler, Verimag</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Paulo Tabuada, University of California at Los Angeles</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
Claire Tomlin, University of California at Berkeley</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<b>Submission website: </b></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
See <font color="#800080"><a href="https://urldefense.proofpoint.com/v2/url?u=http-3A__www.hscc2018.deib.polimi.it&d=DwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=POaC_BiA1hPoQdtL5fnL6kFMLtfEkLe957sBa-YbGnQ&m=JcMtv_ABL0CNIVsxtxu7VOKjjilapdVKO91q40JyIOQ&s=FMGrmnvhzkHmVx5kiAv31LGUf7mU7CqVbhRu3U5nxDM&e=" target="_blank">www.hscc2018.deib.polimi.<wbr>it</a></font></div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<br>
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<br>
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
</div>
</div>
<div style="word-wrap:break-word">
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<br>
</div>
<div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">
<br>
</div>
<div>
<div style="color:rgb(0,0,0);letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;word-wrap:break-word">
<div style="word-wrap:break-word">
<div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">
<font face="Courier" color="#5b5b5b">—</font></div><span class="HOEnZb"><font color="#888888">
<div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">
<font face="Courier" color="#5b5b5b"><br>
</font></div>
<div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">
<font face="Courier" color="#5b5b5b">Kostas Margellos</font></div>
<div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">
<font face="Courier" color="#5b5b5b">Department of Engineering Science</font></div>
<div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">
<font face="Courier" color="#5b5b5b">University of Oxford</font></div>
<div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">
<font face="Courier" color="#5b5b5b">Parks Road, Ox1 3PJ, Oxford</font></div>
<div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">
<font face="Courier" color="#5b5b5b">United Kingdom</font></div>
<div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">
<font face="Courier" color="#5b5b5b"><a href="mailto:kostas.margellos@eng.ox.ac.uk" target="_blank">kostas.margellos@eng.ox.ac.uk</a></font></div>
<div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">
<font face="Courier" color="#5b5b5b"><br>
</font></div>
<br class="m_6317454054067494809x_Apple-interchange-newline">
</font></span></div>
</div>
<br class="m_6317454054067494809x_Apple-interchange-newline">
<br class="m_6317454054067494809x_Apple-interchange-newline">
</div>
<br>
</div>
</div>
</div><br></div>