Venue
Hotel Information
Call for Papers and
WS Proposals
Advance Programme
Final Programme
Workshops
Formal Methods
Mobile Agents
Componenet-Based SE
Registration
Registration
On-line registration
Organization
Organizing Committee
Program Committee
Newsletter
|
IEEE
TC-ECBS and
IFIP WG10.1
3rd Joint Workshop
on
Formal Specifications of Computer-Based Systems
April
10-11 2002, Lund University, Lund, SWEDEN
Call for contributions (pdf)
Final Program (pdf)
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
to the workshop
Please submit 5-8 page extended
abstracts in Acrobat PDF or in PostScript (readable by GhostView) by Email
to m.sveda@computer.org by February
15, 2002. Authors of accepted abstracts, which will be published in
the Preprints Proceedings available at the Workshop, will have an 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 two months after the Workshop, will be published in a relevant
international journal.
Important
Dates
Important dates for submission of contributions:
Submission
date for extended abstracts:15 February,
2002
Presentation of extended abstracts:
10-11 April, 2002
Final papers due:
11 June, 2002
Workshop
Co-Chairs
Miroslav Sveda, Brno University of Technology, Czech Republic - sveda@dcse.fee.vutbr.cz
Charles Rattray, University of Stirling, UK - cr@cs.stir.ac.uk
|
Final Paper
Author Guidelines
Resources
TC ECBS Home
Computer Society
|
