*** EXTENDED DEADLINE ***
IEEE TC-ECBS and IFIP WG10.1
3rd Joint Workshop on Formal Specifications of Computer-based Systems
Lund, Sweden, April 10-11, 2002
(following the IEEE ECBS'2002 Conference,
http://www.cigital.com/conferences/ecbs02/)
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. In
paricular, we encourage studies focusing on integrating formal techniques
into system design and implementation, and on various applications or case
studies.
Submissions
Please submit 2-8 page abstracts in Acrobat PDF or in Postscript
(readable by Ghostview) by e-mail to <[log in to unmask]> by March 8,
2002. 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 abstracts and selected from the refereed
full-length versions submitted within two months after the Workshop,
will be published in a relevant international journal.
Deadlines
March 8, 2002 Abstract Submission
April 10-11, 2002 Presentation
June 11, 2002 Full Paper Submission
Workshop Co-Chairs
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]>
Charles Rattray, University of Stirling, UK
Email: <[log in to unmask]>
|