First International Workshop on
Pomsets
and
Related Structures
RaPS
The first international workshop on Pomsets and Related Structures took place at EPITA Rennes on 24 April 2024.
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. Its 2024 edition was collocated with ATLAS'24 and was followed by the Journées GT DAAL.
Invited talk
Henning Basold,
Universiteit Leiden, The Netherlands:
Simplicial and Higher Coalgebras
There is an intricate link between concurrent systems and
homotopy theory that has been exploited, for instance, in
higher-dimensional automata and their languages. An
abstraction of computation is the theory of coalgebra, which
provides a general understanding of step-wise computation,
global behaviour, modal logic and many other concepts of
computation and reasoning. In this talk, I will provide first
an introduction to coalgebra in the setting of simplicial sets
and how concurrent computing can be understood there, albeit
being limited to the deterministic case for the time being.
We will then discuss what the roadblock to a coalgebraic view
on true concurrency with non-deterministic branching is.
After this, we will see that the link between computation and
homotopy theory goes very deep. This merits an abstract
development of homotopy theory for computation, for which I
will sketch an outline in the form of higher coalgebra, which
I understand as coalgebra in the context of higher categories.
We will discuss the intuition and ingredients that go into
such a theory, which will bring us back to coalgebras on
simplicial sets.
Program
- : Reception
-
- : Henning Basold: Simplicial and Higher Coalgebras. Slides
- : Coffee Break
-
- : Luc Edixhoven: Branching pomsets and event structures. Slides
- : Luca Bernardinello: The Synthesis Problem for Regional Algebras of Labelled Transition Systems. Slides
- : Lunch / discussion
-
- : Samy Abbes: Making concurrent systems probabilistic. Slides
- : Coffee Break
-
- : Fabio Gadducci: Concurrent semantics for fusions: Weak prime domains and connected event structures. Slides
- : Loïc Hélouët: Hyper Partial Order Logic. Slides
- : Discussion
Participants
- Samy Abbes, IRIF, Université Paris Cité, France
- Amazigh Amrane, LRE, EPITA Paris, France
- Henning Basold, Universiteit Leiden, The Netherlands
- Hugo Bazille, LRE, EPITA Rennes, France
- Luca Bernardinello, University of Milano-Bicocca, Italy
- Emily Clement, IRIF, Université Paris Cité, France
- Luc Edixhoven, Universiteit Leiden, The Netherlands
- Enzo Erlich, IRIF, ENS Rennes, France
- Uli Fahrenberg, LRE, EPITA Rennes, France
- Carlo Ferigato, European Commission Joint Research Centre, Ispra, Italy
- Marie Fortin, CNRS, IRIF, Paris, France
- Fabio Gadducci, Università di Pisa, Italy
- Loïc Hélouët, Inria Rennes, France
- Jérémy Ledent, IRIF, Université Paris Cité, France
- Luc Passemard, LRE, École polytechnique, Paris, France
Online participants:
- Cameron Calk, LIS, Marseille, France
- Jérémy Dubut, AIST, Tōkyō, Japan
- Michał Gajda, Migamake, Singapore
- Valentin Maestracci, I2M, Marseille, France
- Luigi Santocanale, LIS, Aix-Marseille University, France
- Safa Zouari, NTNU Gjøvik, Norway
Important dates
- Abstract submission: 22 March 2024
- Author notification: 29 March 2024
- Registration: 12 April 2024
- Workshop dates: 24 April 2024
Sponsors
