We are especially interested in methods bringing 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 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.
Limited funds are available to cover the travel costs of students.