Le laboratoire est structuré en trois axes, doté chacun d’un responsable scientifique:

• EDIM (Epistémologie et Didactique de l’Information et des Mathématiques)

Responsable : Dominique Tournès

• ITA (InformaTique et Applications)

Responsable : Pascal Anelli

• MDLV (Mathématiques Discrètes, Logique, Vérification)

Responsable : Marianne Morillon

Chaque axe dispose de thématiques de recherche, membres, groupe de travail, projets et publications qui leur sont spécifiques. Les travaux réalisés couvrent des aspects variés, avec un spectre étendu aussi bien en recherche fondamentale qu’en recherche appliquée.