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 (1563) Sciences de l'Univers (584) Sciences de la vie (1746) Histoire et archéologie (4096) 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 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 Séminaire 11:15 - 12:30 Présentation de 7 challenges de données 2019 (1) 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 11:15 - 12:30 Séminaire 11:30 - 12:30 Sémantique des programmes fonctionnels probabilistes, à la lumière de la logique linéaire Christine Tasson 23 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 jan 2019 11:30 - 12:30 Cours 16:00 - 18:30 Où va l'informatique ? Gérard Berry 23 jan 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 jan 2019 16:00 - 18:30 25 jan 2019 Séminaire 11:15 - 12:45 Conditions aux limites dissipatives et solutions entropiques en plasticité parfaite Jean-François Babadjian 25 jan 2019 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 25 jan 2019 11:15 - 12:45 30 jan 2019 Cours 09:30 - 11:00 Applications des réseaux de neurones profonds Stéphane Mallat 30 jan 2019 L'apprentissage par réseaux de neurones profonds Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 30 jan 2019 09:30 - 11:00 Séminaire 10:00 - 11:00 Du calcul des constructions à la théorie des types univalents Thierry Coquand 30 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2019 10:00 - 11:00 Séminaire 11:15 - 12:30 Présentation de 7 challenges de données 2019 (2) Stéphane Mallat 30 jan 2019 L'apprentissage par réseaux de neurones profonds Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 30 jan 2019 11:15 - 12:30 Cours 11:30 - 12:30 Conclusion, discussions et réponses aux questions de l'année Xavier Leroy 30 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2019 11:30 - 12:30 06 fév 2019 Cours 09:30 - 11:00 Approximations par réseaux de neurones et régularité Stéphane Mallat 06 fév 2019 L'apprentissage par réseaux de neurones profonds Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 06 fév 2019 09:30 - 11:00 Séminaire 11:15 - 12:30 Présentation des gagnants des challenges 2018 Stéphane Mallat 06 fév 2019 L'apprentissage par réseaux de neurones profonds Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 06 fév 2019 11:15 - 12:30 Cours 16:00 - 17:30 Enseigner l'informatique Gérard Berry 06 fév 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 fév 2019 16:00 - 17:30 Pagination Première page Page précédente … Page 36 Page 37 Page 38 Page 39 Page courante 40 Page 41 Page 42 Page 43 Page 44 … Page suivante Dernière page
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
Séminaire 11:15 - 12:30 Présentation de 7 challenges de données 2019 (1) 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 11:15 - 12:30
Séminaire 11:30 - 12:30 Sémantique des programmes fonctionnels probabilistes, à la lumière de la logique linéaire Christine Tasson 23 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 jan 2019 11:30 - 12:30
Cours 16:00 - 18:30 Où va l'informatique ? Gérard Berry 23 jan 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 jan 2019 16:00 - 18:30
Séminaire 11:15 - 12:45 Conditions aux limites dissipatives et solutions entropiques en plasticité parfaite Jean-François Babadjian 25 jan 2019 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 25 jan 2019 11:15 - 12:45
Cours 09:30 - 11:00 Applications des réseaux de neurones profonds Stéphane Mallat 30 jan 2019 L'apprentissage par réseaux de neurones profonds Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 30 jan 2019 09:30 - 11:00
Séminaire 10:00 - 11:00 Du calcul des constructions à la théorie des types univalents Thierry Coquand 30 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2019 10:00 - 11:00
Séminaire 11:15 - 12:30 Présentation de 7 challenges de données 2019 (2) Stéphane Mallat 30 jan 2019 L'apprentissage par réseaux de neurones profonds Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 30 jan 2019 11:15 - 12:30
Cours 11:30 - 12:30 Conclusion, discussions et réponses aux questions de l'année Xavier Leroy 30 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2019 11:30 - 12:30
Cours 09:30 - 11:00 Approximations par réseaux de neurones et régularité Stéphane Mallat 06 fév 2019 L'apprentissage par réseaux de neurones profonds Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 06 fév 2019 09:30 - 11:00
Séminaire 11:15 - 12:30 Présentation des gagnants des challenges 2018 Stéphane Mallat 06 fév 2019 L'apprentissage par réseaux de neurones profonds Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 06 fév 2019 11:15 - 12:30
Cours 16:00 - 17:30 Enseigner l'informatique Gérard Berry 06 fév 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 fév 2019 16:00 - 17:30