Initiation to research / Uli Fahrenberg:
Modeling and analysis of concurrent systems

Plan of the course:

2026-09-15:

  1. Elements of Higher-Dimensional Automata Theory / UF: initial presentation
  2. Bibliography:
    1. Closure and Decision Properties for Higher-Dimensional Automata
    2. Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
    3. Posets With Interfaces as a Model for Concurrency
    4. Petri Nets and Higher-Dimensional Automata
    5. Series–parallel languages and the bounded-width property
    6. Concurrent Kleene algebra (PhD thesis)
    7. Brzozowski Goes Concurrent
    8. Concurrent Kleene algebra and its foundations
    (Do not hesitate to find other material; but ask me before going too deep.)
  3. Planning: who does what?
  4. Algorithm for preparing a presentation:
    1. Choose paper to present
    2. Skim paper
    3. Talk with me about the paper and which parts are important to understand and present
    4. Prepare presentation
    5. (Optional) Get back to me to have feedback on presentation
    6. Present paper!

2026-09-22:

  1. Posets With Interfaces as a Model for Concurrency / Lucas
  2. Discussion on iposets and their (categorical) algebra / UF

2026-09-29:

  1. Closure and Decision Properties for Higher-Dimensional Automata / Vladimir
  2. Petri Nets and Higher-Dimensional Automata / Paul

2026-10-06: CANCELED

2026-10-13:

  1. Discussion on the place of AI in research and on the general state of research in France and internationally / all
  2. Presentation and discussion of possible research directions / UF
  3. Discussion of branching HDAs / all

2026-10-20: CANCELED