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: LMF, Paris-Saclay University
Speaker 1: (present) Patricia Bouyer, LMF
Title: Model-Checking Real-Time Systems: Revisiting the Alternating Automaton Route
Speaker 2: (online) Safa Zouari, NTNU, Norway
Title: Bisimulations and Modal Logics for Higher Dimensional Automata
The organisers can be reached at p-acts-owner@ml.lre.epita.fr.