GT Automata, Logic, Games & Algebra (ALGA) – GDR IM

Sur cette page vous trouverez la liste des laboratoires impliqués dans les activités du GT et pour chacun d'entre eux les membres (permanents et non permanents) participants, ainsi qu'une liste de projets. Si vous êtes membres d'un de ces laboratoires mais n'apparaissez pas dans la liste des membres, rapprochez vous de votre correspondant local. Si votre laboratoire n'apparaît pas dans la liste, contactez nous!



IRCCyN (Ecole Centrale de Nantes, Université de Nantes, Ecole des Mines de Nantes & CNRS)

Correspondant local: Didier Lime

Doctorants & Post-doctorants

Projets

LIP6 (Université Pierre et Marie Curie & CNRS

Correspondante locale: Tali Sznajder

LRI (Université Paris sud & CNRS)

Correspondante locale: Johanne Cohen

Doctorants & Post-doctorants

IMJ – Équipe de Logique Mathématique (Université Paris Diderot – Paris 7 & CNRS)

Correspondant local: Olivier Finkel

Projets

  • ANR CompA (Complexité Algébrique): Projet ANR
  • Requêtes d'Agrégation (AGGREG): Projet ANR

LIG (Université Joseph Fourier, CNRS & INRIA)

Correspondant local: Panayotis Mertikopoulos

Projets

  • ORACLESS: Online resource allocation for unpredictable large-scale wireless systems: Projet ANR JCJC
  • GAGA: Geometric Aspects of GAmes: Projet ANR JCJC
  • HEAVY.NET: Optimization and analysis of heavily congested networks: Projet PGMO
  • ULTRON: Ultra-low latency scheduling via game theory and online learning: Projet Flagship Huawei

Belgique

Correspondant local: Thomas Brihaye

Permanents

Doctorants & Post-doctorants

Université de Mons
Université Libre de Bruxelles
Université de Liège
Université catholique de Louvain
Université de Namur
Vrije Universiteit Brussel,

Projets

GREYC (Université de Caen, ENSICAEN & CNRS)

Correspondant local: Etienne Grandjean