Welcome to

2nd International Workshop on Applied Formal Methods in System Design June 18-19, 1997, Zagreb, CROATIA

co-located with

ConTEL 97 - 4th International Conference on Telecommunications

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).

Invited Talk

Prof. Rance Cleaveland, Department of Computer Science, North Carolina State University, Raleigh

Preliminary Program


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

Important Dates

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.

Programme Committee

Publicity Chair

Josip Juric, Croatia


Gordan Jezic, Croatia


We sincerely look forward to your participation in the Workshop!

Ignac Lovrek (ignac.lovrek@fer.hr)
Faculty of Electrical Engineering and Computing
FER Department of Telecommunications
HR-10000 Zagreb
Unska 3
Tel. +385 1 612 98 02
Fax. +385 1 612 98 32

Information System for ConTEL 97
and related events provided by: