Events

Instructor for the lecture series Computer-Assisted Proofs in Nonlinear Analysis at

• Universidad Complutense de Madrid in Madrid (Spain), May 2025
• National Center for Theoretical Sciences in Taipei (Taïwan), November 2024
• Korea Advanced Institute of Science & Technology in Daejeon (South Korea), October 2024
• Centre de Recherches Mathématiques in Montréal (Canada), September 2024