A pour thème les fondements des systèmes multi-agents (SMA) : modèles, spécifications formelles et vérification. Aborde notamment la vérification dans les SMA, les modèles formels pour la coopération et la conception dans les SMA, ainsi que l'ouverture, la distribution et la mobilité dans les SMA.