Share Facebook LinkedIn Bluesky Threads Copy url Events Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 1851 events Filters Dates Dates From To Apply Today Next 7 days Next 30 days All events Professor, chair or research center Professor, chair or research center Search a professor, a chair or a research center Areas Areas (-) Mathematics and computer sciences (1851) Physics and chemistry (1487) Earth and space sciences (581) Life sciences (1732) History and archeology (4075) Letters, arts, language, philosophy (2650) Social sciences (1538) Event type Event type Lecture (910) Seminar (661) Symposium (37) Opening lecture (31) Guest lecturer (198) Special events (14) Active filters Mathematics and computer sciences Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 18 Mar 2015 Lecture 11:00 - 12:00 Some aspects of hyperbolic dynamical systems theory (18) Jean-Christophe Yoccoz 18 Mar 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 18 Mar 2015 11:00 - 12:00 Lecture 16:00 - 17:30 Logics of higher order than programming verified in Coq Gérard Berry 18 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 16:00 - 17:30 Seminar 17:30 - 18:30 Languages and systems for interactive proof Christine Paulin 18 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 17:30 - 18:30 20 Mar 2015 Lecture 10:30 - 11:30 Reuse and transfer of 3D models Marie-Paule Cani 20 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 Mar 2015 10:30 - 11:30 Seminar 11:30 - 12:30 Processing, analysis and editing of digitized 3D shapes Tamy Boubekeur 20 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 Mar 2015 11:30 - 12:30 25 Mar 2015 Lecture 16:00 - 17:30 Model-checking Gérard Berry 25 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 16:00 - 17:30 Seminar 17:30 - 18:30 Proving IT security : logic to the rescue Véronique Cortier 25 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 17:30 - 18:30 27 Mar 2015 Lecture 10:30 - 11:30 Intuitive creation of landscape elements Marie-Paule Cani 27 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Mar 2015 10:30 - 11:30 Seminar 11:30 - 12:30 Procedural generation of virtual worlds Éric Galin 27 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Mar 2015 11:30 - 12:30 1 Apr 2015 Lecture 16:00 - 17:30 Boolean verification and optimization of PLCs and circuits Gérard Berry 01 Apr 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 Apr 2015 16:00 - 17:30 Seminar 17:30 - 18:30 Program specification, construction and verification : the path of scientific thought over forty years Jean-Raymond Abrial 01 Apr 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 Apr 2015 17:30 - 18:30 3 Apr 2015 Lecture 10:30 - 11:30 Efficient animation of natural phenomena : details that adapt Marie-Paule Cani 03 Apr 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 Apr 2015 10:30 - 11:30 Seminar 11:30 - 12:30 Physical simulation for virtual worlds François Faure 03 Apr 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 Apr 2015 11:30 - 12:30 10 Apr 2015 Lecture 10:30 - 11:30 Humans and virtual creatures : animation by successive dressings Marie-Paule Cani 10 Apr 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Apr 2015 10:30 - 11:30 Seminar 11:15 - 12:30 Mathematics for imaging Habib Ammari 10 Apr 2015 Applied mathematics Salle 5, Site Marcelin Berthelot 10 Apr 2015 11:15 - 12:30 Seminar 11:30 - 12:30 Simulating crowds and populating virtual worlds Julien Pettré 10 Apr 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Apr 2015 11:30 - 12:30 17 Apr 2015 Lecture 10:30 - 11:30 Towards expressive animation - Combining realism and control ? Marie-Paule Cani 17 Apr 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 Apr 2015 10:30 - 11:30 Seminar 11:30 - 12:30 Digital modeling of fibers in contact : application to realistic hair synthesis Florence Bertails-Descoubes 17 Apr 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 Apr 2015 11:30 - 12:30 6 May 2015 Guest lecturer 14:00 - 15:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (1) Gabriel Dospinescu 06 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 06 May 2015 14:00 - 15:00 Guest lecturer 15:00 - 16:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (2) Gabriel Dospinescu 06 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 06 May 2015 15:00 - 16:00 13 May 2015 Guest lecturer 14:00 - 15:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (3) Gabriel Dospinescu 13 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 13 May 2015 14:00 - 15:00 Guest lecturer 15:00 - 16:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (4) Gabriel Dospinescu 13 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 13 May 2015 15:00 - 16:00 20 May 2015 Guest lecturer 14:00 - 15:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (5) Gabriel Dospinescu 20 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 20 May 2015 14:00 - 15:00 Guest lecturer 15:00 - 16:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (6) Gabriel Dospinescu 20 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 20 May 2015 15:00 - 16:00 22 May 2015 Seminar 11:15 - 12:30 Asymptotic behavior in growth and growth-fragmentation equations Marie Doumic Jauffret 22 May 2015 Applied mathematics Salle 5, Site Marcelin Berthelot 22 May 2015 11:15 - 12:30 27 May 2015 Guest lecturer 14:00 - 15:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (7) Gabriel Dospinescu 27 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 27 May 2015 14:00 - 15:00 Guest lecturer 15:00 - 16:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (8) Gabriel Dospinescu 27 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 27 May 2015 15:00 - 16:00 29 May 2015 Seminar 11:15 - 12:30 Inhomogeneous Incompressible Viscous Flows with Slowly Varying Initial Data Ping Zhang 29 May 2015 Applied mathematics Salle 5, Site Marcelin Berthelot 29 May 2015 11:15 - 12:30 5 Jun 2015 Seminar 11:15 - 12:30 Stochastic homogenization of non-convex geometric and Hamilton-Jacobi equations Pierre Cardaliaguet 05 Jun 2015 Applied mathematics Salle 5, Site Marcelin Berthelot 05 Jun 2015 11:15 - 12:30 8 Jun 2015 Symposium Expressive Modeling : New advances in fluid 3D content creation Marie-Paule Cani 08 Jun 2015 08 Jun 2015 Pagination First page Previous page … Page 24 Page 25 Page 26 Page 27 Current page 28 Page 29 Page 30 Page 31 Page 32 … Next page Last page
Lecture 11:00 - 12:00 Some aspects of hyperbolic dynamical systems theory (18) Jean-Christophe Yoccoz 18 Mar 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 18 Mar 2015 11:00 - 12:00
Lecture 16:00 - 17:30 Logics of higher order than programming verified in Coq Gérard Berry 18 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 16:00 - 17:30
Seminar 17:30 - 18:30 Languages and systems for interactive proof Christine Paulin 18 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 17:30 - 18:30
Lecture 10:30 - 11:30 Reuse and transfer of 3D models Marie-Paule Cani 20 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 Mar 2015 10:30 - 11:30
Seminar 11:30 - 12:30 Processing, analysis and editing of digitized 3D shapes Tamy Boubekeur 20 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 Mar 2015 11:30 - 12:30
Lecture 16:00 - 17:30 Model-checking Gérard Berry 25 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 16:00 - 17:30
Seminar 17:30 - 18:30 Proving IT security : logic to the rescue Véronique Cortier 25 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 17:30 - 18:30
Lecture 10:30 - 11:30 Intuitive creation of landscape elements Marie-Paule Cani 27 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Mar 2015 10:30 - 11:30
Seminar 11:30 - 12:30 Procedural generation of virtual worlds Éric Galin 27 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Mar 2015 11:30 - 12:30
Lecture 16:00 - 17:30 Boolean verification and optimization of PLCs and circuits Gérard Berry 01 Apr 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 Apr 2015 16:00 - 17:30
Seminar 17:30 - 18:30 Program specification, construction and verification : the path of scientific thought over forty years Jean-Raymond Abrial 01 Apr 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 Apr 2015 17:30 - 18:30
Lecture 10:30 - 11:30 Efficient animation of natural phenomena : details that adapt Marie-Paule Cani 03 Apr 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 Apr 2015 10:30 - 11:30
Seminar 11:30 - 12:30 Physical simulation for virtual worlds François Faure 03 Apr 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 Apr 2015 11:30 - 12:30
Lecture 10:30 - 11:30 Humans and virtual creatures : animation by successive dressings Marie-Paule Cani 10 Apr 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Apr 2015 10:30 - 11:30
Seminar 11:15 - 12:30 Mathematics for imaging Habib Ammari 10 Apr 2015 Applied mathematics Salle 5, Site Marcelin Berthelot 10 Apr 2015 11:15 - 12:30
Seminar 11:30 - 12:30 Simulating crowds and populating virtual worlds Julien Pettré 10 Apr 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Apr 2015 11:30 - 12:30
Lecture 10:30 - 11:30 Towards expressive animation - Combining realism and control ? Marie-Paule Cani 17 Apr 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 Apr 2015 10:30 - 11:30
Seminar 11:30 - 12:30 Digital modeling of fibers in contact : application to realistic hair synthesis Florence Bertails-Descoubes 17 Apr 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 Apr 2015 11:30 - 12:30
Guest lecturer 14:00 - 15:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (1) Gabriel Dospinescu 06 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 06 May 2015 14:00 - 15:00
Guest lecturer 15:00 - 16:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (2) Gabriel Dospinescu 06 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 06 May 2015 15:00 - 16:00
Guest lecturer 14:00 - 15:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (3) Gabriel Dospinescu 13 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 13 May 2015 14:00 - 15:00
Guest lecturer 15:00 - 16:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (4) Gabriel Dospinescu 13 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 13 May 2015 15:00 - 16:00
Guest lecturer 14:00 - 15:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (5) Gabriel Dospinescu 20 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 20 May 2015 14:00 - 15:00
Guest lecturer 15:00 - 16:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (6) Gabriel Dospinescu 20 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 20 May 2015 15:00 - 16:00
Seminar 11:15 - 12:30 Asymptotic behavior in growth and growth-fragmentation equations Marie Doumic Jauffret 22 May 2015 Applied mathematics Salle 5, Site Marcelin Berthelot 22 May 2015 11:15 - 12:30
Guest lecturer 14:00 - 15:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (7) Gabriel Dospinescu 27 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 27 May 2015 14:00 - 15:00
Guest lecturer 15:00 - 16:00 Around the local p-adic Langlands correspondence for GL_2(Q_P) (8) Gabriel Dospinescu 27 May 2015 Around the local p-adic Langlands correspondence for GL_2(Q_P) Salle 2, Site Marcelin Berthelot 27 May 2015 15:00 - 16:00
Seminar 11:15 - 12:30 Inhomogeneous Incompressible Viscous Flows with Slowly Varying Initial Data Ping Zhang 29 May 2015 Applied mathematics Salle 5, Site Marcelin Berthelot 29 May 2015 11:15 - 12:30
Seminar 11:15 - 12:30 Stochastic homogenization of non-convex geometric and Hamilton-Jacobi equations Pierre Cardaliaguet 05 Jun 2015 Applied mathematics Salle 5, Site Marcelin Berthelot 05 Jun 2015 11:15 - 12:30
Symposium Expressive Modeling : New advances in fluid 3D content creation Marie-Paule Cani 08 Jun 2015 08 Jun 2015