Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 24798 résultats Filtres Type de contenu Type de contenu (-) Enseignements (24447) Actualité (1657) Personne (1347) Chaire (359) (-) Éditions (351) Page (230) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Éditions É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 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 Cycle Épistémologie sociale : autour de John Greco Claudine Tiercelin, chaire Métaphysique et philosophie de la connaissance Colloque Ce colloque, organisé dans le cadre du programme PSL, « Knowledge first social epistemology », conduit par Claudine Tiercelin (Collège de France) et Pascal Engel (EHESS), a réuni le 9 mai 2019 les meilleurs spécialistes d’épistémologie sociale, dont … 09 mai 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 Cycle Lectures et littératures trans-frontalières en Asie orientale Anne Cheng, chaire Histoire intellectuelle de la Chine Conférencier invité 20 juin 2019 É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 É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 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 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 Cycle Les rapports de présentation, témoins du renouvellement des chaires au Collège de France (suite) Antoine Compagnon, chaire Littérature française moderne et contemporaine : histoire, critique, théorie Colloque 09 mai 2019 É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 É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 Cycle Managing Reactivity of Hydrides in CO2 Reduction to Formate Laboratoire de chimie des processus biologiques (LCPB) Séminaire 30 avr 2019 Événement Didier Fassin Observations sur la condition d'exilé Séminaire Séance organisée en collaboration avec le département Health de l’Institut Convergences Migrations. Santé publique et politique migratoire … 18 jan 2021 15:00 à 16: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 É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 Pagination Première page « Premier Page précédente ‹‹ … Page 317 Page 318 Page 319 Page 320 Page 321 Page 322 Page 323 Page 324 Page 325 … Page suivante ›› Dernière page Dernier »
É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 Jean-Louis Cohen Villes réceptrices : Saint-Pétersbourg et Washington Cours 14 avr 2021 18:00 à 19:00
Cycle Épistémologie sociale : autour de John Greco Claudine Tiercelin, chaire Métaphysique et philosophie de la connaissance Colloque Ce colloque, organisé dans le cadre du programme PSL, « Knowledge first social epistemology », conduit par Claudine Tiercelin (Collège de France) et Pascal Engel (EHESS), a réuni le 9 mai 2019 les meilleurs spécialistes d’épistémologie sociale, dont … 09 mai 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
Cycle Lectures et littératures trans-frontalières en Asie orientale Anne Cheng, chaire Histoire intellectuelle de la Chine Conférencier invité 20 juin 2019
É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
É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 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 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
Cycle Les rapports de présentation, témoins du renouvellement des chaires au Collège de France (suite) Antoine Compagnon, chaire Littérature française moderne et contemporaine : histoire, critique, théorie Colloque 09 mai 2019
É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
É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
Cycle Managing Reactivity of Hydrides in CO2 Reduction to Formate Laboratoire de chimie des processus biologiques (LCPB) Séminaire 30 avr 2019
Événement Didier Fassin Observations sur la condition d'exilé Séminaire Séance organisée en collaboration avec le département Health de l’Institut Convergences Migrations. Santé publique et politique migratoire … 18 jan 2021 15:00 à 16: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
É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