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.
(Note the unusual schedule)
Venue: Institut Mines-Télécom, Palaiseau
10:30 Dylan Bellier (present), Télécom SudParis: TBA
► Abstract:
11:15 Discussion
12:00 Lunch
13:30 Jamie Gabbay (online), Heriot-Watt University, Edinburgh: Declarative distributed broadcast using three-valued modal logic and semitopologies
► Abstract:
14:15 Discussion & workgroups
The organisers can be reached at p-acts-owner@ml.lre.epita.fr.