The due date for abstracts remains 1 May 2000, while the due date for papers has been extended to 3 May 2000. If you have any questions, about whether a potential submission is relevant, please contact us. The workshop has succeeded in combining a widely cited and prestigious forum for publication with an informal, yet focused, setting for discussions. The tenth workshop, like its predecessors, seeks to provide a forum in which proponents of and experimenters with different theories, methods, and techniques can interact in an informal yet focused setting. The program will be organized around parallel working groups and plenary sessions to report on progress made within each group.
Attendance is limited, by invitation only based on paper submission.
Contributions are sought across the broad range of work in software specification and design. Of particular interest is the rationale underlying the work, particularly if it identifies gaps in research or difficulties not yet well understood. Papers should not exceed eight pages, including figures. Submissions will be refereed, and a selection will be included in the workshop proceedings. Technical papers will be evaluated for originality, significance, soundness and clarity.