The full version of this announcement is available.
The fifth of a series of workshops on hybrid systems will be organized at Rutgers University in New Brunswick, New Jersey, from October 22 to October 25, 1995. The purpose of the workshop is to bring together researchers from both computer science and control theory, and to advance the theory of hybrid systems and its applications to real-life problems.
The 1995 workshop will be organized as a part of the DIMACS 1995-96 Special Year on Logic and Algorithms.
Submissions are invited in all areas pertaining to the formal verification and control of hybrid systems, that is, systems in which digital devices interact with continuous objects. We are especially interested in methods that bring together in creative ways concepts from computer science and control theory. Topics include, but are not limited to, formal models and specification languages, algorithmic and deductive verification, control and optimization, simulation and testing, design and synthesis, complexity and decidability issues, probabilistic systems, automatic and interactive tools, experimental results and applications.
Authors are requested to submit an extended abstract not exceeding twelve pages, either six hard-copies or a postscript file, to the address below. The abstract should start with a title page containing the title of the paper, each author's name and affiliation, the contact author's physical and e-mail addresses, and a one- or two-paragraph summary. The full versions of selected submissions will be published after the workshop as a volume of the Springer-Verlag Lecture Notes in Computer Science series.
There will be no registration fee for the workshop.
Important Dates: Submission deadline: July 26, 1995; Notification to acceptance: September 1, 1995
Submission Address: Rajeev Alur; 2D-144, AT&T Bell Laboratories; 600 Mountain Avenue; Murray Hill, NJ 07974; USA; Email: alur@research.att.com (postscript only)