[Apologies if you receive this message more times than you would like to] CALL FOR PAPERS HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC 2003) ******************************************************************************* Sixth International Workshop Prague, The Czech Republic 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 Invited Speakers (Tentative): David Berlinski (author of "A Tour of the Calculus" and "The Advent of the Algorithm"): On Discrete and Continuous Mathematics David Harel (Weizmann Institute of Science): From Aerospace to C. elegans: Modeling and Analyzing the Behavior of Complex Reactive Systems Udi Peless (Friendly Machines Inc.): Lessons from the Development of a Commercial Autonomous Lawn Mower 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. Scientific Program and Topics Sessions will include presentations of contributed papers and a small number of invited talks. In keeping with the tradition of previous workshops, there will be ample time and space for informal discussions. Submissions are invited in all areas pertaining to the design, analysis and implementation of hybrid systems. Topics of interest include, but are not limited to: - modeling and representations, - timed and hybrid automata, - formal methods for analysis, synthesis and verification, - numerical aspects of simulating, and verifying hybrid systems, - computer-aided design, - control methods and algorithms, optimization - hybrid models in biology and other sciences, - engineering applications, including but not limited to manufacturing and production systems, intelligent robots, avionics, automotive control systems, railway systems, energy systems, and transportation networks. Reports on case studies and tool development are particularly encouraged. A strong representation of multiple disciplines, including formal methods, symbolic computation, control theory, artificial intelligence, and numerical methods, assures a lively and productive workshop. Venue The workshop will be held at Prague, the lovely capital of the Czech Republic in the Pyramida Hotel. Submissions Researchers are invited to submit either a postscript or pdf file of an extended abstract using the electronic-submission procedure through the workshop web-page http://www-hscc03.imag.fr The abstract should not exceed 10 pages. The first page should contain: - the title of the paper, - each author's name and affiliation, - complete contact information for the corresponding author (postal and e-mail addresses, telephone and fax numbers), and a - one-paragraph summary of the contribution. Full versions of the accepted submissions will be published in the Springer Lecture Notes in Computer Science series. The proceedings will be available at the workshop. Workshop Co-chairs: Amir Pnueli and Oded Maler Program Committee: Rajeev Alur University of Pennsylvania Eugene Asarin VERIMAG, Grenoble Alberto Bemporad University of Siena Jennifer Davoren University of Melbourne Sebastian Engell University of Dortmund Mark Greenstreet University of British Columbia Bruce Krogh Carnegie Mellon University Benjamin Kuipers University of Texas, Austin Kim Larsen University of Aalborg John Lygeros University of Cambridge Oded Maler VERIMAG, Grenoble Manfred Morari ETH, Zurich George Pappas University of Pennsylvania Anders Rantzer University of Lund Amir Pnueli Weizmann Institute, Rehovot Anders Ravn University of Aalborg Alberto Sangiovanni-Vincentelli University of California, Berkeley Shankar Sastry University of California, Berkeley Olaf Stursberg Carnegie Mellon University Ashish Tiwari SRI international Paolo Traverso IRST, Trento Howard Wong-Toi Cadence Berkeley Labs Steering Committee: Maria Di Bendetto, Mark Greenstreet, Bruce Krogh (chair), Oded Maler, Manfred Morari, Amir Pnueli, Anders Ravn, Alberto Sangiovanni-Vincentelli, Claire Tomlin. Local Organization: The workshop is locally sponsored by Honeywell Prague Laboratory with support of Guarant travel agency. Amir Pnueli Department of Computer Science Weizmann Institute of Science Rehovot 76100 Israel amir@wisdom.weizmann.ac.il Oded Maler CNRS-VERIMAG 2, av. de Vignate 38610 Gieres France maler@imag.fr