Partager Facebook LinkedIn Bluesky Threads Copier le lien Agenda Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 4508 événements Filtres Dates Dates Du Au Appliquer Aujourd'hui 7 prochains jours 30 prochains jours Tout l'agenda Professeur, chaire, laboratoire Professeur, chaire, laboratoire Rechercher un professeur, une chaire ou un laboratoire Domaines Domaines (-) Mathématiques et sciences informatiques (1855) Physique et chimie (1563) Sciences de l'Univers (584) Sciences de la vie (1746) Histoire et archéologie (4096) (-) Lettres, arts, langage, philosophie (2655) Sciences sociales (1546) Type d'enseignement Type d'enseignement Cours (2334) Séminaire (1424) Colloque (247) Leçon inaugurale (75) Leçon de clôture (5) Conférencier invité (409) Grand événement (14) Filtres actifs Mathématiques et sciences informatiques Lettres, arts, langage, philosophie Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 23 Mar 2021 Séminaire 15:30 - 16:30 Évaluations et réévaluations : la question du canon musical depuis 1945 Karol Beffa 23 Mar 2021 Les bibliothèques invisibles Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 23 Mar 2021 15:30 - 16:30 Séminaire 16:30 - 17:30 Bibliothèque des grandes aventures et rayonnages SF dans le couloir : collection et canonicité dans les productions sérielles Matthieu Letourneux 23 Mar 2021 Les bibliothèques invisibles Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 23 Mar 2021 16:30 - 17:30 Séminaire 16:30 - 18:30 Du réel à la pensée en passant par la langue Jean Szlamowicz et Xavier-Laurent Salvador 23 Mar 2021 Les articulations du réel Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2021 16:30 - 18:30 25 Mar 2021 Cours 09:30 - 11:00 Parallélisme à mémoire partagée : la logique de séparation concurrente Xavier Leroy 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic Bart Jacobs 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 11:15 - 12:15 30 Mar 2021 Cours 10:30 - 11:30 Conclusions Jean-Noël Robert 30 Mar 2021 Langue romanesque et bouddhisme : Ihara Saikaku et Le Grand Miroir des Voluptés Salle 2, Site Marcelin Berthelot 30 Mar 2021 10:30 - 11:30 Cours 14:00 - 16:00 Pour une sémiotique réaliste d'inspiration peircienne (4) Sémiotique et perception ou comment s'arrimer au monde sans le juger et sans s'y perdre : les vertus de l'approche abductive Claudine Tiercelin 30 Mar 2021 Sémiotique et ontologie (suite et fin) Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2021 14:00 - 16:00 Cours 14:30 - 15:30 Bibliothèques et pouvoir William Marx 30 Mar 2021 Les bibliothèques invisibles Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 30 Mar 2021 14:30 - 15:30 Séminaire 15:30 - 16:30 Vie du bibliothécaire Cyrille Martinez 30 Mar 2021 Les bibliothèques invisibles Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 30 Mar 2021 15:30 - 16:30 Séminaire 16:30 - 18:30 La réalité des entités sociales Sophie Berlioz 30 Mar 2021 Les articulations du réel Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2021 16:30 - 18:30 01 avr 2021 Cours 09:30 - 11:00 Quelques extensions de la logique de séparation Xavier Leroy 01 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 avr 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Raisonner à propos du temps en logique de séparation François Pottier 01 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 avr 2021 11:15 - 12:15 Leçon inaugurale 18:00 - 19:00 Algorithmes quantiques : quand la physique quantique défie la thèse de Church-Turing Frédéric Magniez 01 avr 2021 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 avr 2021 18:00 - 19:00 02 avr 2021 Cours 14:00 - 16:00 Fibrés avec structure additionnelle sur une courbe Bảo Châu Ngô 02 avr 2021 Dualité des fibrations de Hitchin et endoscopie 02 avr 2021 14:00 - 16:00 06 avr 2021 Cours 14:00 - 16:00 De quelques héritages peirciens : Mérites et limites des lectures sémiotiques naturalistes de C. Morris, R. Millikan et F. Dretske Claudine Tiercelin 06 avr 2021 Sémiotique et ontologie (suite et fin) Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 avr 2021 14:00 - 16:00 Séminaire 16:30 - 18:30 Espèces, taxa et classification Philippe Huneman 06 avr 2021 Les articulations du réel Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 avr 2021 16:30 - 18:30 07 avr 2021 Cours 10:00 - 11:30 Information quantique, premières utilisations calculatoires : superposition, mesure, transformation, non-clonage, distribution quantique de clés, téléportation Frédéric Magniez 07 avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 avr 2021 10:00 - 11:30 Séminaire 11:30 - 12:30 Réseaux de communication quantique Eleni Diamanti 07 avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 avr 2021 11:30 - 12:30 08 avr 2021 Cours 09:30 - 11:00 Logiques pour la mémoire partagée faiblement cohérente Xavier Leroy 08 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 avr 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris Jacques-Henri Jourdan 08 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 avr 2021 11:15 - 12:15 09 avr 2021 Colloque Fins de la littérature Antoine Compagnon 09 avr 2021 09 avr 2021 Cours 14:00 - 16:00 Espace de module des fibrés et la Grassmannienne affine Bảo Châu Ngô 09 avr 2021 Dualité des fibrations de Hitchin et endoscopie 09 avr 2021 14:00 - 16:00 13 avr 2021 Cours 14:00 - 16:00 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 Claudine Tiercelin 13 avr 2021 Sémiotique et ontologie (suite et fin) Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 avr 2021 14:00 - 16:00 Cours 14:30 - 15:30 Le canon et l'oubli William Marx 13 avr 2021 Les bibliothèques invisibles Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 avr 2021 14:30 - 15:30 Séminaire 15:30 - 16:30 Traductions et nouvelles bibliothèques en temps de guerre : le cas de l'Occupation allemande (1940-1944) Christine Lombez 13 avr 2021 Les bibliothèques invisibles Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 avr 2021 15:30 - 16:30 Séminaire 16:30 - 18:30 Le possible, les espèces, et la question de l'autonomie de la métaphysique Filipe Drapeau-Contim 13 avr 2021 Les articulations du réel Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 avr 2021 16:30 - 18:30 14 avr 2021 Cours 10:00 - 11:30 Cryptographie et communication quantiques : inégalités de Bell, tirage à pile ou face, mise en gage, certification Frédéric Magniez 14 avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 14 avr 2021 10:00 - 11:30 Séminaire 11:30 - 12:30 Certifier la génération de nombres aléatoires avec le quantique Thomas Vidick 14 avr 2021 Algorithmes quantiques 14 avr 2021 11:30 - 12:30 15 avr 2021 Cours 09:30 - 11:00 Logiques pour les langages fonctionnels et l'ordre supérieur Xavier Leroy 15 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 avr 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Gillian: a Multi-language Platform for Compositional Symbolic Analysis Philippa Gardner 15 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 avr 2021 11:15 - 12:15 Pagination Première page Page précédente … Page 116 Page 117 Page 118 Page 119 Page courante 120 Page 121 Page 122 Page 123 Page 124 … Page suivante Dernière page
Séminaire 15:30 - 16:30 Évaluations et réévaluations : la question du canon musical depuis 1945 Karol Beffa 23 Mar 2021 Les bibliothèques invisibles Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 23 Mar 2021 15:30 - 16:30
Séminaire 16:30 - 17:30 Bibliothèque des grandes aventures et rayonnages SF dans le couloir : collection et canonicité dans les productions sérielles Matthieu Letourneux 23 Mar 2021 Les bibliothèques invisibles Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 23 Mar 2021 16:30 - 17:30
Séminaire 16:30 - 18:30 Du réel à la pensée en passant par la langue Jean Szlamowicz et Xavier-Laurent Salvador 23 Mar 2021 Les articulations du réel Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2021 16:30 - 18:30
Cours 09:30 - 11:00 Parallélisme à mémoire partagée : la logique de séparation concurrente Xavier Leroy 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic Bart Jacobs 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 11:15 - 12:15
Cours 10:30 - 11:30 Conclusions Jean-Noël Robert 30 Mar 2021 Langue romanesque et bouddhisme : Ihara Saikaku et Le Grand Miroir des Voluptés Salle 2, Site Marcelin Berthelot 30 Mar 2021 10:30 - 11:30
Cours 14:00 - 16:00 Pour une sémiotique réaliste d'inspiration peircienne (4) Sémiotique et perception ou comment s'arrimer au monde sans le juger et sans s'y perdre : les vertus de l'approche abductive Claudine Tiercelin 30 Mar 2021 Sémiotique et ontologie (suite et fin) Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2021 14:00 - 16:00
Cours 14:30 - 15:30 Bibliothèques et pouvoir William Marx 30 Mar 2021 Les bibliothèques invisibles Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 30 Mar 2021 14:30 - 15:30
Séminaire 15:30 - 16:30 Vie du bibliothécaire Cyrille Martinez 30 Mar 2021 Les bibliothèques invisibles Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 30 Mar 2021 15:30 - 16:30
Séminaire 16:30 - 18:30 La réalité des entités sociales Sophie Berlioz 30 Mar 2021 Les articulations du réel Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2021 16:30 - 18:30
Cours 09:30 - 11:00 Quelques extensions de la logique de séparation Xavier Leroy 01 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 avr 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Raisonner à propos du temps en logique de séparation François Pottier 01 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 avr 2021 11:15 - 12:15
Leçon inaugurale 18:00 - 19:00 Algorithmes quantiques : quand la physique quantique défie la thèse de Church-Turing Frédéric Magniez 01 avr 2021 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 avr 2021 18:00 - 19:00
Cours 14:00 - 16:00 Fibrés avec structure additionnelle sur une courbe Bảo Châu Ngô 02 avr 2021 Dualité des fibrations de Hitchin et endoscopie 02 avr 2021 14:00 - 16:00
Cours 14:00 - 16:00 De quelques héritages peirciens : Mérites et limites des lectures sémiotiques naturalistes de C. Morris, R. Millikan et F. Dretske Claudine Tiercelin 06 avr 2021 Sémiotique et ontologie (suite et fin) Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 avr 2021 14:00 - 16:00
Séminaire 16:30 - 18:30 Espèces, taxa et classification Philippe Huneman 06 avr 2021 Les articulations du réel Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 avr 2021 16:30 - 18:30
Cours 10:00 - 11:30 Information quantique, premières utilisations calculatoires : superposition, mesure, transformation, non-clonage, distribution quantique de clés, téléportation Frédéric Magniez 07 avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 avr 2021 10:00 - 11:30
Séminaire 11:30 - 12:30 Réseaux de communication quantique Eleni Diamanti 07 avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 avr 2021 11:30 - 12:30
Cours 09:30 - 11:00 Logiques pour la mémoire partagée faiblement cohérente Xavier Leroy 08 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 avr 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris Jacques-Henri Jourdan 08 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 avr 2021 11:15 - 12:15
Cours 14:00 - 16:00 Espace de module des fibrés et la Grassmannienne affine Bảo Châu Ngô 09 avr 2021 Dualité des fibrations de Hitchin et endoscopie 09 avr 2021 14:00 - 16:00
Cours 14:00 - 16:00 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 Claudine Tiercelin 13 avr 2021 Sémiotique et ontologie (suite et fin) Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 avr 2021 14:00 - 16:00
Cours 14:30 - 15:30 Le canon et l'oubli William Marx 13 avr 2021 Les bibliothèques invisibles Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 avr 2021 14:30 - 15:30
Séminaire 15:30 - 16:30 Traductions et nouvelles bibliothèques en temps de guerre : le cas de l'Occupation allemande (1940-1944) Christine Lombez 13 avr 2021 Les bibliothèques invisibles Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 avr 2021 15:30 - 16:30
Séminaire 16:30 - 18:30 Le possible, les espèces, et la question de l'autonomie de la métaphysique Filipe Drapeau-Contim 13 avr 2021 Les articulations du réel Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 avr 2021 16:30 - 18:30
Cours 10:00 - 11:30 Cryptographie et communication quantiques : inégalités de Bell, tirage à pile ou face, mise en gage, certification Frédéric Magniez 14 avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 14 avr 2021 10:00 - 11:30
Séminaire 11:30 - 12:30 Certifier la génération de nombres aléatoires avec le quantique Thomas Vidick 14 avr 2021 Algorithmes quantiques 14 avr 2021 11:30 - 12:30
Cours 09:30 - 11:00 Logiques pour les langages fonctionnels et l'ordre supérieur Xavier Leroy 15 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 avr 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Gillian: a Multi-language Platform for Compositional Symbolic Analysis Philippa Gardner 15 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 avr 2021 11:15 - 12:15