Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 24472 résultats Filtres Type de contenu Type de contenu (-) Enseignements (23141) Actualité (1609) (-) Personne (1331) Chaire (352) Éditions (344) Page (230) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Personne Cycle Sciences des invasions Franck Courchamp, chaire Biodiversité et écosystèmes Séminaire Drinking ant. Les séminaires complémentaires enrichissent le programme en apportant à la fin de chaque cours une perspective supplémentaire sur le sujet de la part d'experts dans des domaines connexes comme l'épidémiologie, l'économie et la biogéographie. … 05 mai 2025 → 30 juin 2025 Cycle Les invasions biologiques Franck Courchamp, chaire Biodiversité et écosystèmes Cours Drinking ant. Le programme de ce cours sur les invasions biologiques offre une exploration approfondie et diversifiée de ce phénomène complexe et souvent méconnu. À travers une approche globale et interdisciplinaire, ces huit cours mettront en lumière les … 05 mai 2025 → 30 juin 2025 Cycle Le futur en héritage Avenir Commun Durable Grand événement Série de débats coorganisée avec Alma Mater (journal interuniversitaire, pluridisciplinaire et apartisan) dans le cadre de l'initiative Avenir Commun Durable . Sous le patronage des professeurs Marc Fontecave , Dario Mantovani et Jean-Marie Tarascon … 05 juin 2025 → 09 oct 2025 Événement Antoine Chambert-Loir Sur la formalisation des puissances divisées Colloque Résumé Je ferai le point sur un travail de formalisation de la théorie des puissances divisées que je mène avec María-Inés de Frutos Fernández. Découvert par Cartan dans un contexte de topologie algébrique, cet outil algébrique a été développé dans les … 02 juin 2025 10:05 à 10:45 Événement Assia Mahboubi Preuves formelles mutatis mutandis Colloque Résumé Comme c'est le cas dans la littérature, l'ajout d'un concept mathématique à un corpus de bibliothèques formelles donne typiquement lieu à plusieurs variantes de définitions, le plus souvent équivalentes mais pas toujours. Malheureusement, la … 02 juin 2025 11:00 à 11:45 Événement Pierre-Marie Pedrot Fondements ? Colloque Résumé Depuis quelques années, la preuve assistée par ordinateur séduit un public de plus en plus large. Jusque-là surreprésentée dans le domaine de l'informatique où elle était née, elle a commencé à susciter chez les mathématiciens un engouement qui a … 02 juin 2025 14:00 à 14:45 Événement François Héran Face à l’immigration, le savant et le politique Leçon de clôture 15 mai 2025 17:00 à 18:30 Événement Riccardo Brasca Recent Progress in the Formalization of Number Theory Colloque Résumé In this talk, we will discuss the current state of the formalization of modern number theory in mathlib, the mathematical library of Lean. We will highlight recent advancements, key challenges that have been addressed, and the broader implications … 02 juin 2025 15:30 à 16:15 Événement Denis-Charles Cisinski The logic of higher category theory Colloque Résumé The logic of higher category theory is a variation of type theory that is homotopy theoretic in nature and in which the notion of category is the basic concept. A suitable generalization of Voevodsky's univalence axiom turns this theory into a very … 02 juin 2025 16:30 à 17:15 Événement Thierry Coquand Conclusion Colloque 02 juin 2025 17:15 à 17:20 Événement Naama Friedmann How the same dyslexia manifests itself in different languages Conférencier invité Naama Friedmann est invitée par l'assemblée du Collège de France, sur proposition des professeurs Stanislas Dehaene, chaire Psychologie cognitive expérimentale et Luigi Rizzi, chaire Linguistique générale … 03 juin 2025 17:30 à 19:00 Événement Hourig Sourouzian La statuaire égyptienne dans les temples Conférencier invité Résumé La statuaire divine et royale fait partie intégrante du temple égyptien. Les temples que nous visitons aujourd’hui, ont pu garder leurs murs, parfois même leur plafond mais sont pour la plupart presque entièrement vidés de leur riche mobilier qui … 14 mai 2025 17:00 à 18:00 Événement Stephen Quake Information flow in the cell: from genome to cell type Colloque 16 mai 2025 09:10 à 09:50 Événement Yaron Antebi Deciphering cellular integration of the contradictory BMP and TGFβ signals Colloque 16 mai 2025 09:50 à 10:30 Événement Lisa Manning Are cell-scale physical learning rules operating during embryonic development? Colloque 16 mai 2025 11:00 à 11:40 Événement Manuel Théry What is encoded in the selective stabilization of microtubules? Colloque 16 mai 2025 11:40 à 12:20 Événement Thomas Gregor Specifying cellular identities in the early fly embryo Colloque 16 mai 2025 14:00 à 14:40 Événement Madan Rao Decoding & encoding of molecular information, global optimization and geometry Colloque 16 mai 2025 14:40 à 15:20 Événement Aleksandra Walczak Precision in a rush: temporal aspects of decision making Colloque 16 mai 2025 15:20 à 16:00 Événement David Brueckner Self-organized information flow in stem cell patterning Colloque 16 mai 2025 16:30 à 17:10 Événement Éric Ruf, Antoine Lilti & Isabelle Nanty Jouer : au théâtre, au cinéma ou ailleurs Grand événement Résumé Quelle drôle de chose que d’avoir pour métier celui de jouer ! Quand le théâtre s’adresse à un corps collectif, présent, ici et maintenant, dans une forme qui ne sera jamais reproduite à l’identique, le cinéma va chercher à créer de l’intime … 14 mai 2025 19:00 à 20:30 Événement Claire Wyart Decoding individual variability in motor strategies during navigation Colloque 16 mai 2025 17:10 à 17:50 Événement Thomas Lecuit Conclusions Colloque 16 mai 2025 17:50 à 18:00 Événement Didier Fassin À la recherche des origines Cours La vidéo sera disponible prochainement. … 13 mai 2025 15:15 à 16:15 Pagination Première page Page précédente … Page 55 Page 56 Page 57 Page 58 Page courante 59 Page 60 Page 61 Page 62 Page 63 … Page suivante Dernière page
Cycle Sciences des invasions Franck Courchamp, chaire Biodiversité et écosystèmes Séminaire Drinking ant. Les séminaires complémentaires enrichissent le programme en apportant à la fin de chaque cours une perspective supplémentaire sur le sujet de la part d'experts dans des domaines connexes comme l'épidémiologie, l'économie et la biogéographie. … 05 mai 2025 → 30 juin 2025
Cycle Les invasions biologiques Franck Courchamp, chaire Biodiversité et écosystèmes Cours Drinking ant. Le programme de ce cours sur les invasions biologiques offre une exploration approfondie et diversifiée de ce phénomène complexe et souvent méconnu. À travers une approche globale et interdisciplinaire, ces huit cours mettront en lumière les … 05 mai 2025 → 30 juin 2025
Cycle Le futur en héritage Avenir Commun Durable Grand événement Série de débats coorganisée avec Alma Mater (journal interuniversitaire, pluridisciplinaire et apartisan) dans le cadre de l'initiative Avenir Commun Durable . Sous le patronage des professeurs Marc Fontecave , Dario Mantovani et Jean-Marie Tarascon … 05 juin 2025 → 09 oct 2025
Événement Antoine Chambert-Loir Sur la formalisation des puissances divisées Colloque Résumé Je ferai le point sur un travail de formalisation de la théorie des puissances divisées que je mène avec María-Inés de Frutos Fernández. Découvert par Cartan dans un contexte de topologie algébrique, cet outil algébrique a été développé dans les … 02 juin 2025 10:05 à 10:45
Événement Assia Mahboubi Preuves formelles mutatis mutandis Colloque Résumé Comme c'est le cas dans la littérature, l'ajout d'un concept mathématique à un corpus de bibliothèques formelles donne typiquement lieu à plusieurs variantes de définitions, le plus souvent équivalentes mais pas toujours. Malheureusement, la … 02 juin 2025 11:00 à 11:45
Événement Pierre-Marie Pedrot Fondements ? Colloque Résumé Depuis quelques années, la preuve assistée par ordinateur séduit un public de plus en plus large. Jusque-là surreprésentée dans le domaine de l'informatique où elle était née, elle a commencé à susciter chez les mathématiciens un engouement qui a … 02 juin 2025 14:00 à 14:45
Événement François Héran Face à l’immigration, le savant et le politique Leçon de clôture 15 mai 2025 17:00 à 18:30
Événement Riccardo Brasca Recent Progress in the Formalization of Number Theory Colloque Résumé In this talk, we will discuss the current state of the formalization of modern number theory in mathlib, the mathematical library of Lean. We will highlight recent advancements, key challenges that have been addressed, and the broader implications … 02 juin 2025 15:30 à 16:15
Événement Denis-Charles Cisinski The logic of higher category theory Colloque Résumé The logic of higher category theory is a variation of type theory that is homotopy theoretic in nature and in which the notion of category is the basic concept. A suitable generalization of Voevodsky's univalence axiom turns this theory into a very … 02 juin 2025 16:30 à 17:15
Événement Naama Friedmann How the same dyslexia manifests itself in different languages Conférencier invité Naama Friedmann est invitée par l'assemblée du Collège de France, sur proposition des professeurs Stanislas Dehaene, chaire Psychologie cognitive expérimentale et Luigi Rizzi, chaire Linguistique générale … 03 juin 2025 17:30 à 19:00
Événement Hourig Sourouzian La statuaire égyptienne dans les temples Conférencier invité Résumé La statuaire divine et royale fait partie intégrante du temple égyptien. Les temples que nous visitons aujourd’hui, ont pu garder leurs murs, parfois même leur plafond mais sont pour la plupart presque entièrement vidés de leur riche mobilier qui … 14 mai 2025 17:00 à 18:00
Événement Stephen Quake Information flow in the cell: from genome to cell type Colloque 16 mai 2025 09:10 à 09:50
Événement Yaron Antebi Deciphering cellular integration of the contradictory BMP and TGFβ signals Colloque 16 mai 2025 09:50 à 10:30
Événement Lisa Manning Are cell-scale physical learning rules operating during embryonic development? Colloque 16 mai 2025 11:00 à 11:40
Événement Manuel Théry What is encoded in the selective stabilization of microtubules? Colloque 16 mai 2025 11:40 à 12:20
Événement Thomas Gregor Specifying cellular identities in the early fly embryo Colloque 16 mai 2025 14:00 à 14:40
Événement Madan Rao Decoding & encoding of molecular information, global optimization and geometry Colloque 16 mai 2025 14:40 à 15:20
Événement Aleksandra Walczak Precision in a rush: temporal aspects of decision making Colloque 16 mai 2025 15:20 à 16:00
Événement David Brueckner Self-organized information flow in stem cell patterning Colloque 16 mai 2025 16:30 à 17:10
Événement Éric Ruf, Antoine Lilti & Isabelle Nanty Jouer : au théâtre, au cinéma ou ailleurs Grand événement Résumé Quelle drôle de chose que d’avoir pour métier celui de jouer ! Quand le théâtre s’adresse à un corps collectif, présent, ici et maintenant, dans une forme qui ne sera jamais reproduite à l’identique, le cinéma va chercher à créer de l’intime … 14 mai 2025 19:00 à 20:30
Événement Claire Wyart Decoding individual variability in motor strategies during navigation Colloque 16 mai 2025 17:10 à 17:50
Événement Didier Fassin À la recherche des origines Cours La vidéo sera disponible prochainement. … 13 mai 2025 15:15 à 16:15
