Florent Bréhard, numerical analysis and formal proof

on November 3, 2021

Découvrez le portrait de Florent Bréhard du #CRIStAL, qui travaille sur l’analyse #numérique et la preuve #formelle pour calculer et manipuler des #représentations numériques #ensemblistes

More...

Agenda

• Seminar Valse

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

• December 5, 2025 at 12:15 pm

• 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