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 4510 é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 (4096) (-) Lettres, arts, langage, philosophie (2657) Sciences sociales (1546) Type d'enseignement Type d'enseignement Cours (2334) Séminaire (1424) Colloque (247) Leçon inaugurale (75) Leçon de clôture (5) Conférencier invité (411) Grand événement (14) Filtres actifs Mathématiques et sciences informatiques Lettres, arts, langage, philosophie Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 16 nov 2018 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 20 nov 2018 Cours 11:00 - 12:30 Cinéma et histoire Amos Gitai 20 nov 2018 Traverser les frontières Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 20 nov 2018 11:00 - 12:30 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 27 nov 2018 Cours 11:00 - 12:30 Le cinéma est-il plus autoritaire que la littérature ? Amos Gitai 27 nov 2018 Traverser les frontières Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 27 nov 2018 11:00 - 12:30 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 04 déc 2018 Cours 11:00 - 12:30 Mythologies et mémoires collectives Amos Gitai 04 déc 2018 Traverser les frontières Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 déc 2018 11:00 - 12:30 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 11 déc 2018 Cours 11:00 - 12:30 Chronique d'un assassinat Amos Gitai 11 déc 2018 Traverser les frontières Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 11 déc 2018 11:00 - 12:30 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 Pagination Première page Page précédente … Page 101 Page 102 Page 103 Page 104 Page courante 105 Page 106 Page 107 Page 108 Page 109 … Page suivante Dernière page
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 11:00 - 12:30 Cinéma et histoire Amos Gitai 20 nov 2018 Traverser les frontières Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 20 nov 2018 11:00 - 12:30
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 11:00 - 12:30 Le cinéma est-il plus autoritaire que la littérature ? Amos Gitai 27 nov 2018 Traverser les frontières Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 27 nov 2018 11:00 - 12:30
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 11:00 - 12:30 Mythologies et mémoires collectives Amos Gitai 04 déc 2018 Traverser les frontières Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 déc 2018 11:00 - 12:30
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 11:00 - 12:30 Chronique d'un assassinat Amos Gitai 11 déc 2018 Traverser les frontières Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 11 déc 2018 11:00 - 12:30
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