Seventh workshop on Geometric and Topological Methods in Concurrency GETCO 2005 Affiliated with CONCUR 2005 Venue: San Francisco, California Conference dates: CONCUR: 23-26 August 2005 GETCO: 21 August 2005 Call for Participation NOTE: Early registration closes 27 July Scope 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 modeled 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 GETCO workshops aim 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. Workshop Programme (preliminary) 9:00 OPENING 9:05-10:00 E. Haucourt: Comparing Topological Models for Concurrency 10:00-10:30 COFFEE BREAK 10:30-11:30 S. Krishnan: A Convenient Category of Locally Ordered Spaces 11:30-12:30 P. Gaucher: T-Homotopy and Refinement of Observation 12:30-14:15 LUNCH 14:15-15:30 Invited Talk: P. Panangaden: TBA 15:30-16:00 COFFEE BREAK 16:00-17:00 U. Fahrenberg: Bisimulations of Higher-Dimensional Automata Lift Directed Paths 17:00 DISCUSSION Programme Committee * Patrick Cousot, Ecole Normale Supérieure, France * Lisbeth Fajstrup, Aalborg University, Denmark * Eric Goubault, Commissariat à l'Energie Atomique, France * Maurice Herlihy, Brown University, Providence, RI, USA * Kim G. Larsen, Aalborg University, Denmark * Martin Raussen, Aalborg University, Denmark Contact Additional information can be obtained from the GETCO website at http://www.math.aau.dk/~uli/getco05 or by taking contact to Ulrich Fahrenberg Department of Mathematical Sciences, Aalborg University Fredrik Bajers Vej 7G 9220 Aalborg East Phone: +45 96 35 88 00 Fax: +45 98 15 81 29 Email: uli@math.aau.dk 24-Jul-2005 17:01:31 -0300,3948;000000000000-0000000a