Pôle Interactions Formal Methods for Artificial Intelligence

Responsable : Benedikt Bollig


The team is concerned with topics at the interface between formal methods and artificial intelligence:

  • Reasoning about knowledge: We study logical formalisms that have applications in planning, synthesis, or formalizing the strategic behavior of intelligent agents (e.g., description logics, strategy logics, fuzzy logic, and dynamic logics).
  • Robust and verified AI and ML: Formal methods can help in developing robust, verified, and explainable AI and machine-learning components. In particular, we exploit model learning to extract structural information from recurrent neural networks.
  • Application of ML algorithms: We use machine learning to synthesize algorithms (e.g., controllers in cyber-physical systems) and for the identification of system parameters (e.g., in bio-chemical reaction networks).


Stéphane Demri (LMF, CNRS) and Karin Quaas (Leipzig University) won the Best-Paper Award at JELIA 2023 for their article First Steps Towards Taming Description Logics with Strings.

Working Group

We regularly welcome speakers to talk about AI-related topics. Usually, talks take place on Friday at 11 am and are transmitted via Zoom.

Recent Talks

Projects and Collaborations

  • ACTER: Analyse cognitive des émotions
  • DyLo-MPC: Dynamic Logics: Model Theory, Proof Theory and Computational Complexity
  • ETSHI: Efficient Test Strategies for SARS-CoV-2 in Healthcare Institutions
  • LeaRNNify: New Challenges for Recurrent Neural Networks and Grammatical Inference
  • SAIF: [S]afe [AI] through [F]ormal Methods
  • SINFIN: Méthodes formelles pour la modélisation, la spécification, la vérification et le développement de logiciels




PhD Students

Zhuofan Xu