- ANTIQUE Research Team (Inria Paris)
- Bordeaux Computer Science Laboratory (LaBRI) (Université de Bordeaux)
- Computer Science Laboratory of the École polytechnique (LIX) (Institut Polytechnique de Paris)
- Formal Methods Laboratory (LMF) (Université Paris-Saclay)
- Software Safety & Security Lab (CEA-List)
- SuMo Research Team (Inria Rennes)
- TAU Research Team (Inria Saclay)
![[S]afe [AI] through [F]ormal Methods](https://project.inria.fr/saif/files/2024/09/Logo-PEPR-IA-115px.png "[S]afe [AI] through [F]ormal Methods"){kind=logo}
![[S]afe [AI] through [F]ormal Methods](https://project.inria.fr/saif/wp-content/plugins/gdpr-cookie-compliance/dist/images/gdpr-logo.png){kind=logo}