Please excuse if you received that Call for Participation several times. =========================================================================
The extended early registration deadline (due to holiday time)of September 5th is approaching. Please register soon to benefit from the reduced conference fees. We finalized the conference program and added an after conference 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.