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

• Official course website
• Uli Fahrenberg
• The (i)Po(m)set Project

Plan of the course:

2026-09-15:

1. Elements of Higher-Dimensional Automata Theory / UF: initial presentation
2. Bibliography
3. Planning: who does what?

2026-09-22: