- a series of 9 lectures on
*Universal Algebra and Diagrammatic Reasoning*given by John Baez (guest speaker, University of California, Riverside) - a series of 5 lectures on Homotopy and Concurrency proposed by Eric Goubault (scientific co-organizer, CEA)
- a series of 4 lectures on Geometry of Rewriting proposed by Yves Lafont (scientific co-organizer, Université de la Méditerranée & CNRS-IML)

Monday January 30

**9h-10h***Universal Algebra and Diagrammatic Reasoning 1*by John Baez**10h30-11h30***Universal Algebra and Diagrammatic Reasoning 2*by John Baez- 12h Light drink at Institut de Mathématiques de Luminy

**14h-15h30**Homotopy and Concurrency 1 :*Introduction to geometric models of concurrency*by Eric Goubault & Emmanuel Haucourt**16h-17h30**Homotopy and Concurrency 2 :*The fundamental category*by Marco Grandis

**9h-10h30***Universal Algebra and Diagrammatic Reasoning 3*by John Baez**11h-12h30***Universal Algebra and Diagrammatic Reasoning 4*by John Baez

**14h-15h30**Geometry of Rewriting 1 :*Matrices as gates*by Yves Lafont**16h-17h30**Geometry of Rewriting 2 :*Higher dimensional word problems****by Albert Burroni

Wednesday February 1

**9h-10h30***Universal Algebra and Diagrammatic Reasoning 5*by John Baez**11h-12h30**Homotopy and Concurrency 3 :*Component categories*by Eric Goubault & Emmanuel Haucourt

**14h**Excursion

**9h-10h30**Geometry of Rewriting 3 :*Higher dimensional rewriting*by Yves Guiraud**11h-12h30**Geometry of Rewriting 4 :*Computations between computations*by Yves Lafont

**14h-15h30***Universal Algebra and Diagrammatic Reasoning 6*by John Baez**16h-17h30***Universal Algebra and Diagrammatic Reasoning 7*by John Baez

**9h-10h30**Homotopy and Concurrency 4 :*Minimal models and components*by Marco Grandis

**11h-12h30**Homotopy and Concurrency 5 :*The fundamental 2-category*by Marco Grandis

**14h-15h30***Universal Algebra and Diagrammatic Reasoning 8*by John Baez**16h-17h30***Universal Algebra and Diagrammatic Reasoning 9*by John Baez

Lecture notes

- John
Baez, Universal Algebra and
Diagrammatic Reasoning (pdf, pdf
with hyperlinks, web
page)

- Eric Goubault & Emmanuel Haucourt, Directed Algebraic Topology and Concurrency (pdf)
- Marco Grandis, Modelling the fundamental category of a directed space (pdf)

- Yves Lafont, Matrices as gates (web page)
- Albert Burroni,
Higher dimensional word problems
(pdf)

- Yves Guiraud, Higher dimensional rewriting (pdf
for printer, pdf
for display)

- Eric Goubault, Some geometric perspectives in concurrency theory, Homotopy, Homology and Applications 2, p. 95-136, International Press (2003) (pdf)
- L. Fajstrup, M. Raussen, Eric Goubault, Emmanuel Haucourt, Components of the Fundamental Category, Applied Categorical Structures 12 (1), p. 81-108, Springer (2004) (pdf)
- Eric Goubault, Emmanuel Haucourt, A practical application of geometric semantics to static analysis of concurrent programs, proceedings of CONCUR'05, San Fancisco (pdf)

- Albert Burroni,
*Higher dimensional word problem with application to equational logic*, Theoretical Computer Science 115, p. 43-62, Elsevier (1993) (pdf)

- Yves Lafont, A new
finiteness condition for monoids presented by complete rewriting systems,
Journal of Pure and Applied Algebra 98, p. 229-244, Elsevier (1995) (pdf)

- Yves Lafont,
*Towards an Algebraic Theory of Boolean Circuits,*Journal of Pure and Applied Algebra 184 (2-3), p. 257-310, Elsevier (2003) (pdf) - Yves Guiraud,
*Termination orders for 3-dimensional rewriting*, Journal of Pure and Applied Algebra (to appear) (pdf)

Social events

- exhibitions in Marseille
- renting a bike at Luminy (Maison des Transports, see bike trip to Campagne Pastré)
- rock climbing in Calanques (contact: Yves Lafont)

- Wednesday February 1, 14h : walk to Cap Morgiou (2-3 hours, contact: Yves Lafont)
- Wednesday February 1, 16h : arrival of Etoile de Bessège at Luminy (course cycliste, circulation interrompue de 15h45 à 16h45)

- Saturday February 4, 10h : bike trip to Campagne Pastré

- Saturday February 11, 15h30 : observation of Mont Canigou from
Marseilleveyre (contact: Yves
Lafont)