FORTE 2004

Submission to Forte'04 is closed

FORTE'04 proceedings are now available online as volume 3235 of the LNCS series.

The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) is focused on formal methods for communication protocols. FORTE is the new name of the joint FORTE/PSTV meeting, which has combined FORTE and PSTV into a single joint meeting since 1996.

Local organization: Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid.