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 25 Mar 2015 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 12 juin 2015 Séminaire 11:15 - 12:30 Méthodes spectrales pour l'ordonnancement Alexandre d'Aspremont 12 juin 2015 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 12 juin 2015 11:15 - 12:30 19 juin 2015 Séminaire 11:15 - 12:30 Méthodes d'interpolation adaptative pour les problèmes de grande dimension Albert Cohen 19 juin 2015 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 19 juin 2015 11:15 - 12: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 Séminaire 17:30 - 18:30 Intégration de la vérification formelle dans les langages de programmation (INRIA de Rennes) Thomas Jensen 04 nov 2015 Structures de données et algorithmes pour la vérification formelle INRIA Rennes 04 nov 2015 17:30 - 18: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 Conférencier invité 11:15 - 12:15 Non enregistré Hardy Type Inequalities: Prehistory, History and Current Status Lars Erik Persson 06 nov 2015 Lars Erik Persson Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 nov 2015 11:15 - 12:15 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
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
Séminaire 11:15 - 12:30 Méthodes spectrales pour l'ordonnancement Alexandre d'Aspremont 12 juin 2015 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 12 juin 2015 11:15 - 12:30
Séminaire 11:15 - 12:30 Méthodes d'interpolation adaptative pour les problèmes de grande dimension Albert Cohen 19 juin 2015 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 19 juin 2015 11:15 - 12: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
Séminaire 17:30 - 18:30 Intégration de la vérification formelle dans les langages de programmation (INRIA de Rennes) Thomas Jensen 04 nov 2015 Structures de données et algorithmes pour la vérification formelle INRIA Rennes 04 nov 2015 17:30 - 18: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
Conférencier invité 11:15 - 12:15 Non enregistré Hardy Type Inequalities: Prehistory, History and Current Status Lars Erik Persson 06 nov 2015 Lars Erik Persson Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 nov 2015 11:15 - 12:15