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 every six to eight weeks, moving between LIX (École Polytechnique), LRE (EPITA Paris), IRIF (Université Paris Cité), LMF (Université Paris-Saclay), SAMOVAR (Télécom SudParis), and LACL (Université Paris Est Créteil). It is held in hybrid mode and has a slight thematic overlap with the MeFoSyLoMa seminar.
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 seminar is as follows:
| 14:00--14:45 | In-person talk |
| 14:45--15:30 | Online or in-person talk |
| 15:30--16:00 | Break |
| 16:00--17:00 | Discussion |
Venue: LIX, École polytechnique
Speaker 1: (present) Gaspard Reghem
Title: Compositional Reasoning About Randomized Distributed Protocols
► Abstract:
Speaker 2: (online) Fabian Lenke
Title: Algebraic Language Theory with Effects
► Abstract:
The organisers can be reached at p-acts-owner@ml.lre.epita.fr.