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 661 é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 (661) Physique et chimie (627) Sciences de l'Univers (170) Sciences de la vie (401) Histoire et archéologie (1094) Lettres, arts, langage, philosophie (763) Sciences sociales (409) Type d'enseignement Type d'enseignement Cours (914) (-) Séminaire (661) Colloque (37) Leçon inaugurale (31) Conférencier invité (198) Grand événement (14) Filtres actifs Mathématiques et sciences informatiques Séminaire Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 12 fév 2020 Séminaire 11:00 - 12:30 Réseaux de neurones profonds pour le signal audio musical Geoffroy Peeters 12 fév 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 fév 2020 11:00 - 12:30 13 fév 2020 Séminaire 09:30 - 10:30 What's in a Name? Représenter les variables et leurs liaisons Xavier Leroy 13 fév 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 fév 2020 09:30 - 10:30 26 fév 2020 Séminaire 11:00 - 12:30 Intelligence artificielle et intelligence naturelle : vers l'IA bio-inspirée Simon Thorpe 26 fév 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 fév 2020 11:00 - 12:30 04 Mar 2020 Séminaire 11:00 - 12:30 Applications du deep learning pour l'histologie Pierre Courtiol 04 Mar 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2020 11:00 - 12:30 06 Mar 2020 Séminaire 11:15 - 12:45 Interacting Particle Systems: fast algorithms for classical and quantum N-body problems and non-convex optimization Shi Jin 06 Mar 2020 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 Mar 2020 11:15 - 12:45 11 Mar 2020 Séminaire 11:00 - 12:30 Modèles physiologiques de l'audition Shihab Shamma 11 Mar 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 11 Mar 2020 11:00 - 12:30 11 Mar 2021 Séminaire 11:15 - 12:15 Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP Loïc Correnson 11 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 11:15 - 12:15 18 Mar 2021 Séminaire 11:15 - 12:15 Preuve auto-active de programmes en SPARK Yannick Moy 18 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 11:15 - 12:15 25 Mar 2021 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 01 avr 2021 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 07 avr 2021 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 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 14 avr 2021 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 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 05 mai 2021 Séminaire 11:30 - 12:30 Langages graphiques pour programmer et raisonner en informatique quantique Simon Perdrix 05 mai 2021 Algorithmes quantiques 05 mai 2021 11:30 - 12:30 12 mai 2021 Séminaire 11:30 - 12:30 Le problème du sous-groupe caché Miklos Santha 12 mai 2021 Algorithmes quantiques 12 mai 2021 11:30 - 12:30 19 mai 2021 Séminaire 11:30 - 12:30 A Unified Framework for Quantum Walk Search Stacey Jeffery 19 mai 2021 Algorithmes quantiques 19 mai 2021 11:30 - 12:30 26 mai 2021 Séminaire 11:30 - 12:30 Quantum Machine Learning Iordanis Kerenidis 26 mai 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 26 mai 2021 11:30 - 12:30 02 juin 2021 Séminaire 11:30 - 12:30 Suprématie quantique : où en sommes-nous aujourd'hui ? André Chailloux 02 juin 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 02 juin 2021 11:30 - 12:30 09 juin 2021 Séminaire 11:30 - 12:30 Quantum Computing as a Service: Secure and Verifiable Multi-Tenant Quantum Data Centre Elham Kashefi 09 juin 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 09 juin 2021 11:30 - 12:30 11 oct 2021 Séminaire 14:00 - 15:00 Pourquoi croire à un énoncé mathématique dont on n’a pas de preuve ? (I) Timothy Gowers 11 oct 2021 La philosophie de la pratique des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 oct 2021 14:00 - 15:00 18 oct 2021 Séminaire 14:00 - 15:00 Pourquoi croire à un énoncé mathématique dont on n’a pas de preuve ? (II) Timothy Gowers 18 oct 2021 La philosophie de la pratique des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 oct 2021 14:00 - 15:00 25 oct 2021 Séminaire 14:00 - 15:00 Le rôle des diagrammes dans la pratique mathématique Valeria Giardino et Frédéric Patras 25 oct 2021 La philosophie de la pratique des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 25 oct 2021 14:00 - 15:00 08 nov 2021 Séminaire 14:00 - 15:00 Ce qu’on pourrait dire sur la mécanisation des mathématiques Michael Harris 08 nov 2021 La philosophie de la pratique des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 08 nov 2021 14:00 - 15:00 12 nov 2021 Séminaire 11:15 - 12:30 Matrices aléatoires et EDP Pierre-Louis Lions 12 nov 2021 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 12 nov 2021 11:15 - 12:30 15 nov 2021 Séminaire 14:00 - 15:00 What is Proof? Kevin Buzzard 15 nov 2021 La philosophie de la pratique des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 15 nov 2021 14:00 - 15:00 19 nov 2021 Séminaire 11:15 - 12:30 Non enregistré Distance de Monge-Kantorovich pour les EDP et méthode du couplage Benoît Perthame 19 nov 2021 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 19 nov 2021 11:15 - 12:30 22 nov 2021 Séminaire 14:00 - 15:00 Peut-on penser sans concept en mathématique ? (ou : Quand la mathématique peine avec ses concepts) Yves André 22 nov 2021 La philosophie de la pratique des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 22 nov 2021 14:00 - 15:00 26 nov 2021 Séminaire 11:15 - 12:30 Non enregistré Sur une version finiment échangeable du théorème de Hewitt et Savage Guillaume Carlier 26 nov 2021 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 26 nov 2021 11:15 - 12:30 03 déc 2021 Séminaire 11:15 - 12:30 Non enregistré Transfert radiatif dans un fluide : analyse mathématique et simulations numériques François Golse 03 déc 2021 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 03 déc 2021 11:15 - 12:30 Pagination Première page Page précédente … Page 12 Page 13 Page 14 Page 15 Page courante 16 Page 17 Page 18 Page 19 Page 20 … Page suivante Dernière page
Séminaire 11:00 - 12:30 Réseaux de neurones profonds pour le signal audio musical Geoffroy Peeters 12 fév 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 fév 2020 11:00 - 12:30
Séminaire 09:30 - 10:30 What's in a Name? Représenter les variables et leurs liaisons Xavier Leroy 13 fév 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 fév 2020 09:30 - 10:30
Séminaire 11:00 - 12:30 Intelligence artificielle et intelligence naturelle : vers l'IA bio-inspirée Simon Thorpe 26 fév 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 fév 2020 11:00 - 12:30
Séminaire 11:00 - 12:30 Applications du deep learning pour l'histologie Pierre Courtiol 04 Mar 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2020 11:00 - 12:30
Séminaire 11:15 - 12:45 Interacting Particle Systems: fast algorithms for classical and quantum N-body problems and non-convex optimization Shi Jin 06 Mar 2020 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 Mar 2020 11:15 - 12:45
Séminaire 11:00 - 12:30 Modèles physiologiques de l'audition Shihab Shamma 11 Mar 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 11 Mar 2020 11:00 - 12:30
Séminaire 11:15 - 12:15 Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP Loïc Correnson 11 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 11:15 - 12:15
Séminaire 11:15 - 12:15 Preuve auto-active de programmes en SPARK Yannick Moy 18 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 11:15 - 12:15
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
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
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
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
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
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
Séminaire 11:30 - 12:30 Langages graphiques pour programmer et raisonner en informatique quantique Simon Perdrix 05 mai 2021 Algorithmes quantiques 05 mai 2021 11:30 - 12:30
Séminaire 11:30 - 12:30 Le problème du sous-groupe caché Miklos Santha 12 mai 2021 Algorithmes quantiques 12 mai 2021 11:30 - 12:30
Séminaire 11:30 - 12:30 A Unified Framework for Quantum Walk Search Stacey Jeffery 19 mai 2021 Algorithmes quantiques 19 mai 2021 11:30 - 12:30
Séminaire 11:30 - 12:30 Quantum Machine Learning Iordanis Kerenidis 26 mai 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 26 mai 2021 11:30 - 12:30
Séminaire 11:30 - 12:30 Suprématie quantique : où en sommes-nous aujourd'hui ? André Chailloux 02 juin 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 02 juin 2021 11:30 - 12:30
Séminaire 11:30 - 12:30 Quantum Computing as a Service: Secure and Verifiable Multi-Tenant Quantum Data Centre Elham Kashefi 09 juin 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 09 juin 2021 11:30 - 12:30
Séminaire 14:00 - 15:00 Pourquoi croire à un énoncé mathématique dont on n’a pas de preuve ? (I) Timothy Gowers 11 oct 2021 La philosophie de la pratique des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 oct 2021 14:00 - 15:00
Séminaire 14:00 - 15:00 Pourquoi croire à un énoncé mathématique dont on n’a pas de preuve ? (II) Timothy Gowers 18 oct 2021 La philosophie de la pratique des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 oct 2021 14:00 - 15:00
Séminaire 14:00 - 15:00 Le rôle des diagrammes dans la pratique mathématique Valeria Giardino et Frédéric Patras 25 oct 2021 La philosophie de la pratique des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 25 oct 2021 14:00 - 15:00
Séminaire 14:00 - 15:00 Ce qu’on pourrait dire sur la mécanisation des mathématiques Michael Harris 08 nov 2021 La philosophie de la pratique des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 08 nov 2021 14:00 - 15:00
Séminaire 11:15 - 12:30 Matrices aléatoires et EDP Pierre-Louis Lions 12 nov 2021 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 12 nov 2021 11:15 - 12:30
Séminaire 14:00 - 15:00 What is Proof? Kevin Buzzard 15 nov 2021 La philosophie de la pratique des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 15 nov 2021 14:00 - 15:00
Séminaire 11:15 - 12:30 Non enregistré Distance de Monge-Kantorovich pour les EDP et méthode du couplage Benoît Perthame 19 nov 2021 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 19 nov 2021 11:15 - 12:30
Séminaire 14:00 - 15:00 Peut-on penser sans concept en mathématique ? (ou : Quand la mathématique peine avec ses concepts) Yves André 22 nov 2021 La philosophie de la pratique des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 22 nov 2021 14:00 - 15:00
Séminaire 11:15 - 12:30 Non enregistré Sur une version finiment échangeable du théorème de Hewitt et Savage Guillaume Carlier 26 nov 2021 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 26 nov 2021 11:15 - 12:30
Séminaire 11:15 - 12:30 Non enregistré Transfert radiatif dans un fluide : analyse mathématique et simulations numériques François Golse 03 déc 2021 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 03 déc 2021 11:15 - 12:30