O
PRELIMINARY CALL FOR PAPERS
HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC 2003)
Sixth International Workshop
Prague, The Czech Republic
For more information, see "http://www-hscc03.imag.fr":http://www-hscc03.imag.fr
Important Dates::
Submission deadline: October 15, 2002
Notification of acceptance: December 15, 2002
Final versions due: January 15, 2003
Workshop: April 3-5 (Thu-Sat), 2003
Aims and Scope
The Workshop on Hybrid Systems attracts researchers from academia and industry interested in modeling, analysis, and implementation of
dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behaviors. It is a forum for the
latest developments in all aspects of hybrid systems, including formal models and computational representations, algorithms and heuristics,
computational tools, and new challenging applications. The Sixth HSCC
International Workshop continues the series of workshops held in
Grenoble, France (HART'97), Berkeley, California, USA (HSCC'98),
Nijmegen, The Netherlands (HSCC'99), Pittsburgh, Pennsylvania, USA (HSCC
2000), Rome, Italy (HSCC2001) and Palo Alto, California USA
(HSCC2002). Accepted papers will be allotted 14 pages each in a volume
to be published in the Springer-Verlag Lecture Notes in Computer
Science (LNCS) series.
Amir Pnueli
Department of Computer Science
Weizmann Institute of Science
Rehovot 76100
Israel
[email protected]
Oded Maler
CNRS-VERIMAG
2, av. de Vignate
38610 Gieres
France
[email protected]
HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC 2003)
Sixth International Workshop
Prague, The Czech Republic
For more information, see "http://www-hscc03.imag.fr":http://www-hscc03.imag.fr
Important Dates::
Submission deadline: October 15, 2002
Notification of acceptance: December 15, 2002
Final versions due: January 15, 2003
Workshop: April 3-5 (Thu-Sat), 2003
Aims and Scope
The Workshop on Hybrid Systems attracts researchers from academia and industry interested in modeling, analysis, and implementation of
dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behaviors. It is a forum for the
latest developments in all aspects of hybrid systems, including formal models and computational representations, algorithms and heuristics,
computational tools, and new challenging applications. The Sixth HSCC
International Workshop continues the series of workshops held in
Grenoble, France (HART'97), Berkeley, California, USA (HSCC'98),
Nijmegen, The Netherlands (HSCC'99), Pittsburgh, Pennsylvania, USA (HSCC
2000), Rome, Italy (HSCC2001) and Palo Alto, California USA
(HSCC2002). Accepted papers will be allotted 14 pages each in a volume
to be published in the Springer-Verlag Lecture Notes in Computer
Science (LNCS) series.
Amir Pnueli
Department of Computer Science
Weizmann Institute of Science
Rehovot 76100
Israel
[email protected]
Oded Maler
CNRS-VERIMAG
2, av. de Vignate
38610 Gieres
France
[email protected]
