Paris ACTS has been created to reinforce the links between different research groups in the Paris area which are working on the connections between automata theory and concurrency theory, and in order to advance this research on a national and international level,
The seminar takes place for an afternoon every six-eight weeks, moving between LIX (École Polytechnique), LRE (EPITA Paris), and IRIF (Université Paris Cité). It is held in hybrid mode and is an evolution of the (i)Po(m)set Project Online Seminar (PPOS). It is inspired by the MeFoSyLoMa seminar, with which it has a slight thematic overlap, but includes a hybrid component.
The seminar has a low-traffic mailing list for announcements etc. If you want to join, send an email to p-acts-owner@ml.lre.epita.fr.
The general program for each afternoon is as follows:
14:00--14:45 | In-person talk |
14:45--15:30 | Virtual talk |
15:30--16:00 | Coffee break |
16:00--17:00 | Discussion |
Venue: LRE, EPITA Paris
Speaker 1: (present) Adrien Pommellet, LRE
Title: Active Learning Techniques for Pomset Recognizers
Abstract: Pomsets are a promising formalism for concurrent programs based on partially ordered sets. Among this class, series-parallel pomsets admit a convenient linear representation and can be recognized by simple algebraic structures known as pomset recognizers. Active learning consists in inferring a formal model of a recognizable language by asking membership and equivalence queries to a minimally adequate teacher (MAT). We improve existing learning algorithms for pomset recognizers by (1) introducing a new counter-example analysis procedure that is in the best case scenario exponentially more efficient than existing methods; (2) adapting the state-of-the-art Lλ algorithm to minimize the impact of exceedingly verbose counter-examples and remove redundant queries; (3) designing a suitable finite test suite that ensures equivalence between two pomset recognizers provided their sizes are close enough by extending the well-known W-method.
Speaker 2: (online) Rajeev Alur, University of Pennsylvania, US
Title: Automata over Series-Parallel Graphs
Abstract:
Motivated by distributed data processing applications, we introduce a class of labeled directed acyclic graphs constructed using sequential and parallel composition operations, and study automata and logics over them. We show that deterministic and non-deterministic acceptors over such graphs have the same expressive power, which can be equivalently characterized by Monadic Second-Order logic and the graded μ-calculus. We establish closure under composition operations and decision procedures for membership, emptiness, and inclusion.
A key feature of our graphs, called synchronized series-parallel graphs (SSPG), is that parallel composition introduces a synchronization edge from the newly introduced source vertex to the sink. The transfer of information enabled by such edges is crucial to the determinization construction, which would not be possible for the traditional definition of series-parallel graphs. SSPGs allow both ordered ranked parallelism and unordered unranked parallelism. The latter feature means that in the corresponding automata, the transition function needs to account for an arbitrary number of predecessors by counting each type of state only up to a specified constant, thus leading to a notion of counting complexity that is distinct from the classical notion of state complexity. The determinization construction translates a nondeterministic automaton with n states and k counting complexity to a deterministic automaton with 2n2 states and kn counting complexity, and both these bounds are shown to be tight. Furthermore, for nondeterministic automata a bound of 2 on counting complexity suffices without loss of expressiveness.
The organisers can be reached at p-acts-owner@ml.lre.epita.fr.