GETCO 2001: Workshop Programme

Location: Fredrik Bajersvej 7 A4-106

Saturday, August 25
9:00 - 9:10
OPENING
9:10 - 10:30
  Tutorial: Algebraic Topology and Concurrency: an Introduction   
                    by Eric Goubault
10:30 - 10:50
COFFEE BREAK
10:50 - 12:10
  Tutorial: Topology and Directed Topology
                    by Lisbeth Fajstrup and Martin Raussen
12:15 - 12:30
  Discussion
12:30 - 14:00
LUNCH
14:00 - 14:35
  Investigating the Algebraic Structure of Dihomotopy Types 
                    by Philippe Gaucher
14:40 - 15:15
  Cyclic and Partial Order Models for Concurrency 
                    by Stefan Haar
15:15 - 15:30
  Discussion
15:30 - 15:50
COFFEE BREAK
15:50 - 16:25
 A geometric Semantic for Dialogue Game Protocols for autonomous Agent Interactions
                   by Peter McBurney and Simon Parsons
16:30 - 17:05
  A Note on Dimaps and Dihomotopy 
                   by Stefan Sokolowski
17:05 - 17:30
  Discussion, further developments etc.
17:30
RECEPTION (common room at E2)
 
Observe, that the reception (free crisps and wine) will be held at a different building (Fredrik Bajersvej 7E, Department of Computer Science). Maybe, we can agree on where to go out for dinner during the reception?

Follow-up

A follow-up workshop in a very informal style will be held at the Department of Mathematical Sciences, Aalborg University, Fredrik Bajersvej 7G, on August 27-28 (Monday and Tuesday). Everybody is welcome. Its programme will be announced during the workshop session on August, 25.
 

Back to workshop description

Last modified: Thu Aug 16 15:06:15 MET DST 2001