- Équipe-projet ANTIQUE (Inria Paris)
- Laboratoire Bordelais de Recherche en Informatique (LaBRI) (Université de Bordeaux)
- Laboratoire d’informatique de l’École polytechnique (LIX) (Institut Polytechnique de Paris)
- Laboratoire Méthodes Formelles (LMF) (Université Paris-Saclay)
- Laboratoire pour la Sûreté et Sécurité des Logiciels (LSL) (CEA-List)
- Équipe-projet SuMo (Inria Rennes)
- Équipe-projet TAU (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}