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 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 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 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 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 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 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 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 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 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 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 01 avr 2015 Cours 16:00 - 17:30 Vérification et optimisation booléennes d'automates et circuits Gérard Berry 01 avr 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 avr 2015 16:00 - 17:30 03 avr 2015 Cours 10:30 - 11:30 Animation efficace de phénomènes naturels : des détails qui s'adaptent Marie-Paule Cani 03 avr 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 avr 2015 10:30 - 11:30 10 avr 2015 Cours 10:30 - 11:30 Humains et créatures virtuelles : animation par habillages successifs Marie-Paule Cani 10 avr 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 avr 2015 10:30 - 11:30 17 avr 2015 Cours 10:30 - 11:30 Vers une animation expressive – Marier réalisme et contrôle ? Marie-Paule Cani 17 avr 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 avr 2015 10:30 - 11:30 04 nov 2015 Cours 16:00 - 17:30 L'importance des langages en informatique Gérard Berry 04 nov 2015 Structures de données et algorithmes pour la vérification formelle INRIA Rennes 04 nov 2015 16:00 - 17:30 06 nov 2015 Cours 09:00 - 10:00 Singularités et discontinuités dans les équations de Hamilton-Jacobi (1) Pierre-Louis Lions 06 nov 2015 Singularités et discontinuités dans les équations de Hamilton-Jacobi Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 nov 2015 09:00 - 10:00 Cours 10:00 - 11:00 Singularités et discontinuités dans les équations de Hamilton-Jacobi (2) Pierre-Louis Lions 06 nov 2015 Singularités et discontinuités dans les équations de Hamilton-Jacobi Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 nov 2015 10:00 - 11:00 Pagination Première page Page précédente … Page 11 Page 12 Page 13 Page 14 Page courante 15 Page 16 Page 17 Page 18 Page 19 … 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
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
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
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
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
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
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
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
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
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
Cours 16:00 - 17:30 Vérification et optimisation booléennes d'automates et circuits Gérard Berry 01 avr 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 avr 2015 16:00 - 17:30
Cours 10:30 - 11:30 Animation efficace de phénomènes naturels : des détails qui s'adaptent Marie-Paule Cani 03 avr 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 avr 2015 10:30 - 11:30
Cours 10:30 - 11:30 Humains et créatures virtuelles : animation par habillages successifs Marie-Paule Cani 10 avr 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 avr 2015 10:30 - 11:30
Cours 10:30 - 11:30 Vers une animation expressive – Marier réalisme et contrôle ? Marie-Paule Cani 17 avr 2015 Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 avr 2015 10:30 - 11:30
Cours 16:00 - 17:30 L'importance des langages en informatique Gérard Berry 04 nov 2015 Structures de données et algorithmes pour la vérification formelle INRIA Rennes 04 nov 2015 16:00 - 17:30
Cours 09:00 - 10:00 Singularités et discontinuités dans les équations de Hamilton-Jacobi (1) Pierre-Louis Lions 06 nov 2015 Singularités et discontinuités dans les équations de Hamilton-Jacobi Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 nov 2015 09:00 - 10:00
Cours 10:00 - 11:00 Singularités et discontinuités dans les équations de Hamilton-Jacobi (2) Pierre-Louis Lions 06 nov 2015 Singularités et discontinuités dans les équations de Hamilton-Jacobi Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 nov 2015 10:00 - 11:00