Difference between revisions of "AA"
From LRDE
Line 52: | Line 52: | ||
[[User:Uli/DAdA|Déclaration d'activités]] |
[[User:Uli/DAdA|Déclaration d'activités]] |
||
− | [https://intra.lrde.epita.fr/wiki/AA/Brainstorm_journée_accueil Résultats du brainstorm pendant la journée d'accueil 2022-09-15] |
+ | [https://intra.lrde.epita.fr/wiki/AA/Brainstorm_journée_accueil (intra) Résultats du brainstorm pendant la journée d'accueil 2022-09-15] |
+ | |||
+ | [https://intra.lrde.epita.fr/wiki/AA/Brainstorm_journée_accueil (intra) Résultats du brainstorm pendant la journée d'accueil 2022-09-15] |
Revision as of 10:04, 1 October 2022
Research Group Automata and Applications
The Automata group at LRDE concerns itself with automata in various forms and their applications. The group maintains and develops the Spot library for manipulation of ω-automata and other software. Other research concerns itself with timed automata, weighted automata, automata for concurrency, and SAT solving.
News
Members
The Automata group is split over three sites, Paris, Rennes, and Toulouse.
Paris
- Amazigh Amrane
- Alexandre Duret-Lutz
- Jim Newton
- Adrien Pommellet
- Étienne Renault
- Philipp Schlehuber-Caissier
- Ghiles Ziat
Rennes
- Hugo Bazille
- Uli Fahrenberg (Head of research group)
Toulouse
- Souheib Baarir
- Quentin Peyras
Non-permanent members
Group Seminar
The group seminar is held every 2-3 weeks, usually online.
Internal Group Meetings
- 27-28 October 2022, Paris
Miscellaneous
Conference and journal rankings
(intra) Résultats du brainstorm pendant la journée d'accueil 2022-09-15
(intra) Résultats du brainstorm pendant la journée d'accueil 2022-09-15