Les Soirées Mathématiques de Lyon (SML) proposent de véritables rencontres avec un·e chercheur·se autour d’un thème de recherche actuel, sous la forme d’une conférence suivie d’un pot convivial pour prolonger les discussions. Créées en 2012, elles s’adressent en premier lieu aux étudiant·es scientifiques post-bac (en université, en classe préparatoire, en école d’ingénieurs, …), mais aussi à tout public intéressé (amateur·rices, enseignant·es, chercheur·ses, …). De nombreuses SML depuis 2016 ont été filmées et sont disponibles sur la chaîne YouTube de la MMI.
Prochaine soirée le Lundi 16 novembre 2026 à 20h00 - ENS Lyon
Thème : Une recherche informatique et mathématique collective : le calcul du cinquième "castor affairé" avec Jean-Paul Delahaye, de l'Université de Lille.
Le calcul du « cinquième castor affairé », est un exploit extraordinaire réalisé il y a quelques mois dans le cadre d'un travail de recherche collectif exemplaire. Il concerne les machines de Turing, ce concept abstrait de dispositif de calcul imaginé en 1936 par Alan Turing et qui aujourd'hui encore est un outil important pour parler de la complexité des algorithmes et de la « non-calculabilité ».
Remarquable aussi est le fait que cet exploit est le fruit d’un travail collaboratif entremêlant mathématiques et informatique, qui témoigne d’une nouvelle façon de pratiquer des recherches et où l'ordinateur est un acteur central.
Conférencier : Jean-Paul Delahaye est professeur émérite d'informatique à l'Université de Lille et chercheur au laboratoire CRISTAL (CNRS).
Retrouvez sur notre chaîne YouTube les trailers des conférences SML ainsi que nos conférences en intégralité depuis 2016.