Third International Workshop on
Pomsets
and
Related Structures
RaPS
The third international workshop on Pomsets and Related Structures will take place at the Plateau de Saclay, south of Paris, on 11 and 12 September 2025. It is collocated with an edition of the Paris ACTS.
The workshop is associated with the (i)Po(m)set Project, a research project at the crossroads of concurrency theory, automata theory, algebra, and geometry. This third edition follows RaPS workshops held in Rennes in April 2024 and in Rzeszów in June 2025.
Venues
The workshop will take place at ENS Paris-Saclay (Thursday 11 September) and at École polytechnique (Friday 12 September).
- Instructions for getting to ENS Paris-Saclay
Program (preliminary)
Thursday 11 September, at ENS Paris-Saclay, Amphi 1B36:
- 9:00
- Welcome
- 9:30
- Invited talk: Enzo Erlich, Kamp theorem for higher dimensional automata
- 10:15
- Break
- 10:30
- Invited talk: Safa Zouari, Symmetrising higher dimensional automata for a pomset-based account of hhp-bisimulation
- 11:15
- Break
- 11:30
- Invited talk: Rob van Glabbeek, Mutual exclusion: verification and impossibilities
- 12:15
- Break
- 13:30
- Discussion
- 15:30
- Break
- 16:00
- Discussion
- 17:30
- End
Friday 12 September, at École polytechnique:
- 9:00
- Welcome
- 9:30
- Invited talk: Eric Goubault, Directed homotopy and homology
- 10:00
- Invited talk: Augustin Albert, A category of modules for directed topology in computer science
- 10:30
- Break
- 10:45
- Invited talk: Sergio Rajsbaum, Generalizations of linearizability
- 11:25
- Break
- 11:35
- Invited talk: Philipp Schlehuber-Caissier, From Petri nets to higher-dimensional automata
- 12:15
- Break
- 13:30
- Discussion
- 15:30
- Break
- 16:00
- Discussion
- 17:30
- End
Participants
- Augustin Albert, LIX, École polytechnique, Paris, France
- Amazigh Amrane, LRE, EPITA Paris, France
- Dylan Bellier, IRISA, Rennes, France
- Dietmar Berwanger, LMF, Université Paris-Saclay, France
- Benjamin Bisping, Technische Universität Berlin, Germany
- Patricia Bouyer-Decitre, LMF, Université Paris-Saclay, France
- Emily Clement, LIPN, Université Sorbonne Paris Nord, France
- Jérémy Dubut, LIX, École polytechnique, Paris, France
- Sven Dziadek, Télécom SudParis, France
- Enzo Erlich, IRIF, Université Paris Cité, France
- Uli Fahrenberg, LMF, Université Paris-Saclay, France
- Marie Fortin, IRIF, Université Paris Cité, France
- Gaspard Fougea, LMF, Université Paris-Saclay, France
- Sam van Gool, LMF, Université Paris-Saclay, France
- Eric Goubault, LIX, École polytechnique, Paris, France
- Jakub Hajdas, Paris, France
- Bernardo Hummes Flores, LIX, École polytechnique, Paris, France
- Jean Krivine, IRIF, Université Paris Cité, France
- Laetitia Laversa, LRE, EPITA Rennes, France
- Jérémy Ledent, IRIF, Université Paris Cité, France
- Max Michel, Paris, France
- Sergio Rajsbaum, Universidad Nacional Autonoma de Mexico
- Rania Saadi, LRE, EPITA Paris, France
- Philipp Schlehuber-Caissier, Télécom SudParis, France
- Georg Struth, The University of Sheffield, UK
- Rob van Glabbeek, The University of Edinburgh, UK
- Krzysztof Ziemiański, University of Warsaw, Poland
- Safa Zouari, NTNU, Gjøvik, Norway
Sponsors
