Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Forte 2004 (Madrid)
[go: Go Back, main page]

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

Home Conference Venue Conference Programme Registration & Hotels IFIP Travel Grants Call for Papers Important dates Paper submission Contact Persons Steering Committee Program Committee Organizing Committee Colocated Workshops History Forte / PSTV

FORTE 2004

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

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

Luis Fernando Llana Díaz

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

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