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 06 fév 2015 Cours 10:00 - 11:00 Équations paraboliques et ergodicité (18) Pierre-Louis Lions 06 fév 2015 Équations paraboliques et ergodicité Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 fév 2015 10:00 - 11:00 11 fév 2015 Cours 10:00 - 11:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (7) Jean-Christophe Yoccoz 11 fév 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 fév 2015 10:00 - 11:00 Cours 11:00 - 12:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (8) Jean-Christophe Yoccoz 11 fév 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 fév 2015 11:00 - 12:00 12 fév 2015 Cours 14:30 - 17:00 Le site arithmétique (6) Alain Connes 12 fév 2015 Le site arithmétique Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 12 fév 2015 14:30 - 17:00 Leçon inaugurale 18:00 - 19:00 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Marie-Paule Cani 12 fév 2015 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 fév 2015 18:00 - 19:00 18 fév 2015 Cours 10:00 - 11:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (9) Jean-Christophe Yoccoz 18 fév 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 fév 2015 10:00 - 11:00 Cours 11:00 - 12:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (10) Jean-Christophe Yoccoz 18 fév 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 fév 2015 11:00 - 12:00 25 fév 2015 Cours 10:00 - 11:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (11) Jean-Christophe Yoccoz 25 fév 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 25 fév 2015 10:00 - 11:00 Cours 11:00 - 12:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (12) Jean-Christophe Yoccoz 25 fév 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 25 fév 2015 11:00 - 12:00 27 fév 2015 Cours 10:30 - 11:30 Modélisation géométrique constructive : choix d'une représentation Marie-Paule Cani 27 fév 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 fév 2015 10:30 - 11:30 Séminaire 11:30 - 12:30 Combiner les objets 3D par composition de fonctions Loïc Barthe 27 fév 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 fév 2015 11:30 - 12:30 04 Mar 2015 Cours 10:00 - 11:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (13) Jean-Christophe Yoccoz 04 Mar 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 04 Mar 2015 10:00 - 11:00 Cours 11:00 - 12:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (14) Jean-Christophe Yoccoz 04 Mar 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 04 Mar 2015 11:00 - 12:00 Cours 16:00 - 17:30 De la spécification à la réalisation, au test et à la preuve : les approches formelles Gérard Berry 04 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 16:00 - 17:30 Séminaire 17:30 - 18:30 L'Internet des objets, une révolution à ne pas manquer Joseph Sifakis 04 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 17:30 - 18:30 06 Mar 2015 Cours 10:30 - 11:30 Sculpture virtuelle : des modèles d'argile aux déformations de l'espace Marie-Paule Cani 06 Mar 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Mar 2015 10:30 - 11:30 Séminaire 11:30 - 12:30 Équilibrage et supports de géométries pour l'impression des modèles 3D Sylvain Lefebvre 06 Mar 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Mar 2015 11:30 - 12:30 11 Mar 2015 Cours 10:00 - 11:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (15) Jean-Christophe Yoccoz 11 Mar 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 Mar 2015 10:00 - 11:00 Cours 11:00 - 12:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (16) Jean-Christophe Yoccoz 11 Mar 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 Mar 2015 11:00 - 12:00 Cours 16:00 - 17:30 Les méthodes générales : assertions, réécriture, interprétation abstraite, logiques et assistants de preuve Gérard Berry 11 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 16:00 - 17:30 Séminaire 17:30 - 18:30 Utilisation des méthodes formelles pour la sécurisation de systèmes complexes : une avancée industrielle Dominique Bolignano 11 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 17:30 - 18:30 13 Mar 2015 Cours 10:30 - 11:30 Modélisation 3D à partir de dessins 2D Marie-Paule Cani 13 Mar 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Mar 2015 10:30 - 11:30 Séminaire 11:30 - 12:30 Interprétation de croquis pour le design Adrien Bousseau 13 Mar 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Mar 2015 11:30 - 12:30 18 Mar 2015 Cours 10:00 - 11:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (17) Jean-Christophe Yoccoz 18 Mar 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 Mar 2015 10:00 - 11:00 Cours 11:00 - 12:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (18) Jean-Christophe Yoccoz 18 Mar 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 Mar 2015 11:00 - 12:00 Cours 16:00 - 17:30 Des logiques d'ordre supérieur à la programmation vérifiée en Coq Gérard Berry 18 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 16:00 - 17:30 Séminaire 17:30 - 18:30 Langages et systèmes pour la preuve interactive Christine Paulin 18 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 17:30 - 18:30 20 Mar 2015 Cours 10:30 - 11:30 Réutilisation et transfert des modèles 3D Marie-Paule Cani 20 Mar 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 Mar 2015 10:30 - 11:30 Séminaire 11:30 - 12:30 Traitement, analyse et édition de formes 3D numérisées Tamy Boubekeur 20 Mar 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 Mar 2015 11:30 - 12:30 25 Mar 2015 Cours 16:00 - 17:30 La vérification de modèles (model-checking) Gérard Berry 25 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 16:00 - 17:30 Pagination Première page Page précédente … Page 23 Page 24 Page 25 Page 26 Page courante 27 Page 28 Page 29 Page 30 Page 31 … Page suivante Dernière page
Cours 10:00 - 11:00 Équations paraboliques et ergodicité (18) Pierre-Louis Lions 06 fév 2015 Équations paraboliques et ergodicité Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 fév 2015 10:00 - 11:00
Cours 10:00 - 11:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (7) Jean-Christophe Yoccoz 11 fév 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 fév 2015 10:00 - 11:00
Cours 11:00 - 12:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (8) Jean-Christophe Yoccoz 11 fév 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 fév 2015 11:00 - 12:00
Cours 14:30 - 17:00 Le site arithmétique (6) Alain Connes 12 fév 2015 Le site arithmétique Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 12 fév 2015 14:30 - 17:00
Leçon inaugurale 18:00 - 19:00 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Marie-Paule Cani 12 fév 2015 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 fév 2015 18:00 - 19:00
Cours 10:00 - 11:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (9) Jean-Christophe Yoccoz 18 fév 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 fév 2015 10:00 - 11:00
Cours 11:00 - 12:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (10) Jean-Christophe Yoccoz 18 fév 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 fév 2015 11:00 - 12:00
Cours 10:00 - 11:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (11) Jean-Christophe Yoccoz 25 fév 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 25 fév 2015 10:00 - 11:00
Cours 11:00 - 12:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (12) Jean-Christophe Yoccoz 25 fév 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 25 fév 2015 11:00 - 12:00
Cours 10:30 - 11:30 Modélisation géométrique constructive : choix d'une représentation Marie-Paule Cani 27 fév 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 fév 2015 10:30 - 11:30
Séminaire 11:30 - 12:30 Combiner les objets 3D par composition de fonctions Loïc Barthe 27 fév 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 fév 2015 11:30 - 12:30
Cours 10:00 - 11:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (13) Jean-Christophe Yoccoz 04 Mar 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 04 Mar 2015 10:00 - 11:00
Cours 11:00 - 12:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (14) Jean-Christophe Yoccoz 04 Mar 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 04 Mar 2015 11:00 - 12:00
Cours 16:00 - 17:30 De la spécification à la réalisation, au test et à la preuve : les approches formelles Gérard Berry 04 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 16:00 - 17:30
Séminaire 17:30 - 18:30 L'Internet des objets, une révolution à ne pas manquer Joseph Sifakis 04 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 17:30 - 18:30
Cours 10:30 - 11:30 Sculpture virtuelle : des modèles d'argile aux déformations de l'espace Marie-Paule Cani 06 Mar 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Mar 2015 10:30 - 11:30
Séminaire 11:30 - 12:30 Équilibrage et supports de géométries pour l'impression des modèles 3D Sylvain Lefebvre 06 Mar 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Mar 2015 11:30 - 12:30
Cours 10:00 - 11:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (15) Jean-Christophe Yoccoz 11 Mar 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 Mar 2015 10:00 - 11:00
Cours 11:00 - 12:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (16) Jean-Christophe Yoccoz 11 Mar 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 11 Mar 2015 11:00 - 12:00
Cours 16:00 - 17:30 Les méthodes générales : assertions, réécriture, interprétation abstraite, logiques et assistants de preuve Gérard Berry 11 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 16:00 - 17:30
Séminaire 17:30 - 18:30 Utilisation des méthodes formelles pour la sécurisation de systèmes complexes : une avancée industrielle Dominique Bolignano 11 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 17:30 - 18:30
Cours 10:30 - 11:30 Modélisation 3D à partir de dessins 2D Marie-Paule Cani 13 Mar 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Mar 2015 10:30 - 11:30
Séminaire 11:30 - 12:30 Interprétation de croquis pour le design Adrien Bousseau 13 Mar 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Mar 2015 11:30 - 12:30
Cours 10:00 - 11:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (17) Jean-Christophe Yoccoz 18 Mar 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 Mar 2015 10:00 - 11:00
Cours 11:00 - 12:00 Quelques aspects de la théorie des systèmes dynamiques hyperboliques (18) Jean-Christophe Yoccoz 18 Mar 2015 Quelques aspects de la théorie des systèmes dynamiques hyperboliques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 18 Mar 2015 11:00 - 12:00
Cours 16:00 - 17:30 Des logiques d'ordre supérieur à la programmation vérifiée en Coq Gérard Berry 18 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 16:00 - 17:30
Séminaire 17:30 - 18:30 Langages et systèmes pour la preuve interactive Christine Paulin 18 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 17:30 - 18:30
Cours 10:30 - 11:30 Réutilisation et transfert des modèles 3D Marie-Paule Cani 20 Mar 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 Mar 2015 10:30 - 11:30
Séminaire 11:30 - 12:30 Traitement, analyse et édition de formes 3D numérisées Tamy Boubekeur 20 Mar 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 Mar 2015 11:30 - 12:30
Cours 16:00 - 17:30 La vérification de modèles (model-checking) Gérard Berry 25 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 16:00 - 17:30