Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 23371 résultats Filtres Type de contenu Type de contenu (-) Enseignements (23141) Actualité (1611) Personne (1331) Chaire (352) Éditions (344) (-) Page (230) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Page Événement Christine Lombez Traductions et nouvelles bibliothèques en temps de guerre : le cas de l'Occupation allemande (1940-1944) Séminaire Résumé Le séminaire a présenté les enjeux du programme de recherche Traduire sous l’Occupation (TSOcc) ayant pour objet la traduction littéraire, en France et en Belgique, sous … 13 avr 2021 15:30 à 16:30 Événement William Marx Le canon et l'oubli Cours Résumé À travers une lecture d’un passage du livre de Néhémie, au chapitre 8, rapportant la lecture du livre de la Loi de Moïse par Esdras à la porte des Eaux, à Jérusalem, en 458 ou 398 avant notre ère, nous pouvons nous intéresser de plus près à un … 13 avr 2021 14:30 à 15:30 Événement Claudine Tiercelin Conclusions : Les avantages d'une approche sémiotique réaliste pour répondre aux défis contemporains, ou comment penser le triangle : langage-esprit-monde Cours Documents et médias Télécharger le support … 13 avr 2021 14:00 à 16:00 É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 É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 Pagination Première page Page précédente … Page 250 Page 251 Page 252 Page 253 Page courante 254 Page 255 Page 256 Page 257 Page 258 … Page suivante Dernière page
Événement Christine Lombez Traductions et nouvelles bibliothèques en temps de guerre : le cas de l'Occupation allemande (1940-1944) Séminaire Résumé Le séminaire a présenté les enjeux du programme de recherche Traduire sous l’Occupation (TSOcc) ayant pour objet la traduction littéraire, en France et en Belgique, sous … 13 avr 2021 15:30 à 16:30
Événement William Marx Le canon et l'oubli Cours Résumé À travers une lecture d’un passage du livre de Néhémie, au chapitre 8, rapportant la lecture du livre de la Loi de Moïse par Esdras à la porte des Eaux, à Jérusalem, en 458 ou 398 avant notre ère, nous pouvons nous intéresser de plus près à un … 13 avr 2021 14:30 à 15:30
Événement Claudine Tiercelin Conclusions : Les avantages d'une approche sémiotique réaliste pour répondre aux défis contemporains, ou comment penser le triangle : langage-esprit-monde Cours Documents et médias Télécharger le support … 13 avr 2021 14:00 à 16:00
É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
É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