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 1781 events Filters Dates Dates From To Next 7 days Next 30 days 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 (1781) Physics and chemistry (1445) Earth and space sciences (537) Life sciences (1538) History and archeology (3796) Letters, arts, language, philosophy (2411) Social sciences (1354) Event type Event type Lecture (909) Seminar (656) Opening lecture (22) Guest lecturer (190) Special events (4) 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 12 Feb 2015 Lecture 14:30 - 17:00 The arithmetic site (6) Alain Connes 12 Feb 2015 The arithmetic site Salle 5, Site Marcelin Berthelot 12 Feb 2015 14:30 - 17:00 Opening lecture 18:00 - 19:00 Shaping the imagination : from 3D digital creation to animated virtual worlds Marie-Paule Cani 12 Feb 2015 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Feb 2015 18:00 - 19:00 18 Feb 2015 Lecture 10:00 - 11:00 Some aspects of hyperbolic dynamical systems theory (9) Jean-Christophe Yoccoz 18 Feb 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 18 Feb 2015 10:00 - 11:00 Lecture 11:00 - 12:00 Some aspects of hyperbolic dynamical systems theory (10) Jean-Christophe Yoccoz 18 Feb 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 18 Feb 2015 11:00 - 12:00 25 Feb 2015 Lecture 10:00 - 11:00 Some aspects of hyperbolic dynamical systems theory (11) Jean-Christophe Yoccoz 25 Feb 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 25 Feb 2015 10:00 - 11:00 Lecture 11:00 - 12:00 Some aspects of hyperbolic dynamical systems theory (12) Jean-Christophe Yoccoz 25 Feb 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 25 Feb 2015 11:00 - 12:00 27 Feb 2015 Lecture 10:30 - 11:30 Constructive geometric modeling : choosing a representation Marie-Paule Cani 27 Feb 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Feb 2015 10:30 - 11:30 Seminar 11:30 - 12:30 Combine 3D objects by composing functions Loïc Barthe 27 Feb 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Feb 2015 11:30 - 12:30 4 Mar 2015 Lecture 10:00 - 11:00 Some aspects of hyperbolic dynamical systems theory (13) Jean-Christophe Yoccoz 04 Mar 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 04 Mar 2015 10:00 - 11:00 Lecture 11:00 - 12:00 Some aspects of hyperbolic dynamical systems theory (14) Jean-Christophe Yoccoz 04 Mar 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 04 Mar 2015 11:00 - 12:00 Lecture 16:00 - 17:30 From specification to realization, testing and proof : formal approaches Gérard Berry 04 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 16:00 - 17:30 Seminar 17:30 - 18:30 The Internet of Things, a revolution not to be missed Joseph Sifakis 04 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 17:30 - 18:30 6 Mar 2015 Lecture 10:30 - 11:30 Virtual sculpture : from clay models to spatial deformations Marie-Paule Cani 06 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Mar 2015 10:30 - 11:30 Seminar 11:30 - 12:30 Balancing and geometry support for 3D model printing Sylvain Lefebvre 06 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Mar 2015 11:30 - 12:30 11 Mar 2015 Lecture 10:00 - 11:00 Some aspects of hyperbolic dynamical systems theory (15) Jean-Christophe Yoccoz 11 Mar 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 11 Mar 2015 10:00 - 11:00 Lecture 11:00 - 12:00 Some aspects of hyperbolic dynamical systems theory (16) Jean-Christophe Yoccoz 11 Mar 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 11 Mar 2015 11:00 - 12:00 Lecture 16:00 - 17:30 General methods : assertions, rewriting, abstract interpretation, logics and proof assistants Gérard Berry 11 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 16:00 - 17:30 Seminar 17:30 - 18:30 Using formal methods to secure complex systems : an industrial breakthrough Dominique Bolignano 11 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 17:30 - 18:30 13 Mar 2015 Lecture 10:30 - 11:30 3D modeling from 2D drawings Marie-Paule Cani 13 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Mar 2015 10:30 - 11:30 Seminar 11:30 - 12:30 Interpreting design sketches Adrien Bousseau 13 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Mar 2015 11:30 - 12:30 18 Mar 2015 Lecture 10:00 - 11:00 Some aspects of hyperbolic dynamical systems theory (17) Jean-Christophe Yoccoz 18 Mar 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 18 Mar 2015 10:00 - 11:00 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 Pagination First page Previous page … Page 23 Page 24 Page 25 Page 26 Current page 27 Page 28 Page 29 Page 30 Page 31 … Next page Last page
Lecture 14:30 - 17:00 The arithmetic site (6) Alain Connes 12 Feb 2015 The arithmetic site Salle 5, Site Marcelin Berthelot 12 Feb 2015 14:30 - 17:00
Opening lecture 18:00 - 19:00 Shaping the imagination : from 3D digital creation to animated virtual worlds Marie-Paule Cani 12 Feb 2015 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Feb 2015 18:00 - 19:00
Lecture 10:00 - 11:00 Some aspects of hyperbolic dynamical systems theory (9) Jean-Christophe Yoccoz 18 Feb 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 18 Feb 2015 10:00 - 11:00
Lecture 11:00 - 12:00 Some aspects of hyperbolic dynamical systems theory (10) Jean-Christophe Yoccoz 18 Feb 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 18 Feb 2015 11:00 - 12:00
Lecture 10:00 - 11:00 Some aspects of hyperbolic dynamical systems theory (11) Jean-Christophe Yoccoz 25 Feb 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 25 Feb 2015 10:00 - 11:00
Lecture 11:00 - 12:00 Some aspects of hyperbolic dynamical systems theory (12) Jean-Christophe Yoccoz 25 Feb 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 25 Feb 2015 11:00 - 12:00
Lecture 10:30 - 11:30 Constructive geometric modeling : choosing a representation Marie-Paule Cani 27 Feb 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Feb 2015 10:30 - 11:30
Seminar 11:30 - 12:30 Combine 3D objects by composing functions Loïc Barthe 27 Feb 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Feb 2015 11:30 - 12:30
Lecture 10:00 - 11:00 Some aspects of hyperbolic dynamical systems theory (13) Jean-Christophe Yoccoz 04 Mar 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 04 Mar 2015 10:00 - 11:00
Lecture 11:00 - 12:00 Some aspects of hyperbolic dynamical systems theory (14) Jean-Christophe Yoccoz 04 Mar 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 04 Mar 2015 11:00 - 12:00
Lecture 16:00 - 17:30 From specification to realization, testing and proof : formal approaches Gérard Berry 04 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 16:00 - 17:30
Seminar 17:30 - 18:30 The Internet of Things, a revolution not to be missed Joseph Sifakis 04 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 17:30 - 18:30
Lecture 10:30 - 11:30 Virtual sculpture : from clay models to spatial deformations Marie-Paule Cani 06 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Mar 2015 10:30 - 11:30
Seminar 11:30 - 12:30 Balancing and geometry support for 3D model printing Sylvain Lefebvre 06 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Mar 2015 11:30 - 12:30
Lecture 10:00 - 11:00 Some aspects of hyperbolic dynamical systems theory (15) Jean-Christophe Yoccoz 11 Mar 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 11 Mar 2015 10:00 - 11:00
Lecture 11:00 - 12:00 Some aspects of hyperbolic dynamical systems theory (16) Jean-Christophe Yoccoz 11 Mar 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 11 Mar 2015 11:00 - 12:00
Lecture 16:00 - 17:30 General methods : assertions, rewriting, abstract interpretation, logics and proof assistants Gérard Berry 11 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 16:00 - 17:30
Seminar 17:30 - 18:30 Using formal methods to secure complex systems : an industrial breakthrough Dominique Bolignano 11 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 17:30 - 18:30
Lecture 10:30 - 11:30 3D modeling from 2D drawings Marie-Paule Cani 13 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Mar 2015 10:30 - 11:30
Seminar 11:30 - 12:30 Interpreting design sketches Adrien Bousseau 13 Mar 2015 Shaping the imagination : from 3D digital creation to animated virtual worlds Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Mar 2015 11:30 - 12:30
Lecture 10:00 - 11:00 Some aspects of hyperbolic dynamical systems theory (17) Jean-Christophe Yoccoz 18 Mar 2015 Some aspects of hyperbolic dynamical systems theory Salle 5, Site Marcelin Berthelot 18 Mar 2015 10:00 - 11:00
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