[logic-ml] Fwd: [hscc] 2018 Hybrid Systems: Computation and Control (HSCC) -- Call for Papers

[Ichiro Hasuo]

*HSCC 2018 CALL FOR PAPERS*

21st ACM International Conference on Hybrid Systems: Computation and
Control (HSCC)
April 11-13, 2018,
Porto, Portugal

*URL:* www.hscc2018.deib.polimi.it
<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=>

*Important dates:*
Paper submission deadline: October 6, 2017 (11:59pm UTC-12) *FIRM*
Notification: December 2017
Camera-ready: February 2018
Conference dates: April 11-13, 2018
* Please refer to the conference website for up-to-date information. *

*Paper submission information:*
Regular papers (maximum 10 pages, 10pt font, two-column ACM format)
Tool and Case Study Papers (maximum 6 pages, 10pt font, two-column ACM
format)
Demos (maximum 2 pages, 10pt font, two-column ACM format, title should
begin with “Demo”)
Posters (maximum 2 pages, 10pt font, two-column ACM format, title should
begin with “Poster”)

*Awards:*
- Best Repeatability Evaluation Award; Papers would be eligible upon
passing the repeatability evaluation process will receive the “artifact
evaluated” badge.
- Best Demo/Poster Award
- Best Paper Award **New**
- Test-of-Time Award* *New**

*Conference scope:*
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. 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:

- 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 resiliency in cyber-physical systems with a focus
on computation and control
- Artificial intelligence and machine learning in control algorithms
- Software tools
- 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

*Program Committee Chairs:*
Maria Prandini, Politecnico di Milano
Jyotirmoy V.Deshmukh, University of Southern California

*Repeatability Evaluation Chair:*
Sergiy Bogomolov, Australian National University

*Publicity Chair:*
Kostas Margellos, University of Oxford

*Demo and Poster Session Chair:*
Jens Oehlerking, Robert Bosch GmbH

*Awards Chair*
Akshay Rajhans, The MathWorks

*Program Committee:*
See www.hscc2018.deib.polimi.it
<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=>

*Steering Committee:*
Rajeev Alur, University of Pennsylvania
Werner Damm, OFFIS
John Lygeros, ETH Zurich
Oded Maler, Verimag
Paulo Tabuada, University of California at Los Angeles
Claire Tomlin, University of California at Berkeley

*Submission website: *
See www.hscc2018.deib.polimi.it
<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=>




—

Kostas Margellos
Department of Engineering Science
University of Oxford
Parks Road, Ox1 3PJ, Oxford
United Kingdom
kostas.margellos at eng.ox.ac.uk
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20170904/011944ab/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: HSCC 2018_flyer.pdf
Type: application/pdf
Size: 500907 bytes
Desc: not available
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20170904/011944ab/attachment-0001.pdf>