[om-a] HSCC 2004: Call For Papers

T. John Koo koo at eecs.berkeley.edu
Thu Aug 7 22:15:43 CEST 2003

Call For Papers


MARCH 25-27, 2004

The Seventh International Workshop on Hybrid Systems : Computation
and Control  (HSCC 2004), will be held at the Hilton Inn at Penn
on the campus of the University of Pennsylvania, from March
25-27, 2004. The annual workshop on hybrid systems attracts
researchers from academia and industry interested in modeling,
analysis, and implementation of dynamic and reactive systems
involving both discrete and continuous behaviors.  The previous
workshops in the HSCC series of were held in Berkeley, USA (1998),
Nijmegen, The Netherlands (1999), Pittsburgh, USA (2000), Rome,
Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic

Submissions are invited in all areas pertaining to the design,
analysis, implementation, and applications of hybrid systems.
Topics of interest include, but are not limited to:

    * Modeling and representations
    * Computability and complexity issues
    * Tools  for analysis and verification
    * Tools  for synthesis and design
    * Programming language support and implementation
    * Control and optimization
    * Hybrid models in biology and other sciences
    * Engineering applications such as automotive control, avionics,
      energy systems, transportation networks, manufacturing, and robotics

    Edmund M. Clarke , Department of Computer Science, Carnegie Mellon University
    John Doyle , Control and Dynamical Systems, California Institute of Technology

In addition to the keynote speakers, during the workshop there
will be one special invited session focusing on the interplay
between biomolecular networks, systems biology, formal methods,
and control of hybrid systems.    Invited speakers include:

    Patrick Lincoln , Director, Computer Science Laboratory, SRI
    Harvey Rubin , School of Medicine, University of  Pennsylvania

The conference proceedings will be published in the Springer
Lecture Notes in Computer Science series. Selected papers will be
invited after the meeting to submit an extended version to a
special issue of the journal Formal Methods in System Design
(Kluwer Academic Publishers). Submitted papers must present
original, unpublished research that has not been submitted
elsewhere. Papers should be prepared using Springer's LNCS style,
and must be at most 15 pages including abstract, figures, and
bibliography. Instructions for submitting the papers
electronically will be available on the conference homepage in
September 2003.

October 10, 2003: Submission deadline
December 1, 2003: Notification of Acceptance/Rejection
January  15,2004: Final Papers Due

The workshop will be held at the Hilton Inn at Penn, 3600 Sansom
Street, Philadelphia, PA 19104. Located in the heart of Penn's
campus, The Inn is only a few blocks from the center of
Philadelphia, which offers a rich array of cultural, historical,
and nightlife attractions.

Workshop Co-Chairs
Rajeev Alur, University of Pennsylvania
George J. Pappas, University of Pennsylvania

Publicity Chair
T. John Koo, Vanderbilt University

Program Committee
Rajeev Alur, University of Pennsylvania
Alberto Bemporad, University of Siena
Paul Caspi, Verimag
Edmund M. Clarke, Carnegie Mellon University
Thao Dang, Verimag
Jennifer Davoren, University of Melbourne
David L. Dill, Stanford University
Magnus Egerstedt, Georgia Institute of Technology
Emilio Frazzoli, University of Illinois at Urbana-Champaign
Thomas A. Henzinger, University of California at Berkeley
Benjamin Kuipers, University of Texas at Austin
John Lygeros, University of Patras
Manfred Morari, ETH Zurich
George J. Pappas, University of Pennsylvania
William Rounds, University of Michigan Alberto
Sangiovanni-Vincentelli, University of California at Berkeley
A. J. (Arjan) van der Schaft, University of Twente
Jan H. van Schuppen, CWI
Claire J. Tomlin, Stanford University
Frits W. Vaandrager, University of Nijmegen

Steering Committee
Rajeev Alur, University of Pennsylvania
Bruce H. Krogh, Carnegie Mellon University
Oded Maler, Verimag
Manfred Morari, ETH Zurich
George J. Pappas, University of Pennsylvania
Anders P. Ravn, Aalborg University

For more information about the workshop please contact the workshop co-chairs.

T. John Koo
Assistant Professor 
Department of EECS
Vanderbilt University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/mailman/private/om-announce/attachments/20030808/8290df7c/attachment.htm

More information about the Om-announce mailing list