From LRDE
< User:Uli (Blanked the page) Tag: Blanking |
|||
| (5 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | = 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. 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 |
||
| − | * [https://www.lrde.epita.fr/~adl/ Alexandre Duret-Lutz] |
||
| − | * [https://www.lrde.epita.fr/~jnewton/ Jim Newton] |
||
| − | * [https://www.lrde.epita.fr/~adrien/ Adrien Pommellet] |
||
| − | * [https://www.lrde.epita.fr/~renault/ Étienne Renault] |
||
| − | * [[User:Pschlehuber|Philipp Schlehuber-Caissier]] |
||
| − | * Ghiles Ziat |
||
| − | |||
| − | === Rennes === |
||
| − | |||
| − | * Hugo Bazille |
||
| − | * [https://www.lrde.epita.fr/~uli/ Uli Fahrenberg] (Head of research group) |
||
| − | |||
| − | === Toulouse === |
||
| − | |||
| − | * Quentin Peyras |
||
| − | * Souheib Baarir |
||
| − | |||
| − | === Non-permanent members === |
||
| − | |||
| − | * [[User:Sven|Sven Dziadek]] |
||
| − | |||
| − | == Automata Seminar == |
||
| − | |||
| − | == Internal Group Meetings == |
||
| − | |||
| − | * 27-28 October 2022, Paris |
||