IEEE TC-ECBS + TF RE and IFIP WG10.1
Joint Workshop on Formal Specification of Computer-Based Systems
Edinburgh, Scotland, April 6-7,2000
(following the IEEE ECBS'2000 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. We encourage, in particular, studies focusing on integrating
formal techniques into system design and implementation and on various
applications or case-studies.
Submissions
Please submit extended abstracts in MS Rich Text Format or in Plain
ASCII by e-mail to <<[log in to unmask]>> by February 29, 2000.
Authors of accepted abstracts, which will be published either in
the Preprints Proceedings available at the Workshop or through the IEEE
ECBS'2000 Conference WWW page <<http://www.dcs.napier.ac.uk/ecbs>>, will
have the opportunity to present a 20-minute talk on their work. The
final papers, based on 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 Universal Computer Science
(electronic journal, <<http://www.iicm.edu/jucs>>).
Deadlines
February 29, 2000 Extended Abstract Submissions
April 6-7, 2000 Extended Abstracts Presentation
June 9, 2000 Full Papers Submission
Workshop Co-Chairs
Miroslav Sveda (IEEE Computer Society), E-mail:<<[log in to unmask]>>
Dept. of Computer Science and Engineering, Technical University of Brno,
Czech Republic.
Charles Rattray (IFIP TC 10), Email: <<[log in to unmask]>>
Dept. of Computing Science and Mathematics, University of Stirling, UK.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|