[TYPES] FORTE'04 Call for Participation

[fernando at sip.ucm.es]

[Apologies for multiple copies]

                                 FORTE 2004

                              IFIP TC 6 / WG 6.1
                     The 24th IFIP International Conference
                                    on
            Formal Techniques for Networked and Distributed Systems

                         September 27th - 30th, 2004
                                 Madrid, Spain
                     http://antares.sip.ucm.es/~forte2004/

                              CALL FOR PARTICIPATION

============================================================================
Dear colleague,

enclosed please find the Call for Participation for Forte 2004 to be
held in Madrid (Spain).

Advance registration deadline is 15 July and recommended hotel 
reservation deadline is end of July. You can find more 
information on how to register at our web site
   http://antares.sip.ucm.es/~forte2004/hotelesFinal.php

Forte 2004 features are:

* Invited Talks by Martin Abadi, Tommaso Bolognesi
  and Juan Quemada.
* 2 Tutorials by Roberto Gorrieri and Farn Wang.
* Presentations are structured as:
  - 20 regular papers distributed in 7 technical sessions. 
  - A work-in-progress and tools session including 6 presentations.
  The covered topics are:
   Application of FDTs, Verification and Testing of Protocols and
   Distributed Systems, Timed Automata, and Security Protocols

* 3 workshops colocated with Forte to be held in Toledo (Spain) 
  right after Forte (October 1st and 2nd).  
  - EPEW 2004: European Performance Engineering Workshop
  - ITM 2004: Workshop on Integration of Testing Methodologies
  - TheFormEMC: Workshop on Theory Building and Formal Methods 
                in Electronic/Mobile Commerce
  You can find more information about the workshops at
     http://antares.sip.ucm.es/~forte2004/workshops.php
  Transfer to Toledo will be provided to Forte participants. 
  Registration for the workshops is also managed through Forte's
  registration system:
     http://antares.sip.ucm.es/~forte2004/hotelesFinal.php

The proceedings of Forte and of the colocated workshops 
are published by Springer-Verlang in the LNCS series.

IFIP TC 6.1 provides student travel grants for visiting Forte 2004. 
The conditions for application are given at
   http://antares.sip.ucm.es/~forte2004/becas.php

Looking forward to meeting you at Forte 2004,

David de Frutos-Escrig
Manuel Nunez
Forte 2004 Chairmen