The Coq mailing list

[Hartmut K�nig <koenig AT Informatik.TU-Cottbus.DE>]

                 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

          http://www.forte2003.de.vu/

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 AT 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 AT 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
________________________________________________________________________