....but currently this Web-Site will be displayed correctly only with a browser that supports frames. Here we will present some information from the "Call for Papers". If you are still interested but can not get the frameset please contact
The Symposium will present advances in the development and use of formal techniques in the design of real-time, hybrid, fault-tolerant embedded systems, covering all stages from requirements analysis to hardware and/or software implementation. With the increasing use of such formal techniques in industrial settings, the Symposium aims at stimulating cross-fertilization between challenges in industrial usages of formal methods and advanced research.
Topics within the theme of this Symposium include