The aim of the Workshop is to bring together researchers and practitioners interested in the application of formal methods in system design and to provide a forum for participants in the European research action on Verification and Validation Methods for Formal Descriptions (COST 247) from various countries to present, discuss and compare their work. The purpose of the Action COST 247 is the co-ordination of national efforts to analyse, classify and come up with new and efficient techniques and tools for concurrent software verification and validation in order to enhance the applicability of formal methods to practical examples and thus improve the efficiency of software production cycles for complex distributed systems.
The First International Workshop on Applied Formal Methods in System Design was held in Maribor, Slovenia, June 17-19, 1996 (URL http://www.el.feri.uni-mb.si/lms/cost247).
Prof. Rance Cleaveland, Department of Computer Science, North Carolina State University, Raleigh
Authors are invited to submit a paper not exceeding 5000 words or 16 pages exclusively by e-mail to the following address:
The papers will be selected from full texts. It is expected that the accepted paper will be personally presented at the Workshop by one of the authors. The notification of acceptance as well as all other communication with authors will be per e-mail.
We are soliciting research teams to prepare short tutorials and demonstrations of their formal specification, verification and validation tools. It is desired to enable the participants to try tools at the site on examples. In the proposal please indicate the hardware and software requirements for installation of your tools.
The language of the Workshop is English.
Suggested Case Study
Authors are kindly invited to prepare a paper on verification of the suggested example protocol
High Performance Serial Bus IEEE P1394 Standard (Link Layer). You can retrieve the specification in µCRL from Mr Bas Luttik's Home Page.
An informal introduction to P1394 is also available.
Special offer for the suggested case study: Submission Deadline April 7, 1997
Full Paper: April 15, 1997
Notification of Acceptance: May 6, 1997
Proposals for tool demonstrations: April 15, 1997
Camera-Ready Paper Due: May 20, 1997
Workshop Proceedings will be handed out at the Workshop.
- Ignac Lovrek, Croatia, chairman
- Zmago Brezocnik, Slovenia
- Hubert Garavel, France
- Jan Friso Groote, The Netherlands
- Kemal Inan, Turkey
- Tatjana Kapus, Slovenia
- Marijan Kunstic, Croatia
- Guy Leduc, Belgium
- Fredrik Orava, Sweden
- Juan Quemada, Spain
- Steve Schneider, UK
- Scott A. Smolka, USA
Josip Juric, Croatia
Gordan Jezic, Croatia
- Action COST 247
- Croatian Telecommunications Society
- Faculty of Electrical Engineering and Computing, University of Zagreb
- IEEE Croatia Section
Ignac Lovrek (firstname.lastname@example.org)
Faculty of Electrical Engineering and Computing
FER Department of Telecommunications
Tel. +385 1 612 98 02
Fax. +385 1 612 98 32
Information System for ConTEL 97
and related events provided by: