Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 24525 résultats Filtres Type de contenu Type de contenu (-) Enseignements (23194) Actualité (1634) (-) Personne (1331) Chaire (352) Éditions (348) Page (229) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Personne Événement Xavier Leroy Logiques pour les langages fonctionnels et l'ordre supérieur Cours Résumé Le dernier cours de l'année a étudié les logiques de programmes pour les fonctions, incluant les fonctions d'ordre supérieur et les fonctions comme valeurs de première classe. Les procédures récursives sont l'une des premières extensions de la … 15 avr 2021 09:30 à 11:00 Événement Chris Bowler Comment nos perceptions de la biodiversité et de l'environnement ont-elles changé dans le temps ? Cours Comment nos perceptions de la biodiversité et de l’environnement ont-elles changé dans le temps ? De la « mère Nature » au déluge universel, de l’uniformitarisme au mouvement pour l’environnement, du Jour de la Terre à la CDB/Nagoya à … 07 avr 2021 16:30 à 17:30 Événement Jean-Louis Cohen Villes réceptrices : Saint-Pétersbourg et Washington Cours 14 avr 2021 18:00 à 19:00 Événement Didier Fassin Naissance de la santé publique Cours 14 avr 2021 10:00 à 11:00 Événement Antoine Compagnon Dignitas non moritur Cours 12 jan 2021 16:30 à 17:30 Événement Bảo Châu Ngô Fibration de Hitchin Cours 16 avr 2021 14:00 à 16:00 Cycle Invariants birationnels Claire Voisin, chaire Géométrie algébrique Séminaire 06 juin 2019 Événement Pierre-Michel Menger Pierre Boulez, créateur multiactif – Étude de cas 2 (suite) Cours Compositeur, chef d'orchestre, fondateur et directeur d'institutions, professeur, musicologue : comment peut-on créer en déployant son énergie dans un imposant portefeuille … 09 avr 2021 10:00 à 12:00 Événement Thomas Vidick Certifier la génération de nombres aléatoires avec le quantique Séminaire Documents et médias Télécharger le support … 14 avr 2021 11:30 à 12:30 Événement Frédéric Magniez Cryptographie et communication quantiques : inégalités de Bell, tirage à pile ou face, mise en gage, certification Cours Documents et médias Télécharger le support … 14 avr 2021 10:00 à 11:30 Cycle Dynamical Mean Field Theory and Beyond: Recent Developments Antoine Georges, chaire Physique de la matière condensée Colloque 11 juin 2019 Événement Jean-Luc Fournet Études de papyrus byzantins en relation avec le sujet du cours (8) Séminaire 08 avr 2021 15:30 à 17:00 Événement Thomas Römer Les livres de Sagesse : Proverbes, Job, Qohéleth Cours Documents et médias Télécharger le support … 08 avr 2021 14:00 à 15:00 Événement Vinciane Pirenne-Delforge Les entrelacs de thesmos et de nomos dans l'épigraphie Cours Résumé Après avoir analysé les usages de thesmos et de nomos dans la poésie archaïque, les inscriptions des VI e – V e siècles (voire le tout début du IV e ) où apparaissent ces termes sont l’objet de la présente leçon. Il apparaît que thesmos y désigne … 08 avr 2021 11:00 à 12:00 Événement Antoine Compagnon Gagner la sortie Leçon de clôture Résumé « Je ne savais pas comment nommer cette dernière leçon, oscillant entre les deux voies que je me suis efforcé de suivre tout au long de ce dernier cycle de cours et durant l’avant-dernière heure encore : une tentation mélancolique, celle des … 12 jan 2021 17:45 à 18:45 Événement Dario Mantovani Romaine, trop romaine. Aux origines de l'équité Cours Ceux qui cherchent à comprendre le passé sont attirés par les origines, parfois dangereusement attirés. Cet engouement pour le « commencement » répond d’abord à un désir d’ordre, précisément parce que l’historiographie est un récit, qui a besoin d’un … 07 avr 2021 14:30 à 15:30 Événement Jean-Luc Fournet Le Monastère Blanc (3)/Les autres bibliothèques monastiques (1) Cours Le Monastère Blanc (3) À première vue, on ne s’attendrait pas à trouver le Roman d’Alexandre dans un monastère : la figure d’Alexandre assoiffé de (vaine) gloire, qui pousse l’orgueil jusqu’à se croire d’ascendance divine ainsi que la place accordée dans … 07 avr 2021 11:00 à 12:00 Événement Sonia Garel Une perspective historique sur les interactions neuroimmunitaires Cours 12 avr 2021 16:30 à 18:00 Cycle James Stewart Alain Supiot, chaire État social et mondialisation : analyse juridique des solidarités Conférencier invité James Stewart est invité par l'assemblée du Collège de France, sur la proposition du Pr Alain Supiot. James Stewart … 31 mai 2019 → 18 juin 2019 Événement Philippe Huneman Espèces, taxa et classification Séminaire On peut facilement se passer des « légumes », en reconnaissant qu'une bonne partie d'entre eux, mais pas tous, consiste en fruits, de sorte que cette catégorie est manifestement mal construite. Il est plus difficile de se passer des « poissons », mais la … 06 avr 2021 16:30 à 18:30 Événement Claudine Tiercelin De quelques héritages peirciens : Mérites et limites des lectures sémiotiques naturalistes de C. Morris, R. Millikan et F. Dretske Cours Documents et médias Télécharger le support … 06 avr 2021 14:00 à 16:00 Événement Jacques-Henri Jourdan Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris Séminaire Résumé Dans ce séminaire, Jacques-Henri Jourdan a présenté la logique de séparation Iris. Cette logique, récemment développée avec l'aide de l'assistant de preuve Coq, permet la vérification de programmes concurrents à grain fin en offrant la possibilité … 08 avr 2021 11:15 à 12:15 Événement Chris Bowler Répartition actuelle de la biodiversité dans les différents écosystèmes Cours Répartition actuelle de la biodiversité dans les différents écosystèmes Modèles locaux et mondiaux. La biodiversité et la productivité des écosystèmes. Biodiversité et stabilité des écosystèmes. Déterminants biogéographiques et écologiques des modèles de … 31 Mar 2021 16:30 à 17:30 Événement Xavier Leroy Logiques pour la mémoire partagée faiblement cohérente Cours Résumé Depuis le quatrième cours, notre vision d'une exécution parallèle d'un programme est celle d'un entrelacement des actions élémentaires des processus constituant le programme. Ce modèle du parallélisme est appelé séquentiellement cohérent (SC). Un … 08 avr 2021 09:30 à 11:00 Pagination Première page Page précédente … Page 307 Page 308 Page 309 Page 310 Page courante 311 Page 312 Page 313 Page 314 Page 315 … Page suivante Dernière page
Événement Xavier Leroy Logiques pour les langages fonctionnels et l'ordre supérieur Cours Résumé Le dernier cours de l'année a étudié les logiques de programmes pour les fonctions, incluant les fonctions d'ordre supérieur et les fonctions comme valeurs de première classe. Les procédures récursives sont l'une des premières extensions de la … 15 avr 2021 09:30 à 11:00
Événement Chris Bowler Comment nos perceptions de la biodiversité et de l'environnement ont-elles changé dans le temps ? Cours Comment nos perceptions de la biodiversité et de l’environnement ont-elles changé dans le temps ? De la « mère Nature » au déluge universel, de l’uniformitarisme au mouvement pour l’environnement, du Jour de la Terre à la CDB/Nagoya à … 07 avr 2021 16:30 à 17:30
Événement Jean-Louis Cohen Villes réceptrices : Saint-Pétersbourg et Washington Cours 14 avr 2021 18:00 à 19:00
Événement Pierre-Michel Menger Pierre Boulez, créateur multiactif – Étude de cas 2 (suite) Cours Compositeur, chef d'orchestre, fondateur et directeur d'institutions, professeur, musicologue : comment peut-on créer en déployant son énergie dans un imposant portefeuille … 09 avr 2021 10:00 à 12:00
Événement Thomas Vidick Certifier la génération de nombres aléatoires avec le quantique Séminaire Documents et médias Télécharger le support … 14 avr 2021 11:30 à 12:30
Événement Frédéric Magniez Cryptographie et communication quantiques : inégalités de Bell, tirage à pile ou face, mise en gage, certification Cours Documents et médias Télécharger le support … 14 avr 2021 10:00 à 11:30
Cycle Dynamical Mean Field Theory and Beyond: Recent Developments Antoine Georges, chaire Physique de la matière condensée Colloque 11 juin 2019
Événement Jean-Luc Fournet Études de papyrus byzantins en relation avec le sujet du cours (8) Séminaire 08 avr 2021 15:30 à 17:00
Événement Thomas Römer Les livres de Sagesse : Proverbes, Job, Qohéleth Cours Documents et médias Télécharger le support … 08 avr 2021 14:00 à 15:00
Événement Vinciane Pirenne-Delforge Les entrelacs de thesmos et de nomos dans l'épigraphie Cours Résumé Après avoir analysé les usages de thesmos et de nomos dans la poésie archaïque, les inscriptions des VI e – V e siècles (voire le tout début du IV e ) où apparaissent ces termes sont l’objet de la présente leçon. Il apparaît que thesmos y désigne … 08 avr 2021 11:00 à 12:00
Événement Antoine Compagnon Gagner la sortie Leçon de clôture Résumé « Je ne savais pas comment nommer cette dernière leçon, oscillant entre les deux voies que je me suis efforcé de suivre tout au long de ce dernier cycle de cours et durant l’avant-dernière heure encore : une tentation mélancolique, celle des … 12 jan 2021 17:45 à 18:45
Événement Dario Mantovani Romaine, trop romaine. Aux origines de l'équité Cours Ceux qui cherchent à comprendre le passé sont attirés par les origines, parfois dangereusement attirés. Cet engouement pour le « commencement » répond d’abord à un désir d’ordre, précisément parce que l’historiographie est un récit, qui a besoin d’un … 07 avr 2021 14:30 à 15:30
Événement Jean-Luc Fournet Le Monastère Blanc (3)/Les autres bibliothèques monastiques (1) Cours Le Monastère Blanc (3) À première vue, on ne s’attendrait pas à trouver le Roman d’Alexandre dans un monastère : la figure d’Alexandre assoiffé de (vaine) gloire, qui pousse l’orgueil jusqu’à se croire d’ascendance divine ainsi que la place accordée dans … 07 avr 2021 11:00 à 12:00
Événement Sonia Garel Une perspective historique sur les interactions neuroimmunitaires Cours 12 avr 2021 16:30 à 18:00
Cycle James Stewart Alain Supiot, chaire État social et mondialisation : analyse juridique des solidarités Conférencier invité James Stewart est invité par l'assemblée du Collège de France, sur la proposition du Pr Alain Supiot. James Stewart … 31 mai 2019 → 18 juin 2019
Événement Philippe Huneman Espèces, taxa et classification Séminaire On peut facilement se passer des « légumes », en reconnaissant qu'une bonne partie d'entre eux, mais pas tous, consiste en fruits, de sorte que cette catégorie est manifestement mal construite. Il est plus difficile de se passer des « poissons », mais la … 06 avr 2021 16:30 à 18:30
Événement Claudine Tiercelin De quelques héritages peirciens : Mérites et limites des lectures sémiotiques naturalistes de C. Morris, R. Millikan et F. Dretske Cours Documents et médias Télécharger le support … 06 avr 2021 14:00 à 16:00
Événement Jacques-Henri Jourdan Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris Séminaire Résumé Dans ce séminaire, Jacques-Henri Jourdan a présenté la logique de séparation Iris. Cette logique, récemment développée avec l'aide de l'assistant de preuve Coq, permet la vérification de programmes concurrents à grain fin en offrant la possibilité … 08 avr 2021 11:15 à 12:15
Événement Chris Bowler Répartition actuelle de la biodiversité dans les différents écosystèmes Cours Répartition actuelle de la biodiversité dans les différents écosystèmes Modèles locaux et mondiaux. La biodiversité et la productivité des écosystèmes. Biodiversité et stabilité des écosystèmes. Déterminants biogéographiques et écologiques des modèles de … 31 Mar 2021 16:30 à 17:30
Événement Xavier Leroy Logiques pour la mémoire partagée faiblement cohérente Cours Résumé Depuis le quatrième cours, notre vision d'une exécution parallèle d'un programme est celle d'un entrelacement des actions élémentaires des processus constituant le programme. Ce modèle du parallélisme est appelé séquentiellement cohérent (SC). Un … 08 avr 2021 09:30 à 11:00