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 914 é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 (914) Physique et chimie (667) Sciences de l'Univers (336) Sciences de la vie (914) Histoire et archéologie (2125) Lettres, arts, langage, philosophie (1420) Sciences sociales (800) 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 Cours Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 16 mai 2019 Cours 10:00 - 12:00 Dimension 3 : les invariants de Clemens-Griffiths et Artin-Mumford Claire Voisin 16 mai 2019 Invariants birationnels Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 16 mai 2019 10:00 - 12:00 23 mai 2019 Cours 10:00 - 12:00 Cohomologie non ramifiée Claire Voisin 23 mai 2019 Invariants birationnels Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 23 mai 2019 10:00 - 12:00 06 juin 2019 Cours 10:00 - 11:00 Décomposition de la diagonale Claire Voisin 06 juin 2019 Invariants birationnels Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 juin 2019 10:00 - 11:00 13 juin 2019 Cours 10:00 - 12:00 Spécialisation et applications Claire Voisin 13 juin 2019 Invariants birationnels Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 13 juin 2019 10:00 - 12:00 20 juin 2019 Cours 10:00 - 12:00 Décomposition de la diagonale et application d'Abel-Jacobi Claire Voisin 20 juin 2019 Invariants birationnels Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 20 juin 2019 10:00 - 12:00 29 oct 2019 Cours 14:00 - 15:30 La représentation de l’information biologique : aspects statistiques du mappage des séquences aux structures ; le cas de l’ARN Walter Fontana 29 oct 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 29 oct 2019 14:00 - 15:30 05 nov 2019 Cours 14:00 - 15:30 L'héritage de l'information biologique : limites de transmission Walter Fontana 05 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 nov 2019 14:00 - 15:30 08 nov 2019 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (1) Pierre-Louis Lions 08 nov 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 08 nov 2019 09:00 - 11:00 12 nov 2019 Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique I. Outils de raisonnement sur les systèmes d'interaction moléculaire : Introduction Walter Fontana 12 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 nov 2019 14:00 - 15:30 15 nov 2019 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (2) Pierre-Louis Lions 15 nov 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 15 nov 2019 09:00 - 11:00 19 nov 2019 Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique II. Outils de raisonnement sur les systèmes d'interaction moléculaire : cas d'utilisation Walter Fontana 19 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 nov 2019 14:00 - 15:30 22 nov 2019 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (3) Pierre-Louis Lions 22 nov 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 22 nov 2019 09:00 - 11:00 26 nov 2019 Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique III. Outils de raisonnement sur les systèmes d'interaction moléculaire : La quête de renseignements utiles Walter Fontana 26 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 nov 2019 14:00 - 15:30 28 nov 2019 Cours 09:30 - 11:00 Des expressions et des commandes : la sémantique d'un langage impératif Xavier Leroy 28 nov 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 nov 2019 09:30 - 11:00 29 nov 2019 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (4) Pierre-Louis Lions 29 nov 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 29 nov 2019 09:00 - 11:00 03 déc 2019 Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique IV. Systèmes d'assemblage combinatoire en signalisation moléculaire : échafaudage combinatoire Walter Fontana 03 déc 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 déc 2019 14:00 - 15:30 06 déc 2019 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (5) Pierre-Louis Lions 06 déc 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 déc 2019 09:00 - 11:00 10 déc 2019 Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique V. Systèmes d'assemblage combinatoire en signalisation moléculaire : mécanique statistique Walter Fontana 10 déc 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 déc 2019 14:00 - 15:30 12 déc 2019 Cours 09:30 - 11:00 Traduttore, traditore : vérification formelle d'un compilateur Xavier Leroy 12 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 déc 2019 09:30 - 11:00 13 déc 2019 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (6) Pierre-Louis Lions 13 déc 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 13 déc 2019 09:00 - 11:00 17 déc 2019 Cours 14:00 - 15:30 L'acquisition de l'information biologique : l'apprentissage dans les systèmes moléculaires ? Walter Fontana 17 déc 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 déc 2019 14:00 - 15:30 19 déc 2019 Cours 09:30 - 11:00 Compiler mieux : optimisations, analyses statiques, et leur vérification Xavier Leroy 19 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 déc 2019 09:30 - 11:00 20 déc 2019 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (7) Pierre-Louis Lions 20 déc 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 20 déc 2019 09:00 - 11:00 09 jan 2020 Cours 09:30 - 11:00 Des logiques pour raisonner sur les programmes Xavier Leroy 09 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2020 09:30 - 11:00 10 jan 2020 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (8) Pierre-Louis Lions 10 jan 2020 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 10 jan 2020 09:00 - 11:00 16 jan 2020 Cours 09:30 - 11:00 Un art abstrait : l'analyse statique par interprétation abstraite Xavier Leroy 16 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2020 09:30 - 11:00 17 jan 2020 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (9) Pierre-Louis Lions 17 jan 2020 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 17 jan 2020 09:00 - 11:00 22 jan 2020 Cours 09:30 - 11:00 Architectures et applications des réseaux de neurones convolutifs Stéphane Mallat 22 jan 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 22 jan 2020 09:30 - 11:00 29 jan 2020 Cours 09:30 - 11:00 L'architecture de la complexité Stéphane Mallat 29 jan 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 29 jan 2020 09:30 - 11:00 30 jan 2020 Cours 09:30 - 11:00 L'éternité, c'est long : divergence, théorie des domaines, approches coinductives Xavier Leroy 30 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2020 09:30 - 11:00 Pagination Première page Page précédente … Page 18 Page 19 Page 20 Page 21 Page courante 22 Page 23 Page 24 Page 25 Page 26 … Page suivante Dernière page
Cours 10:00 - 12:00 Dimension 3 : les invariants de Clemens-Griffiths et Artin-Mumford Claire Voisin 16 mai 2019 Invariants birationnels Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 16 mai 2019 10:00 - 12:00
Cours 10:00 - 12:00 Cohomologie non ramifiée Claire Voisin 23 mai 2019 Invariants birationnels Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 23 mai 2019 10:00 - 12:00
Cours 10:00 - 11:00 Décomposition de la diagonale Claire Voisin 06 juin 2019 Invariants birationnels Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 juin 2019 10:00 - 11:00
Cours 10:00 - 12:00 Spécialisation et applications Claire Voisin 13 juin 2019 Invariants birationnels Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 13 juin 2019 10:00 - 12:00
Cours 10:00 - 12:00 Décomposition de la diagonale et application d'Abel-Jacobi Claire Voisin 20 juin 2019 Invariants birationnels Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 20 juin 2019 10:00 - 12:00
Cours 14:00 - 15:30 La représentation de l’information biologique : aspects statistiques du mappage des séquences aux structures ; le cas de l’ARN Walter Fontana 29 oct 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 29 oct 2019 14:00 - 15:30
Cours 14:00 - 15:30 L'héritage de l'information biologique : limites de transmission Walter Fontana 05 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 nov 2019 14:00 - 15:30
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (1) Pierre-Louis Lions 08 nov 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 08 nov 2019 09:00 - 11:00
Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique I. Outils de raisonnement sur les systèmes d'interaction moléculaire : Introduction Walter Fontana 12 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 nov 2019 14:00 - 15:30
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (2) Pierre-Louis Lions 15 nov 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 15 nov 2019 09:00 - 11:00
Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique II. Outils de raisonnement sur les systèmes d'interaction moléculaire : cas d'utilisation Walter Fontana 19 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 nov 2019 14:00 - 15:30
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (3) Pierre-Louis Lions 22 nov 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 22 nov 2019 09:00 - 11:00
Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique III. Outils de raisonnement sur les systèmes d'interaction moléculaire : La quête de renseignements utiles Walter Fontana 26 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 nov 2019 14:00 - 15:30
Cours 09:30 - 11:00 Des expressions et des commandes : la sémantique d'un langage impératif Xavier Leroy 28 nov 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 nov 2019 09:30 - 11:00
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (4) Pierre-Louis Lions 29 nov 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 29 nov 2019 09:00 - 11:00
Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique IV. Systèmes d'assemblage combinatoire en signalisation moléculaire : échafaudage combinatoire Walter Fontana 03 déc 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 déc 2019 14:00 - 15:30
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (5) Pierre-Louis Lions 06 déc 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 déc 2019 09:00 - 11:00
Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique V. Systèmes d'assemblage combinatoire en signalisation moléculaire : mécanique statistique Walter Fontana 10 déc 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 déc 2019 14:00 - 15:30
Cours 09:30 - 11:00 Traduttore, traditore : vérification formelle d'un compilateur Xavier Leroy 12 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 déc 2019 09:30 - 11:00
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (6) Pierre-Louis Lions 13 déc 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 13 déc 2019 09:00 - 11:00
Cours 14:00 - 15:30 L'acquisition de l'information biologique : l'apprentissage dans les systèmes moléculaires ? Walter Fontana 17 déc 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 déc 2019 14:00 - 15:30
Cours 09:30 - 11:00 Compiler mieux : optimisations, analyses statiques, et leur vérification Xavier Leroy 19 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 déc 2019 09:30 - 11:00
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (7) Pierre-Louis Lions 20 déc 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 20 déc 2019 09:00 - 11:00
Cours 09:30 - 11:00 Des logiques pour raisonner sur les programmes Xavier Leroy 09 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2020 09:30 - 11:00
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (8) Pierre-Louis Lions 10 jan 2020 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 10 jan 2020 09:00 - 11:00
Cours 09:30 - 11:00 Un art abstrait : l'analyse statique par interprétation abstraite Xavier Leroy 16 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2020 09:30 - 11:00
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (9) Pierre-Louis Lions 17 jan 2020 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 17 jan 2020 09:00 - 11:00
Cours 09:30 - 11:00 Architectures et applications des réseaux de neurones convolutifs Stéphane Mallat 22 jan 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 22 jan 2020 09:30 - 11:00
Cours 09:30 - 11:00 L'architecture de la complexité Stéphane Mallat 29 jan 2020 Modèles multi-échelles et réseaux de neurones convolutifs Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 29 jan 2020 09:30 - 11:00
Cours 09:30 - 11:00 L'éternité, c'est long : divergence, théorie des domaines, approches coinductives Xavier Leroy 30 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2020 09:30 - 11:00