IEEE TC-ECBS and IFIP WG10.1
2nd Joint Workshop on Formal Specification of Computer-Based Systems
Washington, D.C., April 20, 2001
(following the IEEE ECBS'2001 Conference
http://www.dcs.napier.ac.uk/ecbs)
Topic
The goal of this workshop is to provide a forum for researchers and
practitioners from industry and academia to discuss both completed work
and work-in-progress related to formal specifications of computer-based
systems, software, hardware and hardware/software applications. We encourage,
in particular, studies focusing on integrating formal techniques into
systems design and implementation and on various applications or
case-studies.
Submissions
Please submit 3-5 page extended abstracts in Acrobat PDFor in MS Word
RTF by e-mail to <<[log in to unmask]>> by March 15, 2001.
Authors of accepted abstracts, which will be published in
the Preprints Proceedings available at the Workshop, will
have the opportunity to present a 20-minute talk on their work. The
final papers, based on the presented extended abstracts and selected from
the refereed full-length versions submitted within two month after the
Workshop, will be published in the Journal of Applied Systems Studies,
Cambridge International Science Publishers.
Deadlines
March 15, 2001 Extended Abstract Submissions
April 20, 2001 Extended Abstracts Presentation
June 20, 2001 Full Papers Submission
Workshop Co-Chairs
Charles Rattray, University of Stirling, UK
Email: <<[log in to unmask]>>
Jerzy Rozenblit, University of Arizona, Tucson, Arizona, USA
Email: <<[log in to unmask]>>
Miroslav Sveda, Brno University of Technology, Czech Republic
Email: <<[log in to unmask]>>
