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: TBA
Abstract: TBA
Speaker 2: (online) Rajeev Alur, University of Pennsylvania, US
Title: TBA
Abstract: TBA
The organisers can be reached at p-acts-owner@ml.lre.epita.fr.