Відео

Interview de Cristiana de Filippis (Université de Parme), lauréate d'un prix de la Société Mathématique Européenne, après son exposé de lauréate à ECM de Séville.

Interview de Christophe Rintzerthaler (Université de Rennes), directeur exécutif du CIMPA, au sujet de la rencontre autour de la coopération Nord-Sud à l'ECM de Séville.

Interview de Jules Tindzoghoro, du Département de Maths-Infos de l'USTM (Gabon), après son exposé intitulé Lie ring in model theory, à l'ECM 2024 de Séville.

Interview de Khadim War (IMPA, Rio de Janeiro) après son exposé intitulé On Sector Theorem for surfaces without conjugate points, à l'ECM 2024 de Séville

Interview d'Étienne Ghys (DR CNRS émérite à l'ENS Lyon, Secrétaire perpétuel de l'Académie des Sciences) à l'issue de sa Hirzebruch Lecture, à l'ECM 2024 de Séville.

Interview d'Annalisa Buffa, professeure à l'École Polytechnique Fédérale de Lausanne, conférencière plénière à l'ECM 2024 de Séville.

Interview de David Hernandez à l'ECM 2024, Séville, après son exposé de chercheur invité.

Table ronde Prospective, avec Sylvie Boldo (Inria, LMF), Catherine Dubois (ENSIIE), Armaël Guéneau (Inria Saclay,LMF), Rodolphe Lepigre (BedRock Systems), Xavier Leroy (Collège de France), Pierre-Yves Strub (PQShield) Modération : Gaël Octavia (FSMP) Horizon Mathématiques 2024 Preuve mathématique et sûreté logicielle Une conférence organisée par la FSMP sous la coordination scientifique d'Hugo ...

Horizon Mathématiques 2024 Preuve mathématique et sûreté logicielle Une conférence organisée par la FSMP sous la coordination scientifique d'Hugo Herbelin (Inria, IRIF), le 27 mars 2024 à l'Institut Henri Poincaré.

Horizon Mathématiques 2024 Preuve mathématique et sûreté logicielle Une conférence organisée par la FSMP sous la coordination scientifique d'Hugo Herbelin (Inria, IRIF), le 27 mars 2024 à l'Institut Henri Poincaré.

Horizon Mathématiques 2024 Preuve mathématique et sûreté logicielle Une conférence organisée par la FSMP sous la coordination scientifique d'Hugo Herbelin (Inria, IRIF), le 27 mars 2024 à l'Institut Henri Poincaré.

"Logique de Séparation : de la gestion de la mémoire à l’établissement de protocles personnalisés" par Armaël Guéneau Horizon Mathématiques 2024 Preuve mathématique et sûreté logicielle Une conférence organisée par la FSMP sous la coordination scientifique d'Hugo Herbelin (Inria, IRIF), le 27 mars 2024 à l'Institut Henri Poincaré.

Horizon Mathématiques 2024 Preuve mathématique et sûreté logicielle Une conférence organisée par la FSMP sous la coordination scientifique d'Hugo Herbelin (Inria, IRIF), le 27 mars 2024 à l'Institut Henri Poincaré.

Table ronde Formation, avec Catherine Dubois (ENSIIE), Danko Ilik (CNES), Thierry Lecomte (CLEARSY), Pierre Roux (ONERA), Laurent Voisin (Systerel) Modération : Gaël Octavia (FSMP) Horizon Mathématiques 2024 Preuve mathématique et sûreté logicielle Une conférence organisée par la FSMP sous la coordination scientifique d'Hugo Herbelin (Inria, IRIF), le 27 mars 2024 à l'Institut Henri Poincaré.

"Vérification de systèmes embarqués aérospatiaux" par Pierre Roux

"La face cachée de la sûreté de fonctionnement du logiciel" par Danko Ilik

"Des méthodes formelles en pratique" par Laurent Voisin

"Utilisation des méthodes formelles pour les systèmes critiques" par Thierry Lecomte

Table Ronde : Hugo Herbelin, Riccardo Brasca, Jean-Marie Madiot, Chantal Keller et Pierre Letouzey

"La fonction G de Hofstadter et au-delà ! Un exemple curieux mêlant calculs...." Par Pierre Letouzey

"Démonstration automatique : l’exemple de Sniper" Par Chantal Keller

"Des programmes sans bugs grâce aux mathématiques formelles ?" Par Jean-Marie Madiot

"Pourrait-on vérifier toutes les mathématiques surordinateur ?" Par Riccardo Brasca

"Et si les preuves mathématiques n’étaient autres que des programmes ?" Par Hugo Herbelin

Agreement renewal ceremony for USTC's Sino-French Mathematical Talent Class

Cérémonie de renouvellement de l'accord : Classe sino-française des Talents mathématiques de l'USTC

ICIAM 2023, Tokyo : Rencontre avec Antonin Chambolle (CEREMADE, Univ. Paris-Dauphine-PSL)

ICIAM 2023, Tokyo : Rencontre avec Francis Bach

ICIAM 2023, Tokyo : Un objet "impossible" de Kokichi Sugihara