[FM-India] 2018 Hybrid Systems: Computation and Control (HSCC) -- Paper Submission Deadline Alert

Madhavan Mukund madhavan at cmi.ac.in
Mon Oct 2 23:41:01 IST 2017


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

From: Kostas Margellos <kostas.margellos at eng.ox.ac.uk>
Date: Mon, Oct 2, 2017 at 7:16 PM
Subject: [hscc] 2018 Hybrid Systems: Computation and Control (HSCC) -- Paper
Submission Deadline Alert
To: "hscc at lists.illinois.edu" <hscc at lists.illinois.edu>


HSCC 2018 — Paper submission deadline in *4 days*: October 6, 2017 (11:59pm
UTC-12) FIRM
 
21st ACM International Conference on Hybrid Systems: Computation and Control
(HSCC)
April 11-13, 2018,
Porto, Portugal
 
URL: www.hscc2018.deib.polimi.it
 
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
 
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


—

Kostas Margellos
Department of Engineering Science
University of Oxford
Parks Road, Ox1 3PJ, Oxford
United Kingdom
kostas.margellos at eng.ox.ac.uk

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


More information about the FMIndia mailing list