What

The (i)Po(m)set Project is a research project at the crossroads of concurrency theory, automata theory, algebra, and geometry. You are at the page of its online seminar.

How

The seminar is organized by Uli Fahrenberg, Christian Johansen and Krzysztof Ziemiański and takes place on zoom. If you want to participate, send an email to ppos-owner@ml.lre.epita.fr so that we can add you to our mailing list. You will receive about one email per week in average: seminar announcements, reminders, and the zoom link.

Talks generally last at most one hour, including time for questions.

Upcoming Talks

See also the seminar's google calendar.

Friday 1 March 2024 11:00 CET

Henning Basold, Universiteit Leiden, The Netherlands: Towards Higher Coalgebra: The Enriched Case
There is an intricate link between concurrent systems and homotopy theory, which has been exploited in the analysis of higher-dimensional automata and distributed algorithms. The link between computation and homotopy theory goes even further and my long-term goal is to develop a general theory of higher coalgebras in the context of (∞, n)-category theory for n ∈ {1,2}, which provides an abstract account of this link. (∞, 1)-categories have various models, among them topologically and simplicially enriched categories. These are quite rigid models but they lend themselves to concrete computations (see Lurie's Higher Topos Theory).
In this talk, I will first present some results on coalgebras that arise from general enrichment, in particular we will look at distributive laws, modal logic and effectful computations. We will then go into the concrete case of topologically-enriched categories to develop some homotopy theory of coalgebras in this concrete setting. Particularly, we will focus on investigating modal logic that is invariant under homotopy.

Friday 15 March 2024 11:00 CET

Paul-André Melliès, IRIF, Paris, France: TBA

Previous Talks

Friday 16 February 2024 11:00 CET

Uli Fahrenberg, LRE, Rennes/Paris, France: Generating posets with interfaces

Friday 19 January 2024 11:00 CET

Thomas Kahl, Universidade do Minho, Braga, Portugal: Weak equivalence of higher-dimensional automata

Friday 12 January 2024 10:30 CET

Mikołaj Bojańczyk, University of Warsaw, Poland: About recognisability of graph languages

Friday 1 December 2023 11:00 CET

Roman Kniazev, IRIF, Paris, France: Simplicial models for epistemic logic (sprinkled with concurrency)

Friday 17 November 2023 11:00 CET

Amar Hadzihasanovic, TalTech, Tallinn, Estonia: The homotopy posets of a category

Friday 3 November 2023 11:00 CET

Rob van Glabbeek, University of Edinburgh, Scotland: Translating Petri nets to higher-dimensional automata

Friday 20 October 2023 11:00 CEST

Łukasz Mikulski, NCU, Toruń, Poland: Relational structures for interval order semantics of concurrent systems

Friday 6 October 2023 11:00 CEST

Matt Earnshaw, TalTech, Tallinn, Estonia: Monoidal languages

Friday 15 September 2023 11:00 CEST

Matteo Acclavio, SDU, Odense, Denmark: The proof theory of pomsets

Friday 1 September 2023 11:00 CEST

Loïc Hélouët, IRISA, Rennes, France: Waiting nets

Friday 18 August 2023 11:00 CEST

Jérémy Dubut-Kross, AIST, Tokyo, Japan: Bisimulations and unfolding in P-accessible categorical models

Friday 14 July 2023 11:00 CEST

Marie Fortin, IRIF, Paris, France: Logics and automata for Message Sequence Charts

Friday 16 June 2023 11:00 CEST

Tobias Kappé, Open Universiteit, The Netherlands: Completeness and the finite model property for Kleene algebra, reconsidered

Friday 19 May 2023 11:00 CEST

Amazigh Amrane, EPITA Paris, France: Series-parallel pomsets: automata and logic

Friday 14 April 2023 11:00 CEST

Sergio Rajsbaum, UNAM, Mexico and IRIF, Paris, France: Unifying concurrent objects and distributed tasks: interval-linearizability

Friday 17 March 2023 11:00 CET

Safa Zouari, NTNU Gjøvik, Norway: Logical characterization of hh-bisimulation via open maps for HDA

Contact

ppos-owner@ml.lre.epita.fr