4th workshop on 

GEometric and
Topological methods
in COncurrency
and distributed systems theory
GETCO 2002
 
 
hosted by 

sponsored by 


and by

Venue: ENSEEIHT, Toulouse, France

Conference dates:
DISC: October 28-30, 2002
GETCO:    October 30-31, 2002

Call for papers

Scope of the workshop

The main mathematical disciplines that have been used in computer science are discrete mathematics (especially, graph theory and ordered structures), logics (mostly proof theory for all kinds of logics, classical, intuitionistic, modal etc.) and category theory (cartesian closed categories, topoi etc.). General Topology has also been used for instance in denotational semantics, with relations to ordered structures in particular.

Recently, ideas and notions from mainstream "geometric" topology and algebraic topology have entered the scene in Concurrency Theory and Distributed Systems Theory (some of them based on older ideas). They have been applied in particular to problems dealing with coordination of multi-processor and distributed systems (see the  historical note ). Among those are techniques borrowed from algebraic and geometric topology: Simplicial techniques have led to new theoretical bounds for coordination problems. Higher dimensional automata have been modelled as cubical complexes with a partial order reflecting the time flows, and their homotopy properties allow to reason about a system's global behaviour.

The first workshop on the subject  Geometric and Topological Methods in Concurrency Theory  has been held in Aalborg, Denmark, in June 1999. GETCO 2000 was organised as a workshop affiliated with CONCUR 2000 at Penn State University. GETCO 2001 was organised as a workshop affiliated with CONCUR 2001 at Aalborg University. The recent volumes 10 of Math. Struct. in Comp. Science and 39, issue 2, of Electr. Notes Theor. Comp. Science have been devoted to this area.

The 4th workshop in this series will be organised as a satellite to DISC 2002 at ENSEEIHT in Toulouse (Oct.28 - Oct.30). It aims at bringing together researchers from both the mathematical (geometry, topology, algebraic topology etc.) and computer scientific side (concurrency theorists, semanticians, algorithmicians, researchers in distributed systems etc.) with an active interest in these or related developments.

Topics include (but are not limited to) Algorithmics for Concurrent or Distributed Systems, Semantics, Concurrency Theory, Model-checking, Abstract Interpretation, Fault-tolerant Protocols for Distributed Systems, Geometrical/Topological models, Applications of algebraic topology, Category theory etc.

Paper submission

The deadline for submission to the workshop is July 19, 2002 (midnight). Submissions may be of two forms: Both forms of submission should include a separate page with the following informations: title, author(s), corresponding author, contact information and a 12-15 lines summary. Simultaneous submission to other conferences or journals is only allowed for short abstracts.

Electronic submission is strongly encouraged. The paper or abstract should be sent by e-mail in the form of a postscript file to both the addresses raussen@math.auc.dk and Eric.Goubault@cea.fr. The accompanying page should be sent in a separate email message. If surface mail has to be used, then 3 copies of the paper/abstract should be sent to: Eric Goubault, DTSI/SLA, bat. 528, CEA Saclay, 91191 Gif-sur-Yvette, France.

Programme

A preliminary programme (as of 28th of august 2002) can be found here

Publication

Contacts have been taken so that accepted papers will be made available in the BRICS Notes series.
Contacts have been taken with Electronic Notes in Theoretical Computer Science to publish the proceedings of the workshop - full papers only - in a special volume. The programme committee will decide upon necessary revisions and acceptance of papers to this volume after the workshop.

Registration

The registration for GETCO 2002 is made through the registration for DISC 2002.

Programme Committee:

Important Dates

Local Organization

Contact Person

This web page will be updated periodically to take account of any developments. Additional information can be obtained directly from:

Eric Goubault
DTSI/SLA, bat. 528
CEA/Saclay
91191 Gif-sur-Yvette
France
Phone: (+33) 1 69 08 94 72
Fax: (+33) 1 69 08 83 95
Email: Eric.Goubault@cea.fr

Last modified: Wed Aug 28 15:03:27 MET DST