What

The (i)Po(m)set Project is a research project at the crossroads of concurrency theory, automata theory, algebra, and geometry. It aims to understand the basics of concurrency theory and develop its foundations.

Seminar

The (i)Po(m)set Project Online Seminar takes place about once a month.

Workshop

Workshop on Pomsets and Related Structures (RaPS), Rennes, 24 April 2024.

Who

Members:

• Uli Fahrenberg, EPITA Rennes, France
• Christian Johansen, NTNU, Gjøvik, Norway
• Georg Struth, University of Sheffield, UK
• Krzysztof Ziemiański, University of Warsaw, Poland

Associates:

• Amazigh Amrane, EPITA Paris, France
• Hugo Bazille, EPITA Rennes, France
• Emily Clement, Université Paris Cité, France
• Jérémy Dubut-Kross, AIST, Tokyo, Japan
• Marie Fortin, Université Paris Cité, France
• Eric Goubault, École polytechnique, Paris, France
• Roman Kniazev, Université Paris Cité, France
• Jérémy Ledent, Université Paris Cité, France
• Safa Zouari, NTNU, Gjøvik, Norway

Interns:

• Enzo Erlich, ENS Rennes, France
• Timothée Fragnaud, EPITA Rennes, France
• Paul Fournillon, EPITA Rennes, France
• Quentin Hay-Kergrohenn, EPITA Rennes, France
• Luc Passemard, École polytechnique, Paris, France

Former members, associates, or interns:

• Olavi Äikäs, Helsinki, Finland
• Ratan Bahadur Thapa, Oslo, Norway
• Clarisse Blanco, Rennes, France
• Cameron Calk, Paris, France
• Dorian Peron, Rennes, France
• Christopher Trotter, Oslo, Norway

When

The (i)Po(m)set Project started sometime in 2018, but its name and this web site exist only since 21 May 2021.

How

Members and possibly associates meet about once a week on zoom to discuss research and papers and otherwise banter over big and small things.

What

Research published by the (i)Po(m)set Project:

1. Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemiański: Sculptures in Concurrency. Logical Methods in Computer Science 17(2) (2021)
2. Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa: Generating Posets Beyond N. RAMiCS 2020: 82-99
3. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański: Domain Semirings United. Acta Cybernetica 25(3): 575-583 (2022)
4. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański: Languages of Higher-Dimensional Automata. Mathematical Structures in Computer Science 31(5): 575-613 (2021)
5. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański: Catoids and Modal Convolution Algebras. Algebra Universalis 84(10) (2023).
6. Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański: lr-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS 2021: 90-107
7. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański: Posets with Interfaces as a Model for Concurrency. Information and Computation 285(B):104914 (2022)
8. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański: A Kleene Theorem for Higher-Dimensional Automata. CONCUR 2022: 29:1-29:18
9. Olavi Äikäs, Uli Fahrenberg, Christian Johansen, Krzysztof Ziemiański: Generating Posets with Interfaces. CoRR abs/2203.02695 (2022)
10. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański: Kleene Theorem for Higher-Dimensional Automata. CoRR abs/2202.03791 (2023)
11. Uli Fahrenberg, Krzysztof Ziemiański: A Myhill-Nerode Theorem for Higher-Dimensional Automata. PETRI NETS 2023: 167-188
12. Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemiański: Closure and Decision Properties for Higher-Dimensional Automata. ICTAC 2023: 295-312
13. Uli Fahrenberg, Krzysztof Ziemiański: Myhill-Nerode Theorem for Higher-Dimensional Automata. CoRR abs/2210.08298 (2023)
14. Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg: Languages of Higher-Dimensional Timed Automata. Accepted for PETRI NETS 2024
15. Safa Zouari, Krzysztof Ziemiański, Uli Fahrenberg: Bisimulations and Logics for Higher-Dimensional Automata. CoRR abs/2402.01589 (2024)
16. Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemiański: Presenting Interval Pomsets with Interfaces. CoRR abs/2403.16626 (2024)
17. Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin: Logic and Languages of Higher-Dimensional Automata. CoRR abs/2403.19526 (2024)

Software and data published by the (i)Po(m)set Project:

• Python code related to [2]
• Julia code related to [7]
• Julia code related to [9]
• Iposets and gp-iposets on up to 8 points, and forbidden substructures on up to 10 points

Contact

fahrenberg@gmail.com