[Apologies if you receive this message more times than you would like to] Call for Participation Hybrid Systems: Computation and Control (HSCC 2003) Sixth International Workshop Prague, The Czech Republic April 3-5 (Thu-Sat), 2003 http://www-hscc03.imag.fr 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): A Grand Challenge: Full Reactive Modeling of a Multi-Cellular Animal Udi Peless (Friendly Robotics Inc.): Developing Home Robotics Products: Challenges and Lessons Learned REGISTRATION INFORMATION: http://www.guarant.cz/hscc2003/ 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). 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 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 Benedetto, 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. Workshop co-chairs: Amir Pnueli Department of Computer Science Weizmann Institute of Science Rehovot 76100 Israel [log in to unmask] Oded Maler CNRS-VERIMAG 2, av. de Vignate 38610 Gieres France [log in to unmask]