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 03 fév 2016 Cours 11:00 - 12:00 Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques (2) Jean-Christophe Yoccoz 03 fév 2016 Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 03 fév 2016 11:00 - 12:00 04 fév 2016 Cours 14:30 - 17:00 Le site des fréquences (5) Alain Connes 04 fév 2016 Le site des fréquences Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 04 fév 2016 14:30 - 17:00 Leçon inaugurale 18:00 - 19:00 L'apprentissage profond : une révolution en intelligence artificielle Yann LeCun 04 fév 2016 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 fév 2016 18:00 - 19:00 11 fév 2016 Cours 14:30 - 17:00 Le site des fréquences (6) Alain Connes 11 fév 2016 Le site des fréquences Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 fév 2016 14:30 - 17:00 12 fév 2016 Cours 14:30 - 15:30 Pourquoi l'apprentissage profond ? Yann LeCun 12 fév 2016 L'apprentissage profond Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 fév 2016 14:30 - 15:30 19 fév 2016 Cours 14:30 - 15:30 Réseaux multi-couches et rétropropagation du gradient Yann LeCun 19 fév 2016 L'apprentissage profond Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 fév 2016 14:30 - 15:30 Séminaire 15:30 - 16:30 Mystères mathématiques des réseaux de neurones convolutionnels Stéphane Mallat 19 fév 2016 L'apprentissage profond : théorie et pratique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 fév 2016 15:30 - 16:30 26 fév 2016 Cours 11:00 - 12:00 L'apprentissage profond en pratique Yann LeCun 26 fév 2016 L'apprentissage profond Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 fév 2016 11:00 - 12:00 Séminaire 12:00 - 13:00 Optimisation et entrainement de réseaux récurrents Yann Ollivier 26 fév 2016 L'apprentissage profond : théorie et pratique Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 fév 2016 12:00 - 13:00 04 Mar 2016 Cours 11:00 - 12:00 Réseaux convolutifs Yann LeCun 04 Mar 2016 L'apprentissage profond Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2016 11:00 - 12:00 Séminaire 12:00 - 13:00 Reconnaissance de la parole Gabriel Synnaeve 04 Mar 2016 L'apprentissage profond : théorie et pratique Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2016 12:00 - 13:00 09 Mar 2016 Cours 16:00 - 17:30 Les BDDs (Binary Decision Diagrams) et leurs applications Gérard Berry 09 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 16:00 - 17:30 Séminaire 17:30 - 18:30 Application des BDDs dans la conception de circuits intégrés Jean-Christophe Madre et Patrick Vuillod 09 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 17:30 - 18:30 11 Mar 2016 Séminaire 11:15 - 12:30 Inégalité de Harnack pour des équations hypoelliptiques cinétiques à coefficients peu réguliers Cyril Imbert 11 Mar 2016 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 Mar 2016 11:15 - 12:30 16 Mar 2016 Cours 16:00 - 17:30 SAT : la satisfaction booléenne Gérard Berry 16 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 16:00 - 17:30 Séminaire 17:30 - 18:30 SAT : des victoires contre les problèmes difficiles Laurent Simon 16 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 17:30 - 18:30 18 Mar 2016 Séminaire 11:15 - 12:30 Au bord de certains systèmes de particules en interaction issus ou inspirés par des modèles de matrices aléatoires Djalil Chafaï 18 Mar 2016 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 Mar 2016 11:15 - 12:30 23 Mar 2016 Cours 16:00 - 17:30 SMT : la satisfaction modulo théories Gérard Berry 23 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 16:00 - 17:30 Séminaire 17:30 - 18:30 SMT en pratique : le démonstrateur Alt-Ergo Sylvain Conchon 23 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 17:30 - 18:30 25 Mar 2016 Cours 11:00 - 11:30 Réseaux convolutifs. Applications à la vision Yann LeCun 25 Mar 2016 L'apprentissage profond Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 25 Mar 2016 11:00 - 11:30 Séminaire 11:15 - 12:30 La transformée de Fourier sur le groupe d'Heisenberg : le point de vue « fonctions » Jean-Yves Chemin 25 Mar 2016 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 25 Mar 2016 11:15 - 12:30 Séminaire 11:30 - 13:00 Apprentissage métrique, prédiction structurée Cordelia Schmid et Samy Bengio 25 Mar 2016 L'apprentissage profond : théorie et pratique Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 25 Mar 2016 11:30 - 13:00 30 Mar 2016 Cours 16:00 - 17:30 La vérification formelle de programmes temporisés Gérard Berry 30 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 16:00 - 17:30 Séminaire 17:30 - 18:30 Real-Time Model Checking of Embedded Systems Kim Larsen 30 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 17:30 - 18:30 01 Avr 2016 Cours 11:00 - 12:00 Réseaux récurrents. Applications au traitement du langage naturel Yann LeCun 01 Avr 2016 L'apprentissage profond Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 Avr 2016 11:00 - 12:00 Séminaire 12:00 - 13:00 Traduction et traitement de la langue naturelle Holger Schwenk 01 Avr 2016 L'apprentissage profond : théorie et pratique Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 Avr 2016 12:00 - 13:00 06 Avr 2016 Cours 16:00 - 17:30 La vérification par énumération explicite Gérard Berry 06 Avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Avr 2016 16:00 - 17:30 Séminaire 17:30 - 18:30 La vérification formelle appliquée aux protocoles cryptographiques Stéphanie Delaune 06 Avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Avr 2016 17:30 - 18:30 08 Avr 2016 Cours 11:00 - 12:00 Raisonnement, attention, mémoire Yann LeCun 08 Avr 2016 L'apprentissage profond Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 08 Avr 2016 11:00 - 12:00 Séminaire 11:15 - 12:30 Homogénéisation stochastique des équations de Hamilton-Jacobi non convexes : un contre-exemple Bruno Ziliotto 08 Avr 2016 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 08 Avr 2016 11:15 - 12:30 Pagination Première page Page précédente … Page 26 Page 27 Page 28 Page 29 Page courante 30 Page 31 Page 32 Page 33 Page 34 … Page suivante Dernière page
Cours 11:00 - 12:00 Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques (2) Jean-Christophe Yoccoz 03 fév 2016 Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 03 fév 2016 11:00 - 12:00
Cours 14:30 - 17:00 Le site des fréquences (5) Alain Connes 04 fév 2016 Le site des fréquences Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 04 fév 2016 14:30 - 17:00
Leçon inaugurale 18:00 - 19:00 L'apprentissage profond : une révolution en intelligence artificielle Yann LeCun 04 fév 2016 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 fév 2016 18:00 - 19:00
Cours 14:30 - 17:00 Le site des fréquences (6) Alain Connes 11 fév 2016 Le site des fréquences Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 fév 2016 14:30 - 17:00
Cours 14:30 - 15:30 Pourquoi l'apprentissage profond ? Yann LeCun 12 fév 2016 L'apprentissage profond Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 fév 2016 14:30 - 15:30
Cours 14:30 - 15:30 Réseaux multi-couches et rétropropagation du gradient Yann LeCun 19 fév 2016 L'apprentissage profond Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 fév 2016 14:30 - 15:30
Séminaire 15:30 - 16:30 Mystères mathématiques des réseaux de neurones convolutionnels Stéphane Mallat 19 fév 2016 L'apprentissage profond : théorie et pratique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 fév 2016 15:30 - 16:30
Cours 11:00 - 12:00 L'apprentissage profond en pratique Yann LeCun 26 fév 2016 L'apprentissage profond Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 fév 2016 11:00 - 12:00
Séminaire 12:00 - 13:00 Optimisation et entrainement de réseaux récurrents Yann Ollivier 26 fév 2016 L'apprentissage profond : théorie et pratique Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 fév 2016 12:00 - 13:00
Cours 11:00 - 12:00 Réseaux convolutifs Yann LeCun 04 Mar 2016 L'apprentissage profond Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2016 11:00 - 12:00
Séminaire 12:00 - 13:00 Reconnaissance de la parole Gabriel Synnaeve 04 Mar 2016 L'apprentissage profond : théorie et pratique Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2016 12:00 - 13:00
Cours 16:00 - 17:30 Les BDDs (Binary Decision Diagrams) et leurs applications Gérard Berry 09 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 16:00 - 17:30
Séminaire 17:30 - 18:30 Application des BDDs dans la conception de circuits intégrés Jean-Christophe Madre et Patrick Vuillod 09 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 17:30 - 18:30
Séminaire 11:15 - 12:30 Inégalité de Harnack pour des équations hypoelliptiques cinétiques à coefficients peu réguliers Cyril Imbert 11 Mar 2016 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 Mar 2016 11:15 - 12:30
Cours 16:00 - 17:30 SAT : la satisfaction booléenne Gérard Berry 16 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 16:00 - 17:30
Séminaire 17:30 - 18:30 SAT : des victoires contre les problèmes difficiles Laurent Simon 16 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 17:30 - 18:30
Séminaire 11:15 - 12:30 Au bord de certains systèmes de particules en interaction issus ou inspirés par des modèles de matrices aléatoires Djalil Chafaï 18 Mar 2016 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 Mar 2016 11:15 - 12:30
Cours 16:00 - 17:30 SMT : la satisfaction modulo théories Gérard Berry 23 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 16:00 - 17:30
Séminaire 17:30 - 18:30 SMT en pratique : le démonstrateur Alt-Ergo Sylvain Conchon 23 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 17:30 - 18:30
Cours 11:00 - 11:30 Réseaux convolutifs. Applications à la vision Yann LeCun 25 Mar 2016 L'apprentissage profond Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 25 Mar 2016 11:00 - 11:30
Séminaire 11:15 - 12:30 La transformée de Fourier sur le groupe d'Heisenberg : le point de vue « fonctions » Jean-Yves Chemin 25 Mar 2016 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 25 Mar 2016 11:15 - 12:30
Séminaire 11:30 - 13:00 Apprentissage métrique, prédiction structurée Cordelia Schmid et Samy Bengio 25 Mar 2016 L'apprentissage profond : théorie et pratique Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 25 Mar 2016 11:30 - 13:00
Cours 16:00 - 17:30 La vérification formelle de programmes temporisés Gérard Berry 30 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 16:00 - 17:30
Séminaire 17:30 - 18:30 Real-Time Model Checking of Embedded Systems Kim Larsen 30 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 17:30 - 18:30
Cours 11:00 - 12:00 Réseaux récurrents. Applications au traitement du langage naturel Yann LeCun 01 Avr 2016 L'apprentissage profond Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 Avr 2016 11:00 - 12:00
Séminaire 12:00 - 13:00 Traduction et traitement de la langue naturelle Holger Schwenk 01 Avr 2016 L'apprentissage profond : théorie et pratique Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 Avr 2016 12:00 - 13:00
Cours 16:00 - 17:30 La vérification par énumération explicite Gérard Berry 06 Avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Avr 2016 16:00 - 17:30
Séminaire 17:30 - 18:30 La vérification formelle appliquée aux protocoles cryptographiques Stéphanie Delaune 06 Avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Avr 2016 17:30 - 18:30
Cours 11:00 - 12:00 Raisonnement, attention, mémoire Yann LeCun 08 Avr 2016 L'apprentissage profond Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 08 Avr 2016 11:00 - 12:00
Séminaire 11:15 - 12:30 Homogénéisation stochastique des équations de Hamilton-Jacobi non convexes : un contre-exemple Bruno Ziliotto 08 Avr 2016 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 08 Avr 2016 11:15 - 12:30