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.

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
• Marie Fortin, Université Paris Cité, France
• Eric Goubault, École polytechnique, Paris, France
• Safa Zouari, NTNU, Gjøvik, Norway

Former members or associates:

• Olavi Äikäs, Helsinki, Finland
• Ratan Bahadur Thapa, Oslo, Norway
• Clarisse Blanco, EPITA Rennes, France
• Cameron Calk, École polytechnique, Paris, France
• Dorian Peron, EPITA 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: 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, Krzysztof Ziemiański: A Myhill-Nerode Theorem for Higher-Dimensional Automata. PETRI NETS 2023: 167-188
11. Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemiański: Developments in Higher-Dimensional Automata Theory. CoRR abs/2305.02873 (2023)

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

uli@lrde.epita.fr