Workshop on Topology and Concurrency

The workshop will take place in the period September 27-30 at Aalborg University in connection with the

 Ph.D. Defenses by
Rafael Wisniewski and Ulrich Fahrenberg

Department Address: Fredrik Bajers Vej 7G, 9220 Aalborg Ø - Here you can find information on how to get to the department

The talks as well as the defences will all take place in the Auditorium of the NOVI Building, 100 m  from the department

Local organizers: Lisbeth Fajstrup and Martin Raussen

Workshop participants are kindly asked to contact one of the organizers fajstrup@math.aau.dk or raussen@math.aau.dk.

For practical questions (accommodation, lunch etc.) please contact the workshop secretary, Merete Heide, merete@math.aau.dk

PROGRAMME

Tuesday, September 27
13.00-
Ph.D. Defence by Rafael Wisniewski, Aalborg University, of the thesis: Flow Lines under Perturbations within Section Cones (abstract, pdf-file)

After the defence there will be a small reception at the Department, room G5-108.   

Wednesday, September 28

11.00
David E. Hurtubise, Penn State, USA:  Morse-Bott Homology (abstract, pdf-file)

13.00

Ph.D. Defence by Ulrich Fahrenberg, Aalborg University, of the thesis: Higher-Dimensional Automata from a Topological Viewpoint (abstract, pdf-file)

After the defence there will be a small reception at the Department, room G5-108.

Thursday, September 29

09.00
Marcel Bökstedt, Aarhus University, Denmark: The homology of the free loop space of projective spaces (abstract, pdf/file)

10.30
Glynn Winskel, Cambridge University, UK: Relations for Concurrency (abstract, pdf-file)

13.30
Kathryn Hess, EPF Lausanne, Switzerland: Operads and their (bi)-modules - with plenty of examples  (abstract, pdf-file)

15.00
Éric Goubault, CEA Paris, France: An application of geometry to static analysis of concurrent programs (abstract, pdf-file)

Friday, September 30

09.00
Lisbeth Fajstrup, Aalborg University, Denmark: Cubical complexes in Concurrency theory. Discrete and continuous models for directed lifting problems in HDA (abstract, pdf-file)

10.30
Martin Raussen, Aalborg University, Denmark: Directed Topology as a tool in Concurrency Theory: Trace
Categories, Homotopy, Homology and Localizations (abstract, pdf-file)

14.00
Krzysztof Worytkiewicz, University of Western Ontario: Model categories for local po-spaces (abstract, pdf-file)

Rev.: Sunday, 26-Aug-2007 23:07:56 CEST