Abstract
The IFIP TC10 Working Group 10.1 “Computer Aided Systems Theory” Committee Meeting at the Vienna University of Technology on the 30th September 1999, resulted in expressing the interest to support a joint workshop with the IEEE Computer Society TC-ECBS focused 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 welcome and greatly supported origination of the IEEE/IFIP Joint Workshop on FS CBS following the ECBS'2000 Conference.