Florent Bréhard, numerical analysis and formal proof

November 3, 2021

Discover the portrait of Florent Bréhard from #CRIStAL, who works on #numerical analysis and #formal proof to compute and manipulate #ensemblistic #numerical representations

More...

Agenda

• IA Axis Seminar

  Jan Ramon December 19, 2025 at 2 PM

• GT Dating Seminar

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

• Open Science & Music

  from January 22 to 23, 2026

• Séminaire Axe NVS

  Rochdi Merzouki January 22, 2026

• Stage 3ème mixte

  from January 26 to 30, 2026

• École SED

  from March 25 to 27, 2026

Defenses

• Léa Vandamme (thesis)

  December 18, 2025 at 3 PM

• Francesco Morri (thesis)

  December 19, 2025 at 10 AM

More news