Formal specifications of computer-based systems

The IFIP TC10 Working Group 10.1 "Computer Aided Systems Theory" Committee Meeting at the Vienna University of Technology on the 30^th September 1999, resulted in a resolution to support a joint workshop with the IEEE Computer Society TC-ECBS on Formal Specifications of Computer-Based Systems (FS CBS). Owing to a substantial overlap in this research domain, Franz Pichler, the founder of the IFIP WG10.1, and Charles Rattray, the IFIP WG10.1 chair, delegated Miroslav Sveda, a member of both WG10.1 and TC-ECBS, to act as a contact person in this activity. The ECBS Executive Committee has welcomed and greatly supported the initiation and implementation of the IEEE/IFIP Joint Workshops on FS CBS as Formal Specifications Working Group Sessions following annual ECBS Conferences.