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

Early registration deadline is August 15th. You can find more information on how to register at our web site. We actualized the conference program and included also an after cpnference tour to the castle of Sanssouci at Potsdam.

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.

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.

Looking forward meeting you at Forte 2003,

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