Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 27018 résultats Filtres Type de contenu Type de contenu Enseignements (23103) Actualité (1603) Personne (1328) Chaire (352) Éditions (343) Page (230) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Actualité Programme des enseignements 2023-2024 Collège de France Le programme des enseignements 2023-2024 est disponible dans sa version PDF ou en ligne avec notre liseuse ! La version imprimée sera prochainement disponible à l'accueil du Collège de France. Télécharger le programme des enseignements 2023-2024 Accéder … Publié le 19 juillet 2023 Événement Philippa Gardner Gillian: a Multi-language Platform for Compositional Symbolic Analysis Séminaire Résumé Le dernier séminaire de l'année, présenté en anglais, a décrit la plate-forme multilangages Gillian de vérification par exécution symbolique et ses utilisations pour vérifier et pour trouver des erreurs dans des bibliothèques JavaScript et C. … 15 avr 2021 11:15 à 12:15 É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 Bảo Châu Ngô Fibration de Hitchin Cours 16 avr 2021 14:00 à 16:00 Événement Antoine Compagnon Dignitas non moritur Cours 12 jan 2021 16:30 à 17:30 É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 Actualité Nouvelles acquisitions de la bibliothèque byzantine Bibliothèques et archives Maquette du sanctuaire de Saint-Syméon-le-Stylite en Syrie. La bibliothèque byzantine vous propose de découvrir la liste complète de ses acquisitions du premier semestre 2023. Pour en savoir plus Télécharger la liste des acquisitions Accéder à la page de … Publié le 18 juillet 2023 É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 Sonia Garel Une perspective historique sur les interactions neuroimmunitaires Cours 12 avr 2021 16:30 à 18:00 É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 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 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 É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 Pagination Première page Page précédente … Page 348 Page 349 Page 350 Page 351 Page courante 352 Page 353 Page 354 Page 355 Page 356 … Page suivante Dernière page
Actualité Programme des enseignements 2023-2024 Collège de France Le programme des enseignements 2023-2024 est disponible dans sa version PDF ou en ligne avec notre liseuse ! La version imprimée sera prochainement disponible à l'accueil du Collège de France. Télécharger le programme des enseignements 2023-2024 Accéder … Publié le 19 juillet 2023
Événement Philippa Gardner Gillian: a Multi-language Platform for Compositional Symbolic Analysis Séminaire Résumé Le dernier séminaire de l'année, présenté en anglais, a décrit la plate-forme multilangages Gillian de vérification par exécution symbolique et ses utilisations pour vérifier et pour trouver des erreurs dans des bibliothèques JavaScript et C. … 15 avr 2021 11:15 à 12:15
É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
Actualité Nouvelles acquisitions de la bibliothèque byzantine Bibliothèques et archives Maquette du sanctuaire de Saint-Syméon-le-Stylite en Syrie. La bibliothèque byzantine vous propose de découvrir la liste complète de ses acquisitions du premier semestre 2023. Pour en savoir plus Télécharger la liste des acquisitions Accéder à la page de … Publié le 18 juillet 2023
É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 Sonia Garel Une perspective historique sur les interactions neuroimmunitaires Cours 12 avr 2021 16:30 à 18:00
É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 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 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
É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
