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 (1558) Sciences de l'Univers (584) Sciences de la vie (1744) Histoire et archéologie (4090) 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 18 Mar 2015 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 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 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 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 Séminaire 17:30 - 18:30 Spécification, construction et vérification de programmes : le parcours d'une pensée scientifique sur une quarantaine d'années Jean-Raymond Abrial 01 avr 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 avr 2015 17:30 - 18: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 Séminaire 11:30 - 12:30 Simulation physique pour les mondes virtuels François Faure 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 11:30 - 12: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 Séminaire 11:15 - 12:30 Mathématiques pour l'imagerie Habib Ammari 10 avr 2015 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 10 avr 2015 11:15 - 12:30 Séminaire 11:30 - 12:30 Simuler les foules et peupler les mondes virtuels Julien Pettré 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 11:30 - 12: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 Séminaire 11:30 - 12:30 Modélisation numérique de fibres en contact : application à la synthèse de chevelures réalistes Florence Bertails-Descoubes 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 11:30 - 12:30 06 mai 2015 Conférencier invité 14:00 - 15:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (1) Gabriel Dospinescu 06 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 06 mai 2015 14:00 - 15:00 Conférencier invité 15:00 - 16:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (2) Gabriel Dospinescu 06 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 06 mai 2015 15:00 - 16:00 13 mai 2015 Conférencier invité 14:00 - 15:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (3) Gabriel Dospinescu 13 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 13 mai 2015 14:00 - 15:00 Conférencier invité 15:00 - 16:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (4) Gabriel Dospinescu 13 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 13 mai 2015 15:00 - 16:00 20 mai 2015 Conférencier invité 14:00 - 15:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (5) Gabriel Dospinescu 20 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 20 mai 2015 14:00 - 15:00 Conférencier invité 15:00 - 16:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (6) Gabriel Dospinescu 20 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 20 mai 2015 15:00 - 16:00 22 mai 2015 Séminaire 11:15 - 12:30 Comportement asymptotique dans les équations de croissance et de croissance-fragmentation Marie Doumic Jauffret 22 mai 2015 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 22 mai 2015 11:15 - 12:30 27 mai 2015 Conférencier invité 14:00 - 15:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (7) Gabriel Dospinescu 27 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 27 mai 2015 14:00 - 15:00 Conférencier invité 15:00 - 16:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (8) Gabriel Dospinescu 27 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 27 mai 2015 15:00 - 16:00 29 mai 2015 Séminaire 11:15 - 12:30 Inhomogeneous Incompressible Viscous Flows with Slowly Varying Initial Data Ping Zhang 29 mai 2015 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 29 mai 2015 11:15 - 12:30 05 juin 2015 Séminaire 11:15 - 12:30 Homogénéisation stochastique d'équations géométriques et d'équations de Hamilton-Jacobi non convexes Pierre Cardaliaguet 05 juin 2015 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 05 juin 2015 11:15 - 12:30 08 juin 2015 Colloque Modélisation Expressive : Nouvelles avancées vers la création fluide de contenus 3D Marie-Paule Cani 08 juin 2015 08 juin 2015 Pagination Première page Page précédente … Page 24 Page 25 Page 26 Page 27 Page courante 28 Page 29 Page 30 Page 31 Page 32 … Page suivante Dernière page
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
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 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 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
Séminaire 17:30 - 18:30 Spécification, construction et vérification de programmes : le parcours d'une pensée scientifique sur une quarantaine d'années Jean-Raymond Abrial 01 avr 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 avr 2015 17:30 - 18: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
Séminaire 11:30 - 12:30 Simulation physique pour les mondes virtuels François Faure 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 11:30 - 12: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
Séminaire 11:15 - 12:30 Mathématiques pour l'imagerie Habib Ammari 10 avr 2015 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 10 avr 2015 11:15 - 12:30
Séminaire 11:30 - 12:30 Simuler les foules et peupler les mondes virtuels Julien Pettré 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 11:30 - 12: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
Séminaire 11:30 - 12:30 Modélisation numérique de fibres en contact : application à la synthèse de chevelures réalistes Florence Bertails-Descoubes 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 11:30 - 12:30
Conférencier invité 14:00 - 15:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (1) Gabriel Dospinescu 06 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 06 mai 2015 14:00 - 15:00
Conférencier invité 15:00 - 16:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (2) Gabriel Dospinescu 06 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 06 mai 2015 15:00 - 16:00
Conférencier invité 14:00 - 15:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (3) Gabriel Dospinescu 13 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 13 mai 2015 14:00 - 15:00
Conférencier invité 15:00 - 16:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (4) Gabriel Dospinescu 13 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 13 mai 2015 15:00 - 16:00
Conférencier invité 14:00 - 15:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (5) Gabriel Dospinescu 20 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 20 mai 2015 14:00 - 15:00
Conférencier invité 15:00 - 16:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (6) Gabriel Dospinescu 20 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 20 mai 2015 15:00 - 16:00
Séminaire 11:15 - 12:30 Comportement asymptotique dans les équations de croissance et de croissance-fragmentation Marie Doumic Jauffret 22 mai 2015 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 22 mai 2015 11:15 - 12:30
Conférencier invité 14:00 - 15:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (7) Gabriel Dospinescu 27 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 27 mai 2015 14:00 - 15:00
Conférencier invité 15:00 - 16:00 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) (8) Gabriel Dospinescu 27 mai 2015 Autour de la correspondance de Langlands locale p-adique pour GL_2(Q_P) Salle 2, Site Marcelin Berthelot 27 mai 2015 15:00 - 16:00
Séminaire 11:15 - 12:30 Inhomogeneous Incompressible Viscous Flows with Slowly Varying Initial Data Ping Zhang 29 mai 2015 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 29 mai 2015 11:15 - 12:30
Séminaire 11:15 - 12:30 Homogénéisation stochastique d'équations géométriques et d'équations de Hamilton-Jacobi non convexes Pierre Cardaliaguet 05 juin 2015 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 05 juin 2015 11:15 - 12:30
Colloque Modélisation Expressive : Nouvelles avancées vers la création fluide de contenus 3D Marie-Paule Cani 08 juin 2015 08 juin 2015