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 3316 é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 (1582) Séminaire (1287) Leçon inaugurale (61) Leçon de clôture (2) Conférencier invité (335) Grand événement (49) 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 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 14 Mar 2016 Cours 16:30 - 17:30 Application des procédés de croissance, dépôts à fabrication de microprocesseurs, fibres optiques, et conclusions Jean-Marie Tarascon 14 Mar 2016 Procédés physico-chimiques pour l'élaboration et la mise en forme de matériaux inorganiques « sur mesure » pour l'Énergie Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2016 16:30 - 17:30 Séminaire 17:30 - 18:30 Manipulation d'atomes et dimensionnement d'objets : propriétés, applications et perspectives Dominique Larcher 14 Mar 2016 Procédés physico-chimiques pour l'élaboration et la mise en forme de matériaux inorganiques « sur mesure » pour l'Énergie Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2016 17:30 - 18:30 16 Mar 2016 Cours 10:00 - 11:00 Biotechnologies pour le stockage d'énergie : des microbes et des électrodes Marc Fontecave 16 Mar 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 10:00 - 11:00 Séminaire 11:00 - 12:00 Être connecté : un mode de vie commun pour les micro-organismes ? Alain Bergel 16 Mar 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 11:00 - 12:00 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 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 Pagination Première page Page précédente … Page 51 Page 52 Page 53 Page 54 Page courante 55 Page 56 Page 57 Page 58 Page 59 … Page suivante Dernière page
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:30 - 17:30 Application des procédés de croissance, dépôts à fabrication de microprocesseurs, fibres optiques, et conclusions Jean-Marie Tarascon 14 Mar 2016 Procédés physico-chimiques pour l'élaboration et la mise en forme de matériaux inorganiques « sur mesure » pour l'Énergie Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2016 16:30 - 17:30
Séminaire 17:30 - 18:30 Manipulation d'atomes et dimensionnement d'objets : propriétés, applications et perspectives Dominique Larcher 14 Mar 2016 Procédés physico-chimiques pour l'élaboration et la mise en forme de matériaux inorganiques « sur mesure » pour l'Énergie Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2016 17:30 - 18:30
Cours 10:00 - 11:00 Biotechnologies pour le stockage d'énergie : des microbes et des électrodes Marc Fontecave 16 Mar 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 10:00 - 11:00
Séminaire 11:00 - 12:00 Être connecté : un mode de vie commun pour les micro-organismes ? Alain Bergel 16 Mar 2016 De la chimie biologique aux biotechnologies : recherche et applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 11:00 - 12:00
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 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