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 3418 é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 (1744) Histoire et archéologie (4095) Lettres, arts, langage, philosophie (2655) Sciences sociales (1546) Type d'enseignement Type d'enseignement Cours (1581) Séminaire (1288) Colloque (91) Leçon inaugurale (60) Leçon de clôture (2) Conférencier invité (335) Grand événement (61) Filtres actifs Mathématiques et sciences informatiques Physique et chimie Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 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 10:00 - 11:00 Biotechnologies pour le stockage d'énergie : Bioélectrodes et dispositifs bioélectrochimiques Marc Fontecave 23 Mar 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 10:00 - 11:00 Séminaire 11:00 - 12:00 Des biocatalyseurs au sein de piles à combustible : pourquoi, comment ? Elizabeth Lojou 23 Mar 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 11:00 - 12:00 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 10:00 - 11:00 Activation des enzymes : quand la chimie remplace la biologie Marc Fontecave 30 Mar 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 10:00 - 11: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 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 10:00 - 11:00 Chimies biocompatibles : une autre ingénierie métabolique Marc Fontecave 06 avr 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 avr 2016 10:00 - 11:00 Séminaire 11:00 - 12:00 Détecter les bactéries pathogènes en leurrant leur métabolisme Boris Vauzeilles 06 avr 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 avr 2016 11:00 - 12: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 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 Séminaire 12:00 - 13:00 Deep Learning and Reasoning, Memory-Augmented Networks Rob Fergus 08 avr 2016 L'apprentissage profond : théorie et pratique Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 08 avr 2016 12:00 - 13:00 13 avr 2016 Cours 10:00 - 11:00 Biotechnologies pour l'énergie : des microbes et des hydrocarbures Marc Fontecave 13 avr 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 avr 2016 10:00 - 11:00 Cours 10:00 - 11:00 Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques (3) Jean-Christophe Yoccoz 13 avr 2016 Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 13 avr 2016 10:00 - 11:00 Séminaire 11:00 - 12:00 Global Bioenergies : des carbohydrates aux hydrocarbures Marc Delcourt 13 avr 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 avr 2016 11:00 - 12:00 Cours 11:00 - 12:00 Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques (4) Jean-Christophe Yoccoz 13 avr 2016 Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 13 avr 2016 11:00 - 12:00 Séminaire 16:00 - 17:00 Vers une automatisation sûre et expressive : combiner preuves automatiques et interactives Chantal Keller 13 avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 avr 2016 16:00 - 17:00 Cours 17:00 - 18:30 Conclusion et réponse aux questions de l'année Gérard Berry 13 avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 avr 2016 17:00 - 18:30 15 avr 2016 Cours 11:00 - 12:00 Apprentissage non-supervisé Yann LeCun 15 avr 2016 L'apprentissage profond Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 15 avr 2016 11:00 - 12:00 03 mai 2016 Conférencier invité 10:00 - 11:00 Épluchage des cartes planaires aléatoires (1) Nicolas Curien 03 mai 2016 Épluchage des cartes planaires aléatoires Salle 2, Site Marcelin Berthelot 03 mai 2016 10:00 - 11:00 Conférencier invité 11:00 - 12:00 Épluchage des cartes planaires aléatoires (2) Nicolas Curien 03 mai 2016 Épluchage des cartes planaires aléatoires Salle 2, Site Marcelin Berthelot 03 mai 2016 11:00 - 12:00 04 mai 2016 Cours 09:30 - 11:00 Statistique de Bose-Einstein et condensation Jean Dalibard 04 mai 2016 Cohérence quantique et superfluidité dans les gaz atomiques Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 mai 2016 09:30 - 11:00 Pagination Première page Page précédente … Page 52 Page 53 Page 54 Page 55 Page courante 56 Page 57 Page 58 Page 59 Page 60 … Page suivante Dernière page
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 10:00 - 11:00 Biotechnologies pour le stockage d'énergie : Bioélectrodes et dispositifs bioélectrochimiques Marc Fontecave 23 Mar 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 10:00 - 11:00
Séminaire 11:00 - 12:00 Des biocatalyseurs au sein de piles à combustible : pourquoi, comment ? Elizabeth Lojou 23 Mar 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 11:00 - 12:00
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 10:00 - 11:00 Activation des enzymes : quand la chimie remplace la biologie Marc Fontecave 30 Mar 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 10:00 - 11: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 10:00 - 11:00 Chimies biocompatibles : une autre ingénierie métabolique Marc Fontecave 06 avr 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 avr 2016 10:00 - 11:00
Séminaire 11:00 - 12:00 Détecter les bactéries pathogènes en leurrant leur métabolisme Boris Vauzeilles 06 avr 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 avr 2016 11:00 - 12: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
Séminaire 12:00 - 13:00 Deep Learning and Reasoning, Memory-Augmented Networks Rob Fergus 08 avr 2016 L'apprentissage profond : théorie et pratique Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 08 avr 2016 12:00 - 13:00
Cours 10:00 - 11:00 Biotechnologies pour l'énergie : des microbes et des hydrocarbures Marc Fontecave 13 avr 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 avr 2016 10:00 - 11:00
Cours 10:00 - 11:00 Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques (3) Jean-Christophe Yoccoz 13 avr 2016 Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 13 avr 2016 10:00 - 11:00
Séminaire 11:00 - 12:00 Global Bioenergies : des carbohydrates aux hydrocarbures Marc Delcourt 13 avr 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 avr 2016 11:00 - 12:00
Cours 11:00 - 12:00 Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques (4) Jean-Christophe Yoccoz 13 avr 2016 Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 13 avr 2016 11:00 - 12:00
Séminaire 16:00 - 17:00 Vers une automatisation sûre et expressive : combiner preuves automatiques et interactives Chantal Keller 13 avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 avr 2016 16:00 - 17:00
Cours 17:00 - 18:30 Conclusion et réponse aux questions de l'année Gérard Berry 13 avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 avr 2016 17:00 - 18:30
Cours 11:00 - 12:00 Apprentissage non-supervisé Yann LeCun 15 avr 2016 L'apprentissage profond Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 15 avr 2016 11:00 - 12:00
Conférencier invité 10:00 - 11:00 Épluchage des cartes planaires aléatoires (1) Nicolas Curien 03 mai 2016 Épluchage des cartes planaires aléatoires Salle 2, Site Marcelin Berthelot 03 mai 2016 10:00 - 11:00
Conférencier invité 11:00 - 12:00 Épluchage des cartes planaires aléatoires (2) Nicolas Curien 03 mai 2016 Épluchage des cartes planaires aléatoires Salle 2, Site Marcelin Berthelot 03 mai 2016 11:00 - 12:00
Cours 09:30 - 11:00 Statistique de Bose-Einstein et condensation Jean Dalibard 04 mai 2016 Cohérence quantique et superfluidité dans les gaz atomiques Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 mai 2016 09:30 - 11:00