Eight IEA projects selected at CNRS Sciences informatiques

on July 17, 2025

Le projet FMPDP - Méthodes formelles pour des programmes probabilistes et pour la confidentialité différentielle lauréat de la campagne des International Emerging Actions 2024, appel à la Direction Europe et international du CNRS destiné à favoriser à l’exploration de nouveaux champs de recherche et de partenariats à l’international.

Ce projet, porté par Patrick Baillot, directeur de recherche CNRS CRIStAL, Centrale Lille/Université de Lille, s’appuiera sur les compétences complémentaires, d’une part en logique et sémantique des langages de programmation des participants du laboratoire CRIStAL et d’autre part en vérification et en confidentialité différentielle des participants de l’Université de Boston.

More...

Agenda

• Seminar Valse

  Mohamed Yassine Arkhis (Inria), Danilo Lima (Inria) et Manuel Mera (IPN, Mexico) November 27, 2025 at 10:30 am

• Lebrun Fabien December 2, 2025 at 1:00 pm

• December 5, 2025 at 12:15 pm

• December 15, 2025

• December 15, 2025

• Polaris Colloquium

  Sarah Cohen-Boulakia December 18, 2025 at 2:00 pm

• Seminar

  Léodasce Sewanou January 20, 2026 at 10:15 am

• January 26, 2026

Defenses

• Méricel Ayamou (thesis)

  November 28, 2025 at 9:30 am

• Hugo Monfleur (thesis)

  November 28, 2025 at 10:00 am

• Nahuel Palumbo (thesis)

  November 28, 2025 at 10:00 am

• Antoine Geimer (thesis)

  December 2, 2025 at 3:00 pm

• Jiali Xu (thesis)

  December 3, 2025 at 2:00 pm

• Rabah Ouali (thesis)

  December 4, 2025 at 2:00 pm

• Gabriel Darbord (thesis)

  December 5, 2025 at 9:30 am

• Alexandre Bonvoisin (thesis)

  December 5, 2025 at 2:00 pm

• Maxime Bouton (thesis)

  December 9, 2025 at 10:00 am

• Azouaou Ouyoucef (thesis)

  December 9, 2025 at 3:00 pm

• Tifaout Almeftah (thesis)

  December 10, 2025 at 2:00 pm

More news