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 30 nov 2018 Séminaire 11:15 - 12:45 Estimations d’erreur a priori et a posteriori localisées sous régularité minimale Martin Vohralik 30 nov 2018 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 30 nov 2018 11:15 - 12:45 05 déc 2018 Cours 10:00 - 11:00 Il faut qu'une porte soit ouverte ou fermée ! Logique classique, continuations, opérateurs de contrôle Xavier Leroy 05 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 05 déc 2018 10:00 - 11:00 Séminaire 11:30 - 12:30 Mathématiques assistées par ordinateur Assia Mahboubi 05 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 05 déc 2018 11:30 - 12:30 07 déc 2018 Cours 09:00 - 11:00 HJB, MFG et les autres (5) Pierre-Louis Lions 07 déc 2018 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 déc 2018 09:00 - 11:00 Cours 10:00 - 11:00 Le théorème d’universalité du consensus Rachid Guerraoui 07 déc 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 déc 2018 10:00 - 11:00 Séminaire 11:00 - 12:00 The Consensus Hierarchy Vassos Hadzilacos 07 déc 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 déc 2018 11:00 - 12:00 Séminaire 11:15 - 12:45 Approximation de mesures de probabilité dans l’ordre convexe par projections pour la distance de Wasserstein Aurélien Alfonsi 07 déc 2018 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 déc 2018 11:15 - 12:45 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 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: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 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 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 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 35 Page 36 Page 37 Page 38 Page courante 39 Page 40 Page 41 Page 42 Page 43 … Page suivante Dernière page
Séminaire 11:15 - 12:45 Estimations d’erreur a priori et a posteriori localisées sous régularité minimale Martin Vohralik 30 nov 2018 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 30 nov 2018 11:15 - 12:45
Cours 10:00 - 11:00 Il faut qu'une porte soit ouverte ou fermée ! Logique classique, continuations, opérateurs de contrôle Xavier Leroy 05 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 05 déc 2018 10:00 - 11:00
Séminaire 11:30 - 12:30 Mathématiques assistées par ordinateur Assia Mahboubi 05 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 05 déc 2018 11:30 - 12:30
Cours 09:00 - 11:00 HJB, MFG et les autres (5) Pierre-Louis Lions 07 déc 2018 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 déc 2018 09:00 - 11:00
Cours 10:00 - 11:00 Le théorème d’universalité du consensus Rachid Guerraoui 07 déc 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 déc 2018 10:00 - 11:00
Séminaire 11:00 - 12:00 The Consensus Hierarchy Vassos Hadzilacos 07 déc 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 déc 2018 11:00 - 12:00
Séminaire 11:15 - 12:45 Approximation de mesures de probabilité dans l’ordre convexe par projections pour la distance de Wasserstein Aurélien Alfonsi 07 déc 2018 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 déc 2018 11:15 - 12:45
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 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: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 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 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 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