Algebra and Computation

Winter school lectures as part of GEOCAL'06

Week 1: January 30 - February 3

Marseille - Luminy - CIRM

• 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)

• 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

• 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

• 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)

• 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)