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 11 Feb 2016 Lecture 14:30 - 17:00 Frequency website (6) Alain Connes 11 Feb 2016 Frequencies website Salle 5, Site Marcelin Berthelot 11 Feb 2016 14:30 - 17:00 12 Feb 2016 Lecture 14:30 - 15:30 Why deep learning ? Yann LeCun 12 Feb 2016 Deep learning Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Feb 2016 14:30 - 15:30 19 Feb 2016 Lecture 14:30 - 15:30 Multi-layer networks and gradient backpropagation Yann LeCun 19 Feb 2016 Deep learning Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Feb 2016 14:30 - 15:30 Seminar 15:30 - 16:30 Mathematical mysteries of convolutional neural networks Stéphane Mallat 19 Feb 2016 Deep learning : theory and practice Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Feb 2016 15:30 - 16:30 26 Feb 2016 Lecture 11:00 - 12:00 Deep learning in practice Yann LeCun 26 Feb 2016 Deep learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Feb 2016 11:00 - 12:00 Seminar 12:00 - 13:00 Optimization and training of recurrent networks Yann Ollivier 26 Feb 2016 Deep learning : theory and practice Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Feb 2016 12:00 - 13:00 4 Mar 2016 Lecture 11:00 - 12:00 Convolutional networks Yann LeCun 04 Mar 2016 Deep learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2016 11:00 - 12:00 Seminar 12:00 - 13:00 Speech recognition Gabriel Synnaeve 04 Mar 2016 Deep learning : theory and practice Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2016 12:00 - 13:00 9 Mar 2016 Lecture 16:00 - 17:30 BDDs (Binary Decision Diagrams) and their applications Gérard Berry 09 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 16:00 - 17:30 Seminar 17:30 - 18:30 Application of BDDs in integrated circuit design Jean-Christophe Madre et Patrick Vuillod 09 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 17:30 - 18:30 11 Mar 2016 Seminar 11:15 - 12:30 Harnack inequality for hypoelliptic kinetic equations with non-regular coefficients Cyril Imbert 11 Mar 2016 Applied mathematics Salle 5, Site Marcelin Berthelot 11 Mar 2016 11:15 - 12:30 16 Mar 2016 Lecture 16:00 - 17:30 SAT : Boolean satisfaction Gérard Berry 16 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 16:00 - 17:30 Seminar 17:30 - 18:30 SAT : victories over difficult problems Laurent Simon 16 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 17:30 - 18:30 18 Mar 2016 Seminar 11:15 - 12:30 On the edge of certain interacting particle systems derived from or inspired by random matrix models Djalil Chafaï 18 Mar 2016 Applied mathematics Salle 5, Site Marcelin Berthelot 18 Mar 2016 11:15 - 12:30 23 Mar 2016 Lecture 16:00 - 17:30 SMT : satisfaction modulo theories Gérard Berry 23 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 16:00 - 17:30 Seminar 17:30 - 18:30 SMT in practice : the Alt-Ergo demonstrator Sylvain Conchon 23 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 17:30 - 18:30 25 Mar 2016 Lecture 11:00 - 11:30 Convolutional networks. Vision applications Yann LeCun 25 Mar 2016 Deep learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 25 Mar 2016 11:00 - 11:30 Seminar 11:15 - 12:30 The Fourier transform on the Heisenberg group : the " functions " point of view Jean-Yves Chemin 25 Mar 2016 Applied mathematics Salle 5, Site Marcelin Berthelot 25 Mar 2016 11:15 - 12:30 Seminar 11:30 - 13:00 Metric learning, structured prediction Cordelia Schmid et Samy Bengio 25 Mar 2016 Deep learning : theory and practice Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 25 Mar 2016 11:30 - 13:00 30 Mar 2016 Lecture 16:00 - 17:30 Formal verification of timed programs Gérard Berry 30 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 16:00 - 17:30 Seminar 17:30 - 18:30 Real-Time Model Checking of Embedded Systems Kim Larsen 30 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 17:30 - 18:30 1 Apr 2016 Lecture 11:00 - 12:00 Recurrent networks. Applications to natural language processing Yann LeCun 01 Apr 2016 Deep learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 Apr 2016 11:00 - 12:00 Seminar 12:00 - 13:00 Translation and natural language processing Holger Schwenk 01 Apr 2016 Deep learning : theory and practice Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 Apr 2016 12:00 - 13:00 6 Apr 2016 Lecture 16:00 - 17:30 Verification by explicit enumeration Gérard Berry 06 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 2016 16:00 - 17:30 Seminar 17:30 - 18:30 Formal verification applied to cryptographic protocols Stéphanie Delaune 06 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 2016 17:30 - 18:30 8 Apr 2016 Lecture 11:00 - 12:00 Reasoning, attention, memory Yann LeCun 08 Apr 2016 Deep learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 08 Apr 2016 11:00 - 12:00 Seminar 11:15 - 12:30 Stochastic homogenization of non-convex Hamilton-Jacobi equations : a counterexample Bruno Ziliotto 08 Apr 2016 Applied mathematics Salle 5, Site Marcelin Berthelot 08 Apr 2016 11:15 - 12:30 Seminar 12:00 - 13:00 Deep Learning and Reasoning, Memory-Augmented Networks Rob Fergus 08 Apr 2016 Deep learning : theory and practice Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 08 Apr 2016 12:00 - 13:00 13 Apr 2016 Lecture 10:00 - 11:00 Non-uniform hyperbolicity for multidimensional perturbations of quadratic polynomials (3) Jean-Christophe Yoccoz 13 Apr 2016 Non-uniform hyperbolicity for multidimensional perturbations of quadratic polynomials Salle 5, Site Marcelin Berthelot 13 Apr 2016 10:00 - 11:00 Lecture 11:00 - 12:00 Non-uniform hyperbolicity for multidimensional perturbations of quadratic polynomials (4) Jean-Christophe Yoccoz 13 Apr 2016 Non-uniform hyperbolicity for multidimensional perturbations of quadratic polynomials Salle 5, Site Marcelin Berthelot 13 Apr 2016 11:00 - 12:00 Pagination First page Previous page … Page 26 Page 27 Page 28 Page 29 Current page 30 Page 31 Page 32 Page 33 Page 34 … Next page Last page
Lecture 14:30 - 17:00 Frequency website (6) Alain Connes 11 Feb 2016 Frequencies website Salle 5, Site Marcelin Berthelot 11 Feb 2016 14:30 - 17:00
Lecture 14:30 - 15:30 Why deep learning ? Yann LeCun 12 Feb 2016 Deep learning Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Feb 2016 14:30 - 15:30
Lecture 14:30 - 15:30 Multi-layer networks and gradient backpropagation Yann LeCun 19 Feb 2016 Deep learning Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Feb 2016 14:30 - 15:30
Seminar 15:30 - 16:30 Mathematical mysteries of convolutional neural networks Stéphane Mallat 19 Feb 2016 Deep learning : theory and practice Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Feb 2016 15:30 - 16:30
Lecture 11:00 - 12:00 Deep learning in practice Yann LeCun 26 Feb 2016 Deep learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Feb 2016 11:00 - 12:00
Seminar 12:00 - 13:00 Optimization and training of recurrent networks Yann Ollivier 26 Feb 2016 Deep learning : theory and practice Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Feb 2016 12:00 - 13:00
Lecture 11:00 - 12:00 Convolutional networks Yann LeCun 04 Mar 2016 Deep learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2016 11:00 - 12:00
Seminar 12:00 - 13:00 Speech recognition Gabriel Synnaeve 04 Mar 2016 Deep learning : theory and practice Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2016 12:00 - 13:00
Lecture 16:00 - 17:30 BDDs (Binary Decision Diagrams) and their applications Gérard Berry 09 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 16:00 - 17:30
Seminar 17:30 - 18:30 Application of BDDs in integrated circuit design Jean-Christophe Madre et Patrick Vuillod 09 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 17:30 - 18:30
Seminar 11:15 - 12:30 Harnack inequality for hypoelliptic kinetic equations with non-regular coefficients Cyril Imbert 11 Mar 2016 Applied mathematics Salle 5, Site Marcelin Berthelot 11 Mar 2016 11:15 - 12:30
Lecture 16:00 - 17:30 SAT : Boolean satisfaction Gérard Berry 16 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 16:00 - 17:30
Seminar 17:30 - 18:30 SAT : victories over difficult problems Laurent Simon 16 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 17:30 - 18:30
Seminar 11:15 - 12:30 On the edge of certain interacting particle systems derived from or inspired by random matrix models Djalil Chafaï 18 Mar 2016 Applied mathematics Salle 5, Site Marcelin Berthelot 18 Mar 2016 11:15 - 12:30
Lecture 16:00 - 17:30 SMT : satisfaction modulo theories Gérard Berry 23 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 16:00 - 17:30
Seminar 17:30 - 18:30 SMT in practice : the Alt-Ergo demonstrator Sylvain Conchon 23 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 17:30 - 18:30
Lecture 11:00 - 11:30 Convolutional networks. Vision applications Yann LeCun 25 Mar 2016 Deep learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 25 Mar 2016 11:00 - 11:30
Seminar 11:15 - 12:30 The Fourier transform on the Heisenberg group : the " functions " point of view Jean-Yves Chemin 25 Mar 2016 Applied mathematics Salle 5, Site Marcelin Berthelot 25 Mar 2016 11:15 - 12:30
Seminar 11:30 - 13:00 Metric learning, structured prediction Cordelia Schmid et Samy Bengio 25 Mar 2016 Deep learning : theory and practice Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 25 Mar 2016 11:30 - 13:00
Lecture 16:00 - 17:30 Formal verification of timed programs Gérard Berry 30 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 16:00 - 17:30
Seminar 17:30 - 18:30 Real-Time Model Checking of Embedded Systems Kim Larsen 30 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 17:30 - 18:30
Lecture 11:00 - 12:00 Recurrent networks. Applications to natural language processing Yann LeCun 01 Apr 2016 Deep learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 Apr 2016 11:00 - 12:00
Seminar 12:00 - 13:00 Translation and natural language processing Holger Schwenk 01 Apr 2016 Deep learning : theory and practice Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 Apr 2016 12:00 - 13:00
Lecture 16:00 - 17:30 Verification by explicit enumeration Gérard Berry 06 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 2016 16:00 - 17:30
Seminar 17:30 - 18:30 Formal verification applied to cryptographic protocols Stéphanie Delaune 06 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 2016 17:30 - 18:30
Lecture 11:00 - 12:00 Reasoning, attention, memory Yann LeCun 08 Apr 2016 Deep learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 08 Apr 2016 11:00 - 12:00
Seminar 11:15 - 12:30 Stochastic homogenization of non-convex Hamilton-Jacobi equations : a counterexample Bruno Ziliotto 08 Apr 2016 Applied mathematics Salle 5, Site Marcelin Berthelot 08 Apr 2016 11:15 - 12:30
Seminar 12:00 - 13:00 Deep Learning and Reasoning, Memory-Augmented Networks Rob Fergus 08 Apr 2016 Deep learning : theory and practice Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 08 Apr 2016 12:00 - 13:00
Lecture 10:00 - 11:00 Non-uniform hyperbolicity for multidimensional perturbations of quadratic polynomials (3) Jean-Christophe Yoccoz 13 Apr 2016 Non-uniform hyperbolicity for multidimensional perturbations of quadratic polynomials Salle 5, Site Marcelin Berthelot 13 Apr 2016 10:00 - 11:00
Lecture 11:00 - 12:00 Non-uniform hyperbolicity for multidimensional perturbations of quadratic polynomials (4) Jean-Christophe Yoccoz 13 Apr 2016 Non-uniform hyperbolicity for multidimensional perturbations of quadratic polynomials Salle 5, Site Marcelin Berthelot 13 Apr 2016 11:00 - 12:00