CFP: GETCO'00 (a satellite to CONCUR'00)

CFP: GETCO'00 (a satellite to CONCUR'00)

[Christophe Tabacznyj]

_________________________________________________________________________

                       PRELIMINARY ANNOUNCEMENT
                               AND
                          CALL FOR PAPERS

                             GETCO'00

  2nd Workshop on Geometric and Topological Methods in Concurrency Theory

                  http://www.dmi.ens.fr/~goubault/getco.html

                       a satellite to CONCUR'00

                       PennState, 21st of August 2000
           (to coincide with EXPRESS'00, another satellite)
_________________________________________________________________________

(apologies for multiple copies)

This workshop follows last year's "Geometric and Topological Methods in
Concurrency Theory" meeting held at Aalborg University. The aim is to bring
together researchers that apply geometric, topological and algebraic topological

methods to formalize and analyze dynamical, concurrent and distributed systems.

The spirit of the meeting will be informal and will focus on exchange
of information and discussion.  It will consist of a number of tutorials,
invited
talks, together with accepted papers. Abstracts and work in progress
reports are encouraged. The submission deadline is the 19th of may.

For more information please see URLs

GETCO'00        http://www.dmi.ens.fr/~goubault/getco.html
CONCUR'00       http://www.cse.psu.edu/concur2000/
EXPRESS'00      http://www.docs.uu.se/~victor/Express/express00.shtml
GETCO'99        http://www.math.auc.dk/~raussen/admin/workshop/workshop.html
_________________________________________________________________________