L'équipe LIS (Langage, interaction, simulation) étudie les propriétés fondamentales de systèmes informatiques et biologiques et plus généralement du comportement de systèmes dynamiques réactifs, décentralisés et ouverts. Dans ce cadre, elle s’intéresse aux aspects théoriques, comme la spécification et l’analyse de ces systèmes, ainsi qu'à leur réalisation. Les recherches menées s’articulent principalement autour de deux axes :

• Spécification et concurrence (SC) qui étudie les modèles de la concurrence (réseaux de Petri, automates, algèbres de processus, …) ainsi que les langages de spécification fondés sur les logiques modales et temporelles, associés à des techniques de vérification (model-checking, démonstration automatique) pour la représentation, l'analyse et la validation de systèmes distribués, mobiles et adaptatifs.

• Interaction et dynamique (ID) qui s’attache à la modélisation de réseaux d’interaction, en utilisant les formalismes liés aux réseaux d'automates (automates cellulaires, réseaux booléens, …) et aux systèmes multi-agents, ainsi que l'analyse de leur dynamique par des techniques de combinatoire, de complexité et de simulation entité-centrée.

Ces deux axes mènent naturellement l’équipe LIS à appliquer ses résultats dans les domaines de l’informatique et de la biologie en répondant à des questions transversales de sûreté, sécurité et robustesse portant sur les protocoles de sécurité et les interfaces multimodales d’une part, et sur les réseaux de régulation génétique et les processus cellulaires, d’autre part.

The LIS group (Language, Interaction and Simulation) investigates fundamental properties of computer and biological systems. The group's interests concentrate on the reactive behaviour of dynamic, distributed and open systems. Research envisages not only theoretical aspects, such as system specification and analysis, but also implementational issues.

The research activity of the LIS group is primarily focused in two main areas:

• Specification and concurrency (SC) This area deals with models of concurrency (e.g., Petri nets, process algebra, etc.) and properties specification languages based on modal and temporal logic. These are associated with verification techniques (e.g., model-checking, theorem proving) for the analysis and validation of distributed, mobile and adaptive systems.

• Interaction and dynamics (ID) This area is focused on modelling interaction networks, using formalisms related to automata-based networks (e.g., cellular automata, Boolean networks, etc.), and to multi-agent systems. ID is also concerned with the analysis of the dynamics of these systems using techniques based on combinatorics, complexity and agent-based simulation.

These two tenets lead the LIS group to apply its results to areas in common to computer science and biology. Within this interdisciplinary domain, the group addresses issues concerning safety, security and robustness of both interaction protocols and multi-modal interfaces, as well as problems related to gene regulatory networks and cellular processes.