L'ED InfoMaths mets en place à partir de la rentrée 2024 un nouveau programme de cours doctoraux. Si vous souhaitez suivre un de ces cours, vous devez vous inscrire en amont en écrivant au responsable du cours par email (contacts disponibles ci-dessous). Vous trouverez ci-dessous le planning de ces cours, par ordre chronologique. Cette page sera mise à jour au fur et à mesure de la réception de nouvelles informations. Plus de détails peuvent être obtenus en écrivant directement au responsable du cours.
Au 1ᵉʳ semestre :
- Intégrabilité par Compensation et applications. Responsable Denis Serre. De octobre à novembre 2024.
- Representation Learning for Natural Language Processing. Responsable Adrien Guille. Le cours a lieu dans le bâtiment 3 de l’IUT Lumière Lyon 2. Le plan et les références du cours sont disponibles à l'adresse suivante : https://adrienguille.github.io/nlp_course.html. Planning du cours :
- Mercredi 20 novembre 2024, 13h30-17h30. Salle 3.213.
- Mardi 26 novembre 2024, 13h30-17h30. Salle 3.012.
- Vendredi 29 novembre 2024, 13h30-17h30. Salle 3.012.
- Introduction to reproducible research. Responsables Miguel Colom et Bertrand Kerautret. Planning du cours :
- Lundi 2 décembre 2024, 14h-16h. Intervenant : Miguel Colom.
- Mardi 3 décembre 2024, 14h-16h. Intervenant : Miguel Colom.
- Mercredi 4 décembre 2024, 14h-16h. Intervenant : Miguel Colom.
Au 2ᵉ semestre :
- Histoire des sciences. Responsable François Lê. Le cours a lieu le mardi de 14h à 17h en salle 125, Bâtiment Braconnier, Campus de la Doua. Planning du cours :
- 14/01/2025 : Histoire de l'algèbre 1 : Symbolismes. Intervenant : François LÊ.
- 21/01/2025 : Histoire de l'algèbre 2 : Le mythe d’Évariste Galois. Intervenant : François LÊ.
- 28/01/2025 : D’Alembert, un savant des Lumières. Intervenant : Fabrice FERLIN.
- 04/02/2025 : Les Révolutions scientifiques. Intervenant : Hugues CHABOT.
- 11/02/2025 : L’Académie des Sciences. Intervenant : Hugues CHABOT.
- 18/02/2025 : Histoire des statistiques 1. Intervenant : Sébastien GAUTHIER.
- 25/02/2025 : Histoire des statistiques 2. Intervenant : Sébastien GAUTHIER.
- 11/03/2025 : Histoire de la biologie au 19ᵉ siècle. Intervenant : Danièle VIAL.
- 18/03/2025 : Histoire et applications du magnétisme. Intervenant : Juliette TUAILLON.
- Preuve assistée par ordinateur dans Lean. Responsable Filippo Nuccio. Planning du cours :
- 19/02/2025 de 14h à 17h. Introduction aux assistants de preuve et au calcul propositionnel en Lean.
- 26/02/2025 de 14h à 17h. Propriétés ensemblistes de base.
- 12/03/2025 de 14h à 17h. Formalisation de l'algèbre.
- 19/03/2025 de 14h à 17h. Formalisation de la topologie.
- 26/03/2025 de 14h à 17h. Formalisation de l'analyse.
- Le cours est ouvert à tout participant, sans prérequis sur les assistants de preuve. Venir en cours avec un ordinateur portable est fortement recommandé. Pour avoir une idée du contenu traité, les participants intéressés peuvent consulter la page web du minicours suivant : https://www.mat.uniroma2.it/butterley/formalisation/.
- Querying and Transforming Property Graphs. Responsable Angela Bonifati. En avril 2025.
- Machines de Turing et Théorèmes de Gödel. Responsable Frank Wagner. En mai/juin 2025.