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. Two 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 in the Universidad Complutense de Madrid.
FORTE 2004 is especially 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.