Logic, interaction, language and computation

Our team, at a glance

(~ 11 researchers)

Our scientific work concerns applied non classical logics (more precisely, their use in the formalization of interaction in multi-agent systems), strategic games (argumentation, auction games) and automated deduction (complexity and computability of non-classical logics, tableaux methods, application to cryptographic protocol verification and synthesis of services)