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 1855 é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 (1558) Sciences de l'Univers (584) Sciences de la vie (1744) Histoire et archéologie (4090) Lettres, arts, langage, philosophie (2655) Sciences sociales (1546) Type d'enseignement Type d'enseignement Cours (914) Séminaire (661) Colloque (37) Leçon inaugurale (31) Conférencier invité (198) Grand événement (14) 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 22 juin 2018 Séminaire 11:15 - 12:45 Mathematical Modelling of Multiscale Processes in the Atmosphere Rupert Klein 22 juin 2018 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 22 juin 2018 11:15 - 12:45 25 oct 2018 Leçon inaugurale 18:00 - 19:00 L'algorithmique répartie : à la recherche de l'universalité perdue Rachid Guerraoui 25 oct 2018 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 25 oct 2018 18:00 - 19:00 26 oct 2018 Cours 10:00 - 11:00 L’atomicité dans un système réparti Rachid Guerraoui 26 oct 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 oct 2018 10:00 - 11:00 09 nov 2018 Cours 09:00 - 11:00 HJB, MFG et les autres (1) Pierre-Louis Lions 09 nov 2018 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 09 nov 2018 09:00 - 11:00 Cours 10:00 - 11:00 Le pouvoir de la mémoire partagée Rachid Guerraoui 09 nov 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 nov 2018 10:00 - 11:00 Séminaire 11:00 - 12:00 Coordination without Agreement Hagit Attiya 09 nov 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 nov 2018 11:00 - 12:00 Séminaire 11:15 - 12:45 Une vision mathématique du « Deep Learning » Pierre-Louis Lions 09 nov 2018 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 09 nov 2018 11:15 - 12:45 15 nov 2018 Leçon inaugurale 18:00 - 19:00 Le logiciel, entre l'esprit et la matière Xavier Leroy 15 nov 2018 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 15 nov 2018 18:00 - 19:00 16 nov 2018 Cours 09:00 - 11:00 HJB, MFG et les autres (2) Pierre-Louis Lions 16 nov 2018 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 16 nov 2018 09:00 - 11:00 Séminaire 11:15 - 12:45 Striated Regularity of 2-D Inhomogeneous Incompressible Navier-Stokes System with Variable Viscosity Ping Zhang 16 nov 2018 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 16 nov 2018 11:15 - 12:45 21 nov 2018 Cours 10:00 - 11:00 Les chemins d'une découverte : la correspondance de Curry-Howard, 1930-1970 Xavier Leroy 21 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 nov 2018 10:00 - 11:00 Cours 11:30 - 12:30 Polymorphisme à tous les étages ! Du système F au calcul des constructions Xavier Leroy 21 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 nov 2018 11:30 - 12:30 23 nov 2018 Cours 09:00 - 11:00 HJB, MFG et les autres (3) Pierre-Louis Lions 23 nov 2018 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 23 nov 2018 09:00 - 11:00 Cours 10:00 - 11:00 L’impossibilité du consensus Rachid Guerraoui 23 nov 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 nov 2018 10:00 - 11:00 Séminaire 11:00 - 12:00 Distributed Computing and Combinatorial Topology Petr Kuznetsov 23 nov 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 nov 2018 11:00 - 12:00 Séminaire 11:15 - 12:45 Mini-cours d'Annalisa Buffa (à Jussieu) Pierre-Louis Lions 23 nov 2018 Mathématiques appliquées Salle du séminaire du Laboratoire J-L Lions, barre 15-16, 3ème étage, salle 09 (15-16-309) Sorbonne Université, Campus Jussieu 4 place Jussieu, Paris 5ème 23 nov 2018 11:15 - 12:45 28 nov 2018 Cours 10:00 - 11:00 Des armes de construction massive : types inductifs et prédicats inductifs Xavier Leroy 28 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 nov 2018 10:00 - 11:00 Séminaire 11:30 - 12:30 Les types dépendants : tout un programme ! Pierre-Évariste Dagand 28 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 nov 2018 11:30 - 12:30 30 nov 2018 Cours 09:00 - 11:00 HJB, MFG et les autres (4) Pierre-Louis Lions 30 nov 2018 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 30 nov 2018 09:00 - 11:00 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 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 Mathematical Modelling of Multiscale Processes in the Atmosphere Rupert Klein 22 juin 2018 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 22 juin 2018 11:15 - 12:45
Leçon inaugurale 18:00 - 19:00 L'algorithmique répartie : à la recherche de l'universalité perdue Rachid Guerraoui 25 oct 2018 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 25 oct 2018 18:00 - 19:00
Cours 10:00 - 11:00 L’atomicité dans un système réparti Rachid Guerraoui 26 oct 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 oct 2018 10:00 - 11:00
Cours 09:00 - 11:00 HJB, MFG et les autres (1) Pierre-Louis Lions 09 nov 2018 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 09 nov 2018 09:00 - 11:00
Cours 10:00 - 11:00 Le pouvoir de la mémoire partagée Rachid Guerraoui 09 nov 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 nov 2018 10:00 - 11:00
Séminaire 11:00 - 12:00 Coordination without Agreement Hagit Attiya 09 nov 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 nov 2018 11:00 - 12:00
Séminaire 11:15 - 12:45 Une vision mathématique du « Deep Learning » Pierre-Louis Lions 09 nov 2018 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 09 nov 2018 11:15 - 12:45
Leçon inaugurale 18:00 - 19:00 Le logiciel, entre l'esprit et la matière Xavier Leroy 15 nov 2018 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 15 nov 2018 18:00 - 19:00
Cours 09:00 - 11:00 HJB, MFG et les autres (2) Pierre-Louis Lions 16 nov 2018 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 16 nov 2018 09:00 - 11:00
Séminaire 11:15 - 12:45 Striated Regularity of 2-D Inhomogeneous Incompressible Navier-Stokes System with Variable Viscosity Ping Zhang 16 nov 2018 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 16 nov 2018 11:15 - 12:45
Cours 10:00 - 11:00 Les chemins d'une découverte : la correspondance de Curry-Howard, 1930-1970 Xavier Leroy 21 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 nov 2018 10:00 - 11:00
Cours 11:30 - 12:30 Polymorphisme à tous les étages ! Du système F au calcul des constructions Xavier Leroy 21 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 nov 2018 11:30 - 12:30
Cours 09:00 - 11:00 HJB, MFG et les autres (3) Pierre-Louis Lions 23 nov 2018 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 23 nov 2018 09:00 - 11:00
Cours 10:00 - 11:00 L’impossibilité du consensus Rachid Guerraoui 23 nov 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 nov 2018 10:00 - 11:00
Séminaire 11:00 - 12:00 Distributed Computing and Combinatorial Topology Petr Kuznetsov 23 nov 2018 Algorithmique répartie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 nov 2018 11:00 - 12:00
Séminaire 11:15 - 12:45 Mini-cours d'Annalisa Buffa (à Jussieu) Pierre-Louis Lions 23 nov 2018 Mathématiques appliquées Salle du séminaire du Laboratoire J-L Lions, barre 15-16, 3ème étage, salle 09 (15-16-309) Sorbonne Université, Campus Jussieu 4 place Jussieu, Paris 5ème 23 nov 2018 11:15 - 12:45
Cours 10:00 - 11:00 Des armes de construction massive : types inductifs et prédicats inductifs Xavier Leroy 28 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 nov 2018 10:00 - 11:00
Séminaire 11:30 - 12:30 Les types dépendants : tout un programme ! Pierre-Évariste Dagand 28 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 nov 2018 11:30 - 12:30
Cours 09:00 - 11:00 HJB, MFG et les autres (4) Pierre-Louis Lions 30 nov 2018 HJB, MFG et les autres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 30 nov 2018 09:00 - 11:00
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