_________________________________________________________________________ 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 _________________________________________________________________________