CALL FOR TUTORIAL PROPOSALS
Forte 2003
IFIP TC 6 / WG 6.1 The 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems
The 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (Forte 2003) will be held in Berlin,Germany, September 29th - October 2nd, 2003. We are currently seeking out individuals to present tutorials on topics of interest to this community.
FORTE denotes a series of international working conferences on formal description techniques (FDTs) applied to computer networks and distributed systems. FORTE 2003 is especially dedicated to the application of formal description techniques to practice, especially in communication and Internet domain. For possible tutorial topics which may be of interest, please see the conference website at
for more information. Proposals for related topics not included in the conference CfP are also welcome.
Proposals should be no more than four (4) pages and include the following: * Abstract describing the tutorial (including whether the tutorial will be 1/2 day or a full day). * A description of the target audience including prerequisite knowledge and experience. * A high-level table of contents and/or syllabus. * Speaker bio. * A/V equipment requirements.
Please send proposals via email directly to the conference co-chairs: forte-org@informatik.tu-cottbus.de
Important dates: * May 5th: Deadline for tutorial proposals * May 15th: Notification of acceptance
________________________________________________________________________
Prof. Dr. Hartmut K–nig Tel: +49 355 69 22 36 koenig@informatik.tu-cottbus.de Fax: +49 355 69 21 27 BTU Cottbus LS Rechnernetze und Kommunikationssysteme PF 10 13 44, D-03013 Cottbus, Germany http://www-rnks.informatik.tu-cottbus.de ________________________________________________________________________