• This MGS tutorial http://www.spatial-computing.org/mgs/tutorial
• The MGS home page (new home page for the end of the year) http://mgs.spatial-computing.org
• MGS download (new home page for the end of the year) http://www.spatial-computing.org/mgs
• MGS example gallery http://mgs.spatial-computing.org/ImageGallery/
  • MGS publications
  • http://mgs.spatial-computing.org/PUBLICATIONS (old)
  • http://repmus.ircam.fr/giavitto/publications
  • http://www.lacl.fr/~michel/doku.php?id=research:start
  • http://www.lacl.fr/~michel/www/bib
  • http://www.lacl.fr/~aspicher/publications.html

• The Spatial Computing home page http://www.spatial-computing.org
• Last SCW conference http://www.spatial-computing.org/scw12:start

1. Motivation & Application domains
   1. Modelling Morphogenesis
   2. (DS)2: dynamical systems with a dynamical structure
2. MGS
   1. Collection
   2. Transformation
   3. A Functional Language
3. Applications
   1. Algorithmic Examples
   2. 1D Collections
   3. GBF
   4. Delaunay

1. Motivation & Application domains
   1. Spatial Computing
   2. Interaction Based Computing
2. MGS
   1. Abstract Combinatorial Complex
   2. Formalization
   3. A Functional Language
3. Applications
   1. Remeshing
   2. Growing a t
   3. Self-Assembly of Musical Spaces
   4. Growing an Ontology with the Little Riding Hood
   5. Growing an Analogy with Paul Ricœur

1. Motivation & Application domains
2. MGS
   1. Formlization
   2. Discrete Differential Operators
3. Applications
   1. A Generic Diffusion Operator
4. Implementation
   1. Incremental HOAS implementation of a DSL
   2. Beyond algebraic data type : a Generic Advanced API for Containers
   3. Generic pattern matching

1. Current Frontiers
   1. From Global to Local
   2. Synthetic Biology
   3. Multi-level and partial processes
   4. Hybrid Modelling
   5. Time

Clic on the top-level items to go to the corresponding web page.

1. Motivations and Target Application Domain
   1. Dynamical Systems with a Dynamical Structure (DS)² and Morphogenesis
   2. Interaction-based Computing
   3. Spatial Computing
2. MGS
   1. Collection and Transformation
   2. A Functional Language
   3. Small Collection (1D)
      1. Monoidal
      2. Group-Based
      3. Graph
      4. Delaunay
   4. Algorithmic Examples: primes, factorial, Fibonacci, convex hull, sort, maximum segment sum, …
   5. More elaborated examples:
      1. GBF : Eden, cellular automata
      2. Delaunay : flocking bird
   6. Abstract Combinatorial Complex
      1. Formalization
      2. Discrete differential operators
3. Applications
   1. Programming Unconventionnal Models
      1. Rewriting based
         1. Gamma, HOCL
         2. P systems Lindenmayer systems
         3. Fraglet
      2. Non-rewriting based
         1. Cellular and Lattice gaz automata
         2. Blob computing
         3. Proto
         4. Data parallelism
   2. Transition Systems and Verifications
      1. The Needham-Schroeder public-key protocol
      2. Integrated Regulatory Network (IRN)
   3. Self-assembly
   4. Biology
      1. Gastrulation
      2. Synthetic Biology: the iGEM'07 Paris project
      3. The Growth of a Meristem
   5. Music
      1. Tonnetz
      2. The All Interval Series
   6. Artificial Intelligence
   7. Extracting an Ontology without a priori : The Little Red Riding Hood
   8. Analogy through paths
4. Implementation
   1. Incremental HOAS Implementation of a Dynamic DSL
   2. Beyond algebraic data type : a Generic Advanced API for Containers
   3. Generic pattern matching
5. Current Frontiers
   1. From Global to Local
   2. Synthetic Biology
   3. Multi-level and partial processe
   4. Hybrid Modelling
   5. Time