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 12 déc 2018 Cours 10:00 - 11:00 Peut-on changer le monde ? Programmation impérative, effets monadiques, effets algébriques Xavier Leroy 12 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 déc 2018 10:00 - 11:00 Séminaire 11:30 - 12:30 Programmer avec Coq : récursion et filtrage dépendant Matthieu Sozeau 12 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 déc 2018 11:30 - 12:30 13 déc 2018 Cours 16:00 - 17:30 En théorie, la théorie et la pratique c'est pareil, en pratique c'est pas vrai (d'après Yogi Berra) Gérard Berry 13 déc 2018 Où va l'informatique ? Inria Bordeaux 13 déc 2018 16:00 - 17:30 Séminaire 17:30 - 18:30 Coq : aspects pratiques de la théorie des types Yves Bertot et Pierre Castéran 13 déc 2018 Où va l'informatique ? Inria Bordeaux 13 déc 2018 17:30 - 18:30 14 déc 2018 Cours 09:00 - 11:00 HJB, MFG et les autres (6) Pierre-Louis Lions 14 déc 2018 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 14 déc 2018 09:00 - 11:00 Séminaire 11:15 - 12:45 Réflexion quasi-critique d’ondes internes dans un fluide stratifié Anne-Laure Dalibard 14 déc 2018 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 14 déc 2018 11:15 - 12:45 19 déc 2018 Cours 10:00 - 11:00 Catalyseurs solides à sites métalliques isolés : un pont entre catalyse homogène et hétérogène (II) Marc Fontecave 19 déc 2018 Catalyse hétérogène et activation de petites molécules (II) Salle 2, Site Marcelin Berthelot 19 déc 2018 10:00 - 11:00 Cours 10:00 - 11:00 Des théorèmes gratuits : la paramétricité Xavier Leroy 19 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 déc 2018 10:00 - 11:00 Séminaire 11:00 - 12:00 Approche moléculaire de la catalyse hétérogène : design, synthèse, structure et réactivité (catalytiques) des sites de surface isolés Christophe Copéret 19 déc 2018 Catalyse hétérogène et activation de petites molécules (II) Salle 2, Site Marcelin Berthelot 19 déc 2018 11:00 - 12:00 Séminaire 11:30 - 12:30 Peut-on dupliquer un objet ? Linéarité et contrôle des ressources Guillaume Munch-Maccagnoni 19 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 déc 2018 11:30 - 12:30 21 déc 2018 Cours 09:00 - 11:00 HJB, MFG et les autres (7) Pierre-Louis Lions 21 déc 2018 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 21 déc 2018 09:00 - 11:00 Cours 10:00 - 11:00 De l'infiniment petit à l'infiniment grand Rachid Guerraoui 21 déc 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 déc 2018 10:00 - 11:00 Séminaire 11:00 - 12:00 Détecteurs de défaillances Hugues Fauconnier 21 déc 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 déc 2018 11:00 - 12:00 09 jan 2019 Cours 10:00 - 11:00 Le forcing, une transformation de programme comme une autre ? Xavier Leroy 09 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2019 10:00 - 11:00 Cours 11:30 - 12:30 À pas comptés : les techniques de step-indexing Xavier Leroy 09 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2019 11:30 - 12:30 11 jan 2019 Cours 09:00 - 11:00 HJB, MFG et les autres (8) Pierre-Louis Lions 11 jan 2019 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 jan 2019 09:00 - 11:00 Séminaire 11:15 - 12:45 Systèmes à diffusion croisée : solutions faibles et dérivation Ayman Moussa 11 jan 2019 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 jan 2019 11:15 - 12:45 14 jan 2019 Cours 09:30 - 11:00 La renormalisation vue à travers des exemples (1) Bernard Derrida 14 jan 2019 La renormalisation vue à travers des exemples Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 jan 2019 09:30 - 11:00 Séminaire 11:15 - 12:30 Non enregistré Promenades dans la renormalisation de Feigenbaum Jean Pierre Eckmann 14 jan 2019 La renormalisation vue à travers des exemples Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 jan 2019 11:15 - 12:30 16 jan 2019 Cours 10:00 - 11:00 Sisyphe heureux : types infinis, démonstrations par coinduction, et programmation réactive Xavier Leroy 16 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2019 10:00 - 11:00 Séminaire 11:30 - 12:30 Réalisabilité et forcing Alexandre Miquel 16 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2019 11:30 - 12:30 Cours 16:30 - 17:30 Matériaux poreux : Introduction Clément Sanchez 16 jan 2019 Matériaux poreux : le miracle des trous Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 16 jan 2019 16:30 - 17:30 18 jan 2019 Cours 09:00 - 11:00 HJB, MFG et les autres (9) Pierre-Louis Lions 18 jan 2019 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 jan 2019 09:00 - 11:00 Cours 10:00 - 11:00 Le consensus indulgent Rachid Guerraoui 18 jan 2019 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 jan 2019 10:00 - 11:00 Séminaire 11:00 - 12:00 Accord et Malice Achour Mostefaoui 18 jan 2019 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 jan 2019 11:00 - 12:00 Séminaire 11:15 - 12:45 Contrôle de fluides visqueux et couches limites Frédéric Marbach 18 jan 2019 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 jan 2019 11:15 - 12:45 21 jan 2019 Cours 09:30 - 11:00 La renormalisation vue à travers des exemples (2) Bernard Derrida 21 jan 2019 La renormalisation vue à travers des exemples Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 jan 2019 09:30 - 11:00 Séminaire 11:15 - 12:30 Comment étudier les interfaces d’un système planaire critique ? Hugo Duminil-Copin 21 jan 2019 La renormalisation vue à travers des exemples Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 jan 2019 11:15 - 12:30 23 jan 2019 Cours 09:30 - 11:00 Introduction aux réseaux de neurones profonds Stéphane Mallat 23 jan 2019 L'apprentissage par réseaux de neurones profonds Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 23 jan 2019 09:30 - 11:00 Cours 10:00 - 11:00 Qu'est-ce que l'égalité ? De Leibniz à la théorie homotopique des types Xavier Leroy 23 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 jan 2019 10:00 - 11:00 Pagination Première page Page précédente … Page 66 Page 67 Page 68 Page 69 Page courante 70 Page 71 Page 72 Page 73 Page 74 … Page suivante Dernière page
Cours 10:00 - 11:00 Peut-on changer le monde ? Programmation impérative, effets monadiques, effets algébriques Xavier Leroy 12 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 déc 2018 10:00 - 11:00
Séminaire 11:30 - 12:30 Programmer avec Coq : récursion et filtrage dépendant Matthieu Sozeau 12 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 déc 2018 11:30 - 12:30
Cours 16:00 - 17:30 En théorie, la théorie et la pratique c'est pareil, en pratique c'est pas vrai (d'après Yogi Berra) Gérard Berry 13 déc 2018 Où va l'informatique ? Inria Bordeaux 13 déc 2018 16:00 - 17:30
Séminaire 17:30 - 18:30 Coq : aspects pratiques de la théorie des types Yves Bertot et Pierre Castéran 13 déc 2018 Où va l'informatique ? Inria Bordeaux 13 déc 2018 17:30 - 18:30
Cours 09:00 - 11:00 HJB, MFG et les autres (6) Pierre-Louis Lions 14 déc 2018 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 14 déc 2018 09:00 - 11:00
Séminaire 11:15 - 12:45 Réflexion quasi-critique d’ondes internes dans un fluide stratifié Anne-Laure Dalibard 14 déc 2018 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 14 déc 2018 11:15 - 12:45
Cours 10:00 - 11:00 Catalyseurs solides à sites métalliques isolés : un pont entre catalyse homogène et hétérogène (II) Marc Fontecave 19 déc 2018 Catalyse hétérogène et activation de petites molécules (II) Salle 2, Site Marcelin Berthelot 19 déc 2018 10:00 - 11:00
Cours 10:00 - 11:00 Des théorèmes gratuits : la paramétricité Xavier Leroy 19 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 déc 2018 10:00 - 11:00
Séminaire 11:00 - 12:00 Approche moléculaire de la catalyse hétérogène : design, synthèse, structure et réactivité (catalytiques) des sites de surface isolés Christophe Copéret 19 déc 2018 Catalyse hétérogène et activation de petites molécules (II) Salle 2, Site Marcelin Berthelot 19 déc 2018 11:00 - 12:00
Séminaire 11:30 - 12:30 Peut-on dupliquer un objet ? Linéarité et contrôle des ressources Guillaume Munch-Maccagnoni 19 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 déc 2018 11:30 - 12:30
Cours 09:00 - 11:00 HJB, MFG et les autres (7) Pierre-Louis Lions 21 déc 2018 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 21 déc 2018 09:00 - 11:00
Cours 10:00 - 11:00 De l'infiniment petit à l'infiniment grand Rachid Guerraoui 21 déc 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 déc 2018 10:00 - 11:00
Séminaire 11:00 - 12:00 Détecteurs de défaillances Hugues Fauconnier 21 déc 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 déc 2018 11:00 - 12:00
Cours 10:00 - 11:00 Le forcing, une transformation de programme comme une autre ? Xavier Leroy 09 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2019 10:00 - 11:00
Cours 11:30 - 12:30 À pas comptés : les techniques de step-indexing Xavier Leroy 09 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2019 11:30 - 12:30
Cours 09:00 - 11:00 HJB, MFG et les autres (8) Pierre-Louis Lions 11 jan 2019 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 jan 2019 09:00 - 11:00
Séminaire 11:15 - 12:45 Systèmes à diffusion croisée : solutions faibles et dérivation Ayman Moussa 11 jan 2019 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 jan 2019 11:15 - 12:45
Cours 09:30 - 11:00 La renormalisation vue à travers des exemples (1) Bernard Derrida 14 jan 2019 La renormalisation vue à travers des exemples Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 jan 2019 09:30 - 11:00
Séminaire 11:15 - 12:30 Non enregistré Promenades dans la renormalisation de Feigenbaum Jean Pierre Eckmann 14 jan 2019 La renormalisation vue à travers des exemples Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 jan 2019 11:15 - 12:30
Cours 10:00 - 11:00 Sisyphe heureux : types infinis, démonstrations par coinduction, et programmation réactive Xavier Leroy 16 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2019 10:00 - 11:00
Séminaire 11:30 - 12:30 Réalisabilité et forcing Alexandre Miquel 16 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2019 11:30 - 12:30
Cours 16:30 - 17:30 Matériaux poreux : Introduction Clément Sanchez 16 jan 2019 Matériaux poreux : le miracle des trous Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 16 jan 2019 16:30 - 17:30
Cours 09:00 - 11:00 HJB, MFG et les autres (9) Pierre-Louis Lions 18 jan 2019 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 jan 2019 09:00 - 11:00
Cours 10:00 - 11:00 Le consensus indulgent Rachid Guerraoui 18 jan 2019 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 jan 2019 10:00 - 11:00
Séminaire 11:00 - 12:00 Accord et Malice Achour Mostefaoui 18 jan 2019 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 jan 2019 11:00 - 12:00
Séminaire 11:15 - 12:45 Contrôle de fluides visqueux et couches limites Frédéric Marbach 18 jan 2019 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 jan 2019 11:15 - 12:45
Cours 09:30 - 11:00 La renormalisation vue à travers des exemples (2) Bernard Derrida 21 jan 2019 La renormalisation vue à travers des exemples Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 jan 2019 09:30 - 11:00
Séminaire 11:15 - 12:30 Comment étudier les interfaces d’un système planaire critique ? Hugo Duminil-Copin 21 jan 2019 La renormalisation vue à travers des exemples Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 jan 2019 11:15 - 12:30
Cours 09:30 - 11:00 Introduction aux réseaux de neurones profonds Stéphane Mallat 23 jan 2019 L'apprentissage par réseaux de neurones profonds Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 23 jan 2019 09:30 - 11:00
Cours 10:00 - 11:00 Qu'est-ce que l'égalité ? De Leibniz à la théorie homotopique des types Xavier Leroy 23 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 jan 2019 10:00 - 11:00