L'ensemble de l'activité du laboratoire s'articule autour de deux équipes :
La cohésion scientifique est assurée par deux problématiques communes :
- L'utilisation de techniques formelles (spécifications orientées modèle, réseaux de Pétri, langage EXPRESS, logiques modales, interprétation abstraite)
- Le développement d'outils interactifs graphiques (programmation visuelle, programmation par démonstration, IHM)
Celles-ci expliquent les nombreuses collaborations entre les chercheurs engagés dans des équipes différentes.
Le laboratoire entretient de nombreuses collaborations, nationales et internationales, avec le milieu industriel. Il participe à l'animation d'un centre de transfert de technologie : le CRITT-Informatique.
Le LISI joue un rôle très actif dans un projet international portant sur l'informatisation de catalogues de composants industriels via le projet PLIB.
