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 takes place on zoom. If you want to participate, send an email to uli@lrde.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 6 October 2023 11:00 CEST

Matt Earnshaw, TUT, Tallinn, Estonia: Monoidal languages
Monoidal language theory is an approach to languages of graphs via the graphical calculus of string diagrams for monoidal categories. The class of regular monoidal languages includes regular languages of words and trees, but also recognizable trace languages. In this talk I will give an introduction to this theory, starting from the basics. This will include grammars and automata for monoidal languages, a pumping lemma, results on determinization, algebraic recognizability, and applications to Mazurkiewicz trace languages and asynchronous automata. Time permitting, we will outline work in progress on the context-free theory.

Friday 20 October 2023 11:00 CEST

Łukasz Mikulski, NCU, Toruń, Poland: TBA

Friday 3 November 2023 11:00 CET

Rob van Glabbeek, University of Edinburgh, Scotland: TBA

Friday 1 December 2023 11:00 CET

Roman Kniazev, Ecole polytechnique, Palaiseau, France: TBA

Previous Talks

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, 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é, OU, 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

uli@lrde.epita.fr