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

Registration

Registration for RaPS #3 is free but mandatory. Please register before 1 September using the form at https://framadate.org/eE6Bm4EqOkrtEw9q.

Program (preliminary)

Thursday 11 September, at ENS Paris-Saclay:

9:00
Welcome
9:30
Invited talk: Enzo Erlich, TBA
10:15
Break
10:30
Invited talk: Safa Zouari, TBA
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:15
Break
10:30
Invited talk: Augustin Albert, A category of modules for directed topology in computer science
11:15
Break
11:30
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

Sponsors

LMF logo Chaire ASC logo

Contact

uli@lmf.cnrs.fr