Please excuse if you received that Call for Participation several times. =========================================================================

FORTE 2003

Application of Formal Description Techniques in Internet and Communication Domains

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

September 29th - October 2nd, 2003 Berlin, Germany http://www.forte2003.de.vu

CALL FOR PARTICIPATION

============================================================================

Dear colleague,

enclosed please find the Call for Participation for Forte 2003,September 29th - October 2nd, 2003, Berlin, Germany organized by by BTU Cottbus, the Brandenburg University of Technology at Cottbus, and Technical University of Berlin.

Advance registration deadline is August 15th and recommended hotel reservation deadline is beginning of August 2003. You can find more information on how to register at our web site

http://www.forte2003de.vu (Conference Programme and Registration/Hotels)

Forte 2003 features are:

* Invited Talks by Manfred Broy (Germany), Jonathan Billington (Australia),Jean-Pierre Courtiat (France) * a Keynote by Andy Gurd, Telelogic * 3 Tutorials on SDL Pattern, UML, and Diagnosises in Discrete Event Systems * 24 full and 5 work-in-progress papers covering aspects such as Application of FDTs, Verification and Testing of Protocols and Distributed Systems, Timed Automata, and Security Protocols * a Working Session on the practicability of formal description techniques.

IFIP TC 6.1 provides a student travel grant for visiting Forte 2003. The conditions for application are given at the Forte web page.

Looking forward meeting you at Forte 2003,

Hartmut Koenig, Monika Heiner, and Adam Wolisz and Ina Schieferdecker.