All lectures take place at Kroghstræde 3, room 2-128.

• Monday, June 21
  • 08:30 - 09:00 Registration
  • 09:00 - 10:45 Luca Aceto & Kim G. Larsen (Aalborg University): A tutorial on classical concurrency therory (for non-specialists) (ps)
  • 11:00 - 11:45 E.Goubault, (CEA Saclay, France): An introduction to Geometry and Concurrency I ( ps-file, including list of references)
  • 11:45 - 12:45 Lunch
  • 12:45 - 13:30 Eric Goubault: An introduction to Geometry and Concurrency II
  • 13:45 - 15:30 Lisbeth Fajstrup & Martin Raussen (Aalborg University): Tutorial: A quick introduction to basic algebraic topology (for non-specialists) (ps)
• Tuesday, June 22
  • 09:00 - 10:45 Maurice Herlihy(Brown University, Providence RI, USA) & Sergio Rajsbaum(UNAM, Mexico): Applications of Algebraic Topology to Distributed Systems I(ps)
  • 11:00 - 11:45 Ronnie Brown (Bangor University, UK): `Higher dimensional' tools for local-to-global problems I(ps)
  • 11:45 - 12:45 Lunch
  • 12:45 - 13:30 Ronnie Brown: `Higher dimensional' tools for local-to-global problems II
  • 13:45 - 15:30 Maurice Herlihy & Sergio Rajsbaum: Applications of Algebraic Topology to Distributed Systems II
• Wednesday, June 23
  • 09:00 - 10:45 Lisbeth Fajstrup & Martin Raussen (Aalborg University): Some first steps in "ditopology"(ps)
  • 11:00 - 11:40 Ronnie Brown: `Higher dimensional' tools for local-to-global problems III
  • 11:50 - 12:30 J. Goubault-Larrecq, (G.I.E. Dyade and INRIA, Le Chesnay, France): Simplicial Sets Provide Models for Intuitionistic S4 Proof Terms (ps)
  • 12:30 - 13:30 Lunch
  • 13:30 - 24:00 Excursion to Skagen
• Thursday, June 24
  • 09:00 - 10:45 Vaughan Pratt (Stanford University): Higher Dimensional Automata via Chu Spaces
  • 11:00 - 11:45 Stefan Sokolowski (Polish Academy of Sciences and Kansas State University): Problems with functoriality of homotopy structures for concurrent processes I ( ps)
  • 11:45 - 12:45 Lunch
  • 12:45 - 13:30 Stefan Sokolowski: Problems with functoriality of homotopy structures for concurrent processes II
  • 13:45 - 15:30 Philippe Gaucher (Univ. Strasbourg): Concurrency and homological algebra ( ps)
• Friday, June 25
  • 09:00 - 11:45 Glynn Winskel & Thomas Hildebrandt (Aarhus University): Bisimulation from open maps, its current status ( ps)
  • 11:45 - 12:45 Lunch
  • 12:45 - 15:30 Supplements, open ends, future prospects, discussion (to be planned during the workshop)

Back to Announcement