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 3393 é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 (4095) Lettres, arts, langage, philosophie (2655) (-) Sciences sociales (1546) Type d'enseignement Type d'enseignement Cours (1714) Séminaire (1070) Colloque (179) Leçon inaugurale (67) Leçon de clôture (2) Conférencier invité (342) Grand événement (19) Filtres actifs Mathématiques et sciences informatiques Sciences sociales Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 04 Mar 2015 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 05 Mar 2015 Cours 11:00 - 12:00 La justice sociale internationale (I) (3) Alain Supiot 05 Mar 2015 La justice sociale internationale (I) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 05 Mar 2015 11:00 - 12:00 06 Mar 2015 Cours 10:00 - 11:30 La production du savoir. Carrières et compétitions dans l'enseignement et la recherche (7) Pierre-Michel Menger 06 Mar 2015 La production du savoir. Carrières et compétitions dans l'enseignement et la recherche Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 06 Mar 2015 10:00 - 11: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 10 Mar 2015 Cours 15:30 - 16:30 La durabilité des ressources minérales Georges Calas 10 Mar 2015 Les ressources minérales, un enjeu majeur dans le contexte du développement durable Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Mar 2015 15:30 - 16:30 Séminaire 16:30 - 17:30 Projets miniers outre-mer : entre environnement, acceptation locale et économie Anne Duthilleul 10 Mar 2015 Les ressources minérales, un enjeu majeur dans le contexte du développement durable Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Mar 2015 16:30 - 17: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 12 Mar 2015 Cours 11:00 - 12:00 La justice sociale internationale (I) (4) Alain Supiot 12 Mar 2015 La justice sociale internationale (I) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Mar 2015 11:00 - 12:00 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 19 Mar 2015 Cours 11:00 - 12:00 La justice sociale internationale (I) (5) Alain Supiot 19 Mar 2015 La justice sociale internationale (I) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 Mar 2015 11:00 - 12:00 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 24 Mar 2015 Cours 15:30 - 16:30 Réhabilitation, recyclage, ressources secondaires : les nouveaux horizons Georges Calas 24 Mar 2015 Les ressources minérales, un enjeu majeur dans le contexte du développement durable Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 24 Mar 2015 15:30 - 16:30 Séminaire 16:30 - 17:30 L'extraction des métaux à travers les temps : perception sociétale et impacts environnementaux passés et actuels Pierre Fluck 24 Mar 2015 Les ressources minérales, un enjeu majeur dans le contexte du développement durable Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 24 Mar 2015 16:30 - 17: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 Séminaire 17:30 - 18:30 Prouver la sécurité informatique : la logique à la rescousse Véronique Cortier 25 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 17:30 - 18:30 26 Mar 2015 Cours 11:00 - 12:00 La justice sociale internationale (I) (6) Alain Supiot 26 Mar 2015 La justice sociale internationale (I) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Mar 2015 11:00 - 12:00 27 Mar 2015 Cours 10:30 - 11:30 Création intuitive des éléments d'un paysage Marie-Paule Cani 27 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 27 Mar 2015 10:30 - 11:30 Séminaire 11:30 - 12:30 Génération procédurale de mondes virtuels Éric Galin 27 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 27 Mar 2015 11:30 - 12:30 31 Mar 2015 Cours 15:30 - 16:30 Métaux critiques et ressources stratégiques Georges Calas 31 Mar 2015 Les ressources minérales, un enjeu majeur dans le contexte du développement durable Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 31 Mar 2015 15:30 - 16:30 Pagination Première page Page précédente … Page 49 Page 50 Page 51 Page 52 Page courante 53 Page 54 Page 55 Page 56 Page 57 … Page suivante Dernière page
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 11:00 - 12:00 La justice sociale internationale (I) (3) Alain Supiot 05 Mar 2015 La justice sociale internationale (I) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 05 Mar 2015 11:00 - 12:00
Cours 10:00 - 11:30 La production du savoir. Carrières et compétitions dans l'enseignement et la recherche (7) Pierre-Michel Menger 06 Mar 2015 La production du savoir. Carrières et compétitions dans l'enseignement et la recherche Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 06 Mar 2015 10:00 - 11: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 15:30 - 16:30 La durabilité des ressources minérales Georges Calas 10 Mar 2015 Les ressources minérales, un enjeu majeur dans le contexte du développement durable Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Mar 2015 15:30 - 16:30
Séminaire 16:30 - 17:30 Projets miniers outre-mer : entre environnement, acceptation locale et économie Anne Duthilleul 10 Mar 2015 Les ressources minérales, un enjeu majeur dans le contexte du développement durable Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Mar 2015 16:30 - 17: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 11:00 - 12:00 La justice sociale internationale (I) (4) Alain Supiot 12 Mar 2015 La justice sociale internationale (I) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Mar 2015 11:00 - 12:00
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 11:00 - 12:00 La justice sociale internationale (I) (5) Alain Supiot 19 Mar 2015 La justice sociale internationale (I) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 Mar 2015 11:00 - 12:00
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 15:30 - 16:30 Réhabilitation, recyclage, ressources secondaires : les nouveaux horizons Georges Calas 24 Mar 2015 Les ressources minérales, un enjeu majeur dans le contexte du développement durable Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 24 Mar 2015 15:30 - 16:30
Séminaire 16:30 - 17:30 L'extraction des métaux à travers les temps : perception sociétale et impacts environnementaux passés et actuels Pierre Fluck 24 Mar 2015 Les ressources minérales, un enjeu majeur dans le contexte du développement durable Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 24 Mar 2015 16:30 - 17: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
Séminaire 17:30 - 18:30 Prouver la sécurité informatique : la logique à la rescousse Véronique Cortier 25 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 17:30 - 18:30
Cours 11:00 - 12:00 La justice sociale internationale (I) (6) Alain Supiot 26 Mar 2015 La justice sociale internationale (I) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Mar 2015 11:00 - 12:00
Cours 10:30 - 11:30 Création intuitive des éléments d'un paysage Marie-Paule Cani 27 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 27 Mar 2015 10:30 - 11:30
Séminaire 11:30 - 12:30 Génération procédurale de mondes virtuels Éric Galin 27 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 27 Mar 2015 11:30 - 12:30
Cours 15:30 - 16:30 Métaux critiques et ressources stratégiques Georges Calas 31 Mar 2015 Les ressources minérales, un enjeu majeur dans le contexte du développement durable Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 31 Mar 2015 15:30 - 16:30