Difference between revisions of "AA"
From LRDE
| (10 intermediate revisions by the same user not shown) | |||
| Line 2: | Line 2: | ||
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. |
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 == |
== Members == |
||
| Line 15: | Line 13: | ||
* [https://www.lrde.epita.fr/~jnewton/ Jim Newton] |
* [https://www.lrde.epita.fr/~jnewton/ Jim Newton] |
||
* [https://www.lrde.epita.fr/~adrien/ Adrien Pommellet] |
* [https://www.lrde.epita.fr/~adrien/ Adrien Pommellet] |
||
| ⚫ | |||
* [[User:Pschlehuber|Philipp Schlehuber-Caissier]] |
* [[User:Pschlehuber|Philipp Schlehuber-Caissier]] |
||
| + | * Daniel T. Stan |
||
* Ghiles Ziat |
* Ghiles Ziat |
||
| Line 27: | Line 25: | ||
* Souheib Baarir |
* Souheib Baarir |
||
| + | * Nicolas Nalpon |
||
* Quentin Peyras |
* Quentin Peyras |
||
=== Non-permanent members === |
=== Non-permanent members === |
||
| + | |||
| + | * [[User:Akheireddine|Anissa Kheireddine]] |
||
| + | * [[User:Amartin|Antoine Martin]] |
||
| + | |||
| + | === Former members === |
||
* [[User:Sven|Sven Dziadek]] |
* [[User:Sven|Sven Dziadek]] |
||
| ⚫ | |||
| + | * [https://www.lrde.epita.fr/~frenkin/ Florian Renkin] |
||
== Group Seminar == |
== Group Seminar == |
||
| Line 39: | Line 45: | ||
== Internal Group Meetings == |
== Internal Group Meetings == |
||
| − | * 27-28 October 2022, Paris |
+ | * [https://intra.lrde.epita.fr/wiki/AA/Group_meeting_2022-10 27-28 October 2022, Paris] |
== Miscellaneous == |
== Miscellaneous == |
||
| Line 48: | Line 54: | ||
[[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 (intra) Résultats du brainstorm pendant la journée d'accueil 2022-09-15] |
||
| + | |||
| + | [https://intra.lrde.epita.fr/wiki/AA/Group_meeting_2022-10 (intra) Group meeting October 2022] |
||
Latest revision as of 19:01, 8 May 2023
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.
Members
The Automata group is split over three sites, Paris, Rennes, and Toulouse.
Paris
- Amazigh Amrane
- Alexandre Duret-Lutz
- Jim Newton
- Adrien Pommellet
- Philipp Schlehuber-Caissier
- Daniel T. Stan
- Ghiles Ziat
Rennes
- Hugo Bazille
- Uli Fahrenberg (Head of research group)
Toulouse
- Souheib Baarir
- Nicolas Nalpon
- Quentin Peyras
Non-permanent members
Former members
Group Seminar
The group seminar is held every 2-3 weeks, usually online.
Internal Group Meetings
Miscellaneous
Conference and journal rankings
(intra) Résultats du brainstorm pendant la journée d'accueil 2022-09-15