Florent Bréhard, numerical analysis and formal proof

on 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

• Seminar

  FR TTM November 5, 2025 at 10:30 am

• Seminar AI

  Mihaly Petreczky November 7, 2025 at 2:00 pm

• Seminar NVS

  Philippe Preux November 13, 2025 at 1:30 pm

• Seminar COSMAC

  November 21, 2025 at 9:30 am

• Polaris Colloquium

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

Defenses

• Dinh-viet-toan Le (thesis)

  November 3, 2025 at 2:30 pm

• Louis Roussel (thesis)

  November 7, 2025 at 2:00 pm

More news