Call for papers

HSCC 2012 - 15th International Conference on Hybrid Systems: Computation and Control
Beijing, China in April 17-19, 2012 

Conference Scope

Hybrid Systems: Computation and Control is a leading, single-track
conference focusing on research into systems in which the interplay
between discrete (or symbolic or switching) and continuous dynamical
behaviors plays a key role.  Such interplay often arises in embedded,
reactive and cyber-physical systems, but also appears in other new
contexts; for example, systems biology, or mixed-signal electronic
circuits.  Academic and industrial researchers are invited to submit
manuscripts detailing the latest developments in practice and theory
pertaining to the analysis, design, control, optimization,
verification, implementation and applications of such hybrid systems.

Topics of interest include, but are not limited to:
* Models of heterogeneous systems;
* Computability and complexity issues;
* Real-time computing and control;
* Embedded and resource-aware control;
* Computation and control over wireless networks;
* Tools for analysis, verification, control, and design;
* Programming languages support and implementation;
* Modeling and analysis for applications and new domains, including
  automotive, communication networks, avionics, transportation
  networks, energy systems, mobile robotic networks, manufacturing,
  analog and mixed-signal electronics, systems biology, and other

HSCC 2012 will be held as part of the fifth CPSWeek (Cyber-Physical
Systems Week) collocating HSCC, RTAS (Real-Time and Embedded
Technology and Applications Symposium), LCTES (Languages, Compilers,
and Tools for Embedded Systems), IPSN (International Conference on
Information Processing in Sensor Networks), and ICCPS (International
Conference on Cyber-Physical Systems).  Proposals for workshops and
tutorials are invited, and should be submitted through the CPSWeek

Submission Guidelines
Regular papers.  Papers of no more than ten pages (in ten point,
two-column in ACM format) presenting original research that is
unpublished and not submitted elsewhere can be submitted
electronically in PDF format through the conference web site.
Submitted papers will be reviewed by the program committee, and
authors will be invited to submit brief rebuttals of the reviews
before the final acceptances are made.

Tool presentations. Papers of no more than four pages (in ten point,
two-column ACM format) describing the implemented tool and its novel
features.  A demonstration and/or poster is expected to accompany a
tool presentation at the larger CPSWEEK demo session.

Important Dates
Initial submission: October 14 (common to all CPSWeek conferences)
Rebuttal phase: November 25-30
Author notification: December 16
Final version: January 16

Program Chairs
Thao Dang, Verimag, France
Ian Mitchell, University of British Columbia, Canada

Program Committee
Alessandro Abate, TU Delft, The Netherlands
Erika Abraham, RWTH Aachen, Germany
Aaron Ames, Texas A&M University, USA
Patrick Cousot, New York University, USA
Stefano Di Cairano, Ford, USA
Alexandre Bayen, University of California at Berkeley, USA
Calin Belta, Boston University, USA
Emilio Frazzoli, Massachusetts Institute of Technology, USA
Goran Frehse, VERIMAG, France
Antoine Girard, Joseph Fourier University, Grenoble, France
Radu Grosu, SUNY Stony Brook, USA
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
Holger Hermanns, Saarland University, Germany
Jianghai Hu, Purdue University, USA
Jun-Ichi Imura, Tokyo Institute of Technology, Japan
Franjo Ivancic, NEC, USA
T. John Koo, China Shantou University, China
Kim Larsen, Aalborg University, Denmark
Mircea Lazar, TU Eindhoven, The Netherlands
Hai Lin, National University of Singapore, Singapore
Jan Lunze, Ruhr-University Bochum, Germany
Rupak Majumdar, Max Planck Institute for Software Systems, Germany
Sayan Mitra, University of Illinois at Urbana-Champaign, USA
Dragan Nesic, University of Melbourne, Australia
Songhwai Oh, Seoul National University, Korea
Paritosh Pandya, Tata Institute of Fundamental Research, India
Andre Platzer, Carnegie Mellon University, USA
Stefan Ratschan, Academy of Sciences of the Czech Republic, Czech Republic
Ricardo Sanfelice, University of Arizona, USA
Sriram Sankaranarayanan, University of Colorado at Boulder, USA
Thomas Stauner, BMW, Munich, Germany
Paulo Tabuada, University of California at Los Angeles, USA
Ashish Tiwari, SRI, USA
Pascal Traverse, Airbus, France
Shaofa Yang, Shenzhen Institutes of Advanced Technology, China
Qianchuan Zhao, Tsinghua University, China