peace yes 24th IFIP WG 6.1 International Conference on
Formal Techniques for Networked and
Distributed Systems FORTE 2004
27-30 September, 2004, Madrid, Spain

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.

Luis Fernando Llana Díaz

| Valid CSS! | Valid HTML 4.01! | Triple-A W3C-WAI conformance level |

This page is best viewed whith a CSS 2.1 compliant navigator, ff)Ûnstance mozilla, netscape (version 6 or later), opera, konqueror or safari. Unfortunately MS Internet Explorer 6 it is not.