[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CFP, HSCC10 -- International Conference on Hybrid Systems:Computation and Control, Apr 12-16, 2010, Stockholm



[Our apologies if you receive multiple copies of this CFP]


===================================================================
The 13th ACM International Conference on Hybrid Systems:
Computation and Control (HSCC'10) in conjunction with CPSWEEK
               April 12-16, 2010, Stockholm
                 http://hscc10.it.uu.se
===================================================================

HSCC'10 will be part of the 3rd Cyber-Physical Systems Week (CPSWeek)
collocated in Stockholm, Sweden with RTAS (Real-Time and Embedded
Technology and Applications Symposium), IPSN (International Conference
on Information Processing in Sensor Networks), LCTES (Languages,
Compilers, and Tools for Embedded Systems) and CPSC (Cyber Physical
and Social Computing).

HSCC is an international conference dedicated to the theory and
practice of embedded reactive systems involving the interplay between
discrete and continuous dynamic behaviors. Academic and industrial
researchers are invited to exchange information on the latest
development of applications and theoretical advancements in the
analysis, design, control, optimization and implementation of hybrid
systems. Submissions are invited in all areas pertaining to the
analysis, design, control, optimization, implementation, and
applications of hybrid systems.

Topics of interest include, but are not limited to:

    * Models of heterogeneous systems;
    * Computability and complexity;
    * Real-time computing and control;
    * Embedded and resource-aware systems;
    * Computation and control over wireless networks;
    * Networked embedded systems;
    * Autonomous and robotic systems;
    * Tools for analysis, verification, control, and optimization;
    * Programming languages support and implementation;
    * Applications including automotive, communication networks, avionics,
      energy systems, transportation networks, manufacturing and robotics,
      biology and other sciences.

Important Dates:
----------------

Abstract submission: October 3
Full paper submission: October 10
Author notification: November 30
Final version: January 9


Submission Guidelines:
----------------------

Submitted papers should present original research that is unpublished
and not submitted elsewhere. Papers should be no more than 10 pages,
10-point, 2-column in ACM format. Accepted papers will be published by ACM.
There will also be a possibility to present work-in-progress papers.
Submission site: http://hscc10.it.uu.se

Program Chairs:
---------------

Karl Henrik Johansson, KTH, Sweden
Wang Yi, Uppsala University, Sweden

Steering Committee:
-------------------

Rajeev Alur, Univ. Pennsylvania, USA
Bruce Krogh, CMU, USA
Oded Maler, VERIMAG, France
Manfred Morari, ETH, Switzerland
George Pappas, Univ. Pennsylvania, USA
Werner Damm, OFFIS, Germany