IRIT - LILAC

Logique, Interaction, Langue, et Calcul


Notre équipe en bref

(~ 11 chercheurs)

Notre travail scientifique concerne l’application de logiques non classiques (plus précisément, leur utilisation dans la formalisation de l’interaction dans des systèmes multi-agents), les jeux stratégiques (argumentation, jeux d’enchères) et la déduction automatique (complexité et calculabilité de logiques non classiques, méthodes des tableaux, application à la vérification du protocole cryptographique et la synthèse de services).