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 1810 événements Filtres Dates Dates Du Au 7 prochains jours 30 prochains jours Professeur, chaire, laboratoire Professeur, chaire, laboratoire Rechercher un professeur, une chaire ou un laboratoire Domaines Domaines (-) Mathématiques et sciences informatiques (1810) Physique et chimie (1506) Sciences de l'Univers (542) Sciences de la vie (1568) Histoire et archéologie (3857) Lettres, arts, langage, philosophie (2444) Sciences sociales (1401) Type d'enseignement Type d'enseignement Cours (914) Séminaire (661) Leçon inaugurale (31) Conférencier invité (198) Grand événement (6) Filtres actifs Mathématiques et sciences informatiques Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 16 jan 2020 Cours 09:30 - 11:00 Un art abstrait : l'analyse statique par interprétation abstraite Xavier Leroy 16 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2020 09:30 - 11:00 Séminaire 11:15 - 12:15 Logique de séparation en Coq : théorie et pratique Arthur Charguéraud 16 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2020 11:15 - 12:15 17 jan 2020 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (9) Pierre-Louis Lions 17 jan 2020 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 17 jan 2020 09:00 - 11:00 Séminaire 11:15 - 12:45 Transport optimal et problème de planification dans un cadre stochastique en espace d’états fini Charles Bertucci 17 jan 2020 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 17 jan 2020 11:15 - 12:45 Séminaire 14:00 - 15:00 Prediction in Immune Repertoires Aleksandra Walczak 17 jan 2020 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 jan 2020 14:00 - 15:00 22 jan 2020 Cours 09:30 - 11:00 Architectures et applications des réseaux de neurones convolutifs Stéphane Mallat 22 jan 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 22 jan 2020 09:30 - 11:00 Séminaire 11:00 - 12:30 Challenges de données 2020 (1) Stéphane Mallat 22 jan 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 22 jan 2020 11:00 - 12:30 24 jan 2020 Séminaire 11:15 - 12:45 Résolution de problèmes de Cauchy par minimisation convexe et généralisations matricielles de jeux à champ moyen Yann Brenier 24 jan 2020 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 24 jan 2020 11:15 - 12:45 Séminaire 14:00 - 15:00 Imaging Subcellular Dynamics from Molecules to Multicellular Organisms Tommy Kirchhausen 24 jan 2020 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 24 jan 2020 14:00 - 15:00 29 jan 2020 Cours 09:30 - 11:00 L'architecture de la complexité Stéphane Mallat 29 jan 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 29 jan 2020 09:30 - 11:00 Séminaire 11:00 - 12:30 Challenges de données 2020 (2) Stéphane Mallat 29 jan 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 29 jan 2020 11:00 - 12:30 30 jan 2020 Cours 09:30 - 11:00 L'éternité, c'est long : divergence, théorie des domaines, approches coinductives Xavier Leroy 30 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2020 09:30 - 11:00 Séminaire 11:15 - 12:15 Interpréteurs abstraits mécanisés David Pichardie 30 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2020 11:15 - 12:15 31 jan 2020 Séminaire 11:15 - 12:45 Autour des barycentres dans l’espace de Wasserstein Guillaume Carlier 31 jan 2020 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 31 jan 2020 11:15 - 12:45 05 fév 2020 Cours 09:30 - 11:00 Approximation et séparabilité Stéphane Mallat 05 fév 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 05 fév 2020 09:30 - 11:00 Séminaire 11:00 - 12:30 Présentation des gagnants des challenges 2019 Stéphane Mallat 05 fév 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 05 fév 2020 11:00 - 12:30 06 fév 2020 Cours 09:30 - 11:00 Des fonctions et des types : la sémantique d'un langage fonctionnel Xavier Leroy 06 fév 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 fév 2020 09:30 - 11:00 Séminaire 11:15 - 12:15 Understanding and Evolving the Rust Programming Language Derek Dreyer 06 fév 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 fév 2020 11:15 - 12:15 12 fév 2020 Cours 09:30 - 11:00 Groupes de symétries et parcimonie Stéphane Mallat 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 09:30 - 11:00 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 Cours 10:45 - 12:15 Coq en Coq ? Mécaniser la logique d'un assistant à la démonstration 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 10:45 - 12:15 26 fév 2020 Cours 09:30 - 11:00 Convolutions et représentations temps-fréquences Stéphane Mallat 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 09:30 - 11:00 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 27 fév 2020 Cours 10:00 - 12:00 Application des périodes et sa dérivée : variations infinitésimales de structure de Hodge (VISH) Claire Voisin 27 fév 2020 Variations infinitésimales de structure de Hodge Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 27 fév 2020 10:00 - 12:00 04 Mar 2020 Cours 09:30 - 11:00 Transformées en ondelettes Stéphane Mallat 04 Mar 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2020 09:30 - 11:00 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 Conférencier invité 11:00 - 13:00 Homotopie réelle des espaces de configuration (1) Najib Idrissi 04 Mar 2020 Homotopie réelle des espaces de configuration Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 04 Mar 2020 11:00 - 13:00 05 Mar 2020 Cours 10:00 - 12:00 VISH des hypersurfaces et anneaux jacobiens Claire Voisin 05 Mar 2020 Variations infinitésimales de structure de Hodge Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 05 Mar 2020 10:00 - 12:00 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 Pagination Première page Page précédente … Page 39 Page 40 Page 41 Page 42 Page courante 43 Page 44 Page 45 Page 46 Page 47 … Page suivante Dernière page
Cours 09:30 - 11:00 Un art abstrait : l'analyse statique par interprétation abstraite Xavier Leroy 16 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2020 09:30 - 11:00
Séminaire 11:15 - 12:15 Logique de séparation en Coq : théorie et pratique Arthur Charguéraud 16 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2020 11:15 - 12:15
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (9) Pierre-Louis Lions 17 jan 2020 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 17 jan 2020 09:00 - 11:00
Séminaire 11:15 - 12:45 Transport optimal et problème de planification dans un cadre stochastique en espace d’états fini Charles Bertucci 17 jan 2020 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 17 jan 2020 11:15 - 12:45
Séminaire 14:00 - 15:00 Prediction in Immune Repertoires Aleksandra Walczak 17 jan 2020 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 jan 2020 14:00 - 15:00
Cours 09:30 - 11:00 Architectures et applications des réseaux de neurones convolutifs Stéphane Mallat 22 jan 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 22 jan 2020 09:30 - 11:00
Séminaire 11:00 - 12:30 Challenges de données 2020 (1) Stéphane Mallat 22 jan 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 22 jan 2020 11:00 - 12:30
Séminaire 11:15 - 12:45 Résolution de problèmes de Cauchy par minimisation convexe et généralisations matricielles de jeux à champ moyen Yann Brenier 24 jan 2020 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 24 jan 2020 11:15 - 12:45
Séminaire 14:00 - 15:00 Imaging Subcellular Dynamics from Molecules to Multicellular Organisms Tommy Kirchhausen 24 jan 2020 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 24 jan 2020 14:00 - 15:00
Cours 09:30 - 11:00 L'architecture de la complexité Stéphane Mallat 29 jan 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 29 jan 2020 09:30 - 11:00
Séminaire 11:00 - 12:30 Challenges de données 2020 (2) Stéphane Mallat 29 jan 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 29 jan 2020 11:00 - 12:30
Cours 09:30 - 11:00 L'éternité, c'est long : divergence, théorie des domaines, approches coinductives Xavier Leroy 30 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2020 09:30 - 11:00
Séminaire 11:15 - 12:15 Interpréteurs abstraits mécanisés David Pichardie 30 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2020 11:15 - 12:15
Séminaire 11:15 - 12:45 Autour des barycentres dans l’espace de Wasserstein Guillaume Carlier 31 jan 2020 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 31 jan 2020 11:15 - 12:45
Cours 09:30 - 11:00 Approximation et séparabilité Stéphane Mallat 05 fév 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 05 fév 2020 09:30 - 11:00
Séminaire 11:00 - 12:30 Présentation des gagnants des challenges 2019 Stéphane Mallat 05 fév 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 05 fév 2020 11:00 - 12:30
Cours 09:30 - 11:00 Des fonctions et des types : la sémantique d'un langage fonctionnel Xavier Leroy 06 fév 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 fév 2020 09:30 - 11:00
Séminaire 11:15 - 12:15 Understanding and Evolving the Rust Programming Language Derek Dreyer 06 fév 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 fév 2020 11:15 - 12:15
Cours 09:30 - 11:00 Groupes de symétries et parcimonie Stéphane Mallat 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 09:30 - 11:00
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
Cours 10:45 - 12:15 Coq en Coq ? Mécaniser la logique d'un assistant à la démonstration 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 10:45 - 12:15
Cours 09:30 - 11:00 Convolutions et représentations temps-fréquences Stéphane Mallat 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 09:30 - 11:00
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
Cours 10:00 - 12:00 Application des périodes et sa dérivée : variations infinitésimales de structure de Hodge (VISH) Claire Voisin 27 fév 2020 Variations infinitésimales de structure de Hodge Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 27 fév 2020 10:00 - 12:00
Cours 09:30 - 11:00 Transformées en ondelettes Stéphane Mallat 04 Mar 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2020 09:30 - 11:00
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
Conférencier invité 11:00 - 13:00 Homotopie réelle des espaces de configuration (1) Najib Idrissi 04 Mar 2020 Homotopie réelle des espaces de configuration Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 04 Mar 2020 11:00 - 13:00
Cours 10:00 - 12:00 VISH des hypersurfaces et anneaux jacobiens Claire Voisin 05 Mar 2020 Variations infinitésimales de structure de Hodge Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 05 Mar 2020 10:00 - 12:00
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