Coordination of concurrent processes is a central problem within distributed computing. This is an important but difficult subject because modern multiprocessor systems are inherently asynchronous. In recent years, a variety of mathematical methods have been proposed to model concurrency situations. 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.

We hope that these are just the first steps in a fruitful interaction between researchers from geometric and algebraic topology and from concurrency theory. Problems within concurrency yield a new "playing ground" for topologists that hopefully can provide new models and solutions for these problems.

The workshop is directed towards researchers interested in geometric reasoning and modelling dealing with concurrency theory. These topics will be in focus in a forthcoming volume on `` Geometry and Concurrency'' of the journal ``Mathematical Structures in Computer Science''. The workshop aims at bringing together researchers from both the mathematical and computer scientific side with an active interest in these or related developments. We plan to have a workshop of a moderate size with few lectures per day leaving plenty of time for stimulating informal discussions.

The first two days (June, 21 - 22) will have an introductory character and comprise a tutorial; this will hopefully be attractive for non-specialists and Ph.D.-students.

There are some moderate funds available from the Department, from the Danish National Science Foundation, and from the BRICS (Basic Research in Computer Science) programme

• to pay some of the keynote speakers, and
• to give limited support to participants' travel and living expenses.

If you are interested or need more information, please contact the organizers.

Registration

Accomodation

Travel

Special events

List of Participants

Schedule and Abstracts

Information about Aalborg and Aalborg University