Mathematical proofs and software safety

The 2024 edition of Horizon Maths will take place on Wednesday March 27^th 2024 from 9 a.m. to 6 p.m. at IHP (11 rue Pierre et Marie Curie, Paris 5^e), Amphi Hermite, on the theme Mathematical proofs and software safety. The conference is organized under the coordination of Hugo Herbelin (IRIF, Inria). The organizers also thank Catherine Dubois (ENSIIE) and Xavier Leroy (Collège de France) for their precious help.

The day will include lectures and a round-table discussion. The full program will soon be available on this page.

Download the poster.

Registration

Registration is free but mandatory. Please register via the online form.

La journée Horizon Maths 2022, sur le thème Mathématiques et Gravitation, aura lieu le mardi 6 décembre 2022 de 9h à 17h à Sorbonne Université (4 place Jussieu 75005 Paris), Amphithéâre 25. Cette conférence est organisée sous la houlette de Jérôme Pérez (ENSTA Paris) et Emmanuel Trélat (Sorbonne Université).

Cliquez ici pour télécharger l'affiche.

Inscrivez-vous !

L'inscription est obligatoire. Cliquez ici pour accéder au formulaire. 

Les intervenant.e.s

Cliquez ici pour retrouver les biographies des intervenant.e.s.

Alain Albouy (IMCCE)
Mathématicien spécialiste de systèmes dynamiques, Alain Albouy s’intéresse à des problèmes issus de la mécanique céleste, en particulier le problème de Lambert, le problème de Kepler... Il est chercheur à l’IMCCE (Observatoire de Paris).

Eric Bourgeois (CNES Paris)
Éric Bourgeois est ingénieur du Centre National d'Etudes Spatiales (CNES), et spécialisé dans les méthodes d’optimisation de trajectoire, de guidage et de navigation.

Max Cerf (ArianeGroup)
Max Cerf est ingénieur en analyse de mission à ArianeGroup. Ses activités portent sur l'optimisation des véhicules spatiaux et de leurs trajectoires.

Ariadna Farrès (NASA)
Titulaire d'un doctorat en mathématiques appliquées de l'université de Barcelone, Ariadna Farrès est spécialiste d’astrodynamique et de mécanique céleste. Elle travaille actuellement avec l'équipe Flight Dynamics du Goddard Space Flight Center de la NASA, en tant qu'experte de l'impact de la pression de radiation solaire sur les orbites du point de libération.

Jacques Fejoz (CEREMADE, Université Paris Dauphine-PSL)
Jacques Fejoz est spécialiste de dynamique hamiltonienne et de mécanique céleste. Il est professeur à l'Université Paris Dauphine PSL, dont il est directeur du département de mathématiques appliquées et informatique, chercheur au CEREMADE et à l’IMCCE (Observatoire de Paris).

Cliquez ici pour télécharger l'affiche.

La journée Horizon Maths 2021, sur le thème Mathématiques et Transports, a eu lieu le mardi 30 novembre 2021 de 9h à 18h à l'Institut Henri Poincaré (11 rue Pierre et Marie Curie 75005 Paris, voir l'accès ici). Cette conférence était organisée sous la houlette de Fabien Leurent (ENPC, Chaire Île-de-France Mobilités) et Bertrand Maury (ENS-PSL et Université Paris-Saclay).

Programme

Vidéos

Présentation de la FSMP par Isabelle Gallagher, directrice de la FSMP, et introduction de la journée par les organisateurs Fabien Leurent et Bertrand Maury