L’équipe anime un groupe de travail autour de sujets liés aux mathématiques discrètes, à la logique et à la vérification logicielle.