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:

Associates:

Interns:

Former members, associates, or interns:

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. Accepted for DLT 2024

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

Contact

fahrenberg@gmail.com