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), 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.
Venue: LACL, Université Paris‑Est - Créteil (Note the unusual location)
Program:
| 9:00 | Welcome | 9:30--10:30 |
In-person talk:
Damien Busatto-Gaston, LACL:
TBA
|
| 10:30--11:00 | Break |
| 11:00--12:00 |
In-person talk:
Stefan Haar, Inria Paris:
TBA
|
The organisers can be reached at p-acts-owner@ml.lre.epita.fr.