24th IFIP WG 6.1 International Conference on
Formal Techniques for Networked and
Distributed Systems FORTE 2004
27-30 September, 2004, Madrid, Spain
Forte denotes a series of international working conferences on formal description techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both series were united to FORTE / PSTV in 1996. Three years ago the conference changed the name to its current form. FORTE provides a forum for researchers and users to review, discuss, and learn about new approaches, concepts, and experiences in the field of formal description techniques and their application.
The 24th FORTE conference will be held in Madrid. It is organized by the Departamento de Sistemas Informáticos y Programación at the Universidad Complutense de Madrid. FORTE 2004 is dedicated to the application of formal description techniques to practice, especially in the Internet domain. The conference will consist of tutorial sessions on the first day, followed by presentations of reviewed and invited papers, tool demonstrations, and panel and working sessions.
FORTE'04 will provide a forum for researchers and users to review, discuss, and learn about new approaches, concepts and experiences in the application of formal methods such as finite state machines, process algebras, Petri nets and logics and formal description techniques including SDL, UML, LOTOS, MSC, ASN.I, and others. Topics of interest include, but are not restricted to:
We strongly encourage the submission of papers with practical applications especially in the areas of multimedia applications, wireless and mobile communication protocols, client/server applications, secure systems/environments, e-business and mobile commerce, and other Internet applications.
Several types of contributions are solicited:
Only original papers, i.e. not submitted nor published elsewhere, should be submitted. Papers should be submitted electronically in PDF format using web page that will be available nearer the deadline.
All accepted full papers will be published in Lecture Notes in Computer Science series of Springer. Work in progress papers will be published in a separate volume at the conference. To facilitate the production of the final proceedings we strongly recommend submissions to follow the LNCS style .
There will be a best paper award (500 euros) offered by IFIP TC6 for the author(s) of the best paper selected during the reviewing process.Luis Fernando Llana Díaz