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
• Enzo Erlich, ENS Rennes, France
• 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

Former members, associates, or interns:

• Olavi Äikäs, Helsinki, Finland
• Ratan Bahadur Thapa, Oslo, Norway
• Clarisse Blanco, Rennes, France
• Cameron Calk, Paris, France
• Timothée Fragnaud, EPITA Rennes, France
• Paul Fournillon, EPITA Rennes, France
• Quentin Hay-Kergrohenn, EPITA Rennes, France
• Luc Passemard, École polytechnique, 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 regularly on zoom to discuss research and papers and otherwise banter over big and small things.

Publications

Research papers 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, Krzysztof Ziemiański: Domain Semirings United. Acta Cybernetica 25(3): 575-583 (2022)
3. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański: Languages of Higher-Dimensional Automata. Mathematical Structures in Computer Science 31(5): 575-613 (2021)
4. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański: Catoids and Modal Convolution Algebras. Algebra Universalis 84(10) (2023).
5. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański: Posets with Interfaces as a Model for Concurrency. Information and Computation 285(B):104914 (2022)
6. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański: Kleene Theorem for Higher-Dimensional Automata. CoRR abs/2202.03791 (2023)
7. Uli Fahrenberg, Krzysztof Ziemiański: Myhill-Nerode Theorem for Higher-Dimensional Automata. CoRR abs/2210.08298 (2023)
8. Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemiański: Closure and Decision Properties for Higher-Dimensional Automata. CoRR abs/2305.02873 (2024)
9. Georg Struth, Krzysztof Ziemiański: Presheaf Automata. CoRR abs/2409.04612 (2024)

Other publications

Conference contributions and others:

10. Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa: Generating Posets Beyond N. RAMiCS 2020: 82-99
11. Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański: lr-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS 2021: 90-107
12. Olavi Äikäs, Uli Fahrenberg, Christian Johansen, Krzysztof Ziemiański: Generating Posets with Interfaces. CoRR abs/2203.02695 (2022)
13. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański: A Kleene Theorem for Higher-Dimensional Automata. CONCUR 2022: 29:1-29:18
14. Uli Fahrenberg, Krzysztof Ziemiański: A Myhill-Nerode Theorem for Higher-Dimensional Automata. PETRI NETS 2023: 167-188
15. Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemiański: Closure and Decision Properties for Higher-Dimensional Automata. ICTAC 2023: 295-312
16. Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg: Languages of Higher-Dimensional Timed Automata. PETRI NETS 2024: 197-219
17. Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemiański: Presenting Interval Pomsets with Interfaces. RAMiCS 2024
18. Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin: Logic and Languages of Higher-Dimensional Automata. DLT 2024
19. Safa Zouari, Krzysztof Ziemiański, Uli Fahrenberg: Bisimulations and Logics for Higher-Dimensional Automata. ICTAC 2024

Software and data

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

• Python code related to [RAMiCS 2020]
• Julia code related to [I&C 2022]
• Julia code related to [arxiv/2203.02695]
• Iposets and gp-iposets on up to 8 points, and forbidden substructures on up to 10 points

Contact

fahrenberg@gmail.com