Difference between revisions of "AA"

From LRDE

(Blanked the page)
Tag: Blanking
(10 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 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
  +
* [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]]
  +
* Daniel T. Stan
  +
* Ghiles Ziat
  +
  +
=== Rennes ===
  +
  +
* Hugo Bazille
  +
* [https://www.lrde.epita.fr/~uli/ Uli Fahrenberg] (Head of research group)
  +
  +
=== Toulouse ===
  +
  +
* Souheib Baarir
  +
* Nicolas Nalpon
  +
* Quentin Peyras
  +
  +
=== Non-permanent members ===
  +
  +
* [[User:Sven|Sven Dziadek]]
  +
* [[User:Akheireddine|Anissa Kheireddine]]
  +
* [[User:Amartin|Antoine Martin]]
  +
  +
=== Former members ===
  +
  +
* [https://www.lrde.epita.fr/~frenkin/ Florian Renkin]
  +
  +
== Group Seminar ==
  +
  +
The [[AA/Seminar|group seminar]] is held every 2-3 weeks, usually online.
  +
  +
== Internal Group Meetings ==
  +
  +
* [https://intra.lrde.epita.fr/wiki/AA/Group_meeting_2022-10 27-28 October 2022, Paris]
  +
  +
== Miscellaneous ==
  +
  +
[[User:Uli/Howto/Lrde.bib|Adding an entry to lrde.bib]]
  +
  +
[[User:Uli/Rankings|Conference and journal rankings]]
  +
  +
[[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]

Revision as of 10:16, 14 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

Rennes

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

Adding an entry to lrde.bib

Conference and journal rankings

Déclaration d'activités

(intra) Résultats du brainstorm pendant la journée d'accueil 2022-09-15

(intra) Group meeting October 2022