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 911 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 (911) Physics and chemistry (652) Earth and space sciences (336) Life sciences (910) History and archeology (2118) Letters, arts, language, philosophy (1419) Social sciences (799) Event type Event type (-) Lecture (911) Seminar (661) Symposium (37) Opening lecture (31) Guest lecturer (198) Special events (14) Active filters Mathematics and computer sciences Lecture Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 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 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 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 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 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 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 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 Lecture 17:00 - 18:30 Conclusion and answers to the year's questions Gérard Berry 13 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Apr 2016 17:00 - 18:30 15 Apr 2016 Lecture 11:00 - 12:00 Unsupervised learning Yann LeCun 15 Apr 2016 Deep learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 15 Apr 2016 11:00 - 12:00 6 Oct 2016 Lecture 10:00 - 11:00 Topology of algebraic varieties (1) Claire Voisin 06 Oct 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 06 Oct 2016 10:00 - 11:00 Lecture 11:00 - 12:00 Topology of algebraic varieties (2) Claire Voisin 06 Oct 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 06 Oct 2016 11:00 - 12:00 13 Oct 2016 Lecture 10:00 - 11:00 Topology of algebraic varieties (3) Claire Voisin 13 Oct 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 13 Oct 2016 10:00 - 11:00 Lecture 11:00 - 12:00 Topology of algebraic varieties (4) Claire Voisin 13 Oct 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 13 Oct 2016 11:00 - 12:00 20 Oct 2016 Lecture 10:00 - 11:00 Topology of algebraic varieties (5) Claire Voisin 20 Oct 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 20 Oct 2016 10:00 - 11:00 Lecture 11:00 - 12:00 Topology of algebraic varieties (6) Claire Voisin 20 Oct 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 20 Oct 2016 11:00 - 12:00 21 Oct 2016 Lecture 09:00 - 10:00 HJB equations and extensions of classical stochastic control theory (1) Pierre-Louis Lions 21 Oct 2016 HJB equations and extensions of classical stochastic control theory Salle 5, Site Marcelin Berthelot 21 Oct 2016 09:00 - 10:00 Lecture 10:00 - 11:00 HJB equations and extensions of classical stochastic control theory (2) Pierre-Louis Lions 21 Oct 2016 HJB equations and extensions of classical stochastic control theory Salle 5, Site Marcelin Berthelot 21 Oct 2016 10:00 - 11:00 27 Oct 2016 Lecture 10:00 - 12:00 Topology of algebraic varieties (7) Claire Voisin 27 Oct 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 27 Oct 2016 10:00 - 12:00 3 Nov 2016 Lecture 10:00 - 11:00 Topology of algebraic varieties (8) Claire Voisin 03 Nov 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 03 Nov 2016 10:00 - 11:00 Lecture 11:00 - 12:00 Topology of algebraic varieties (9) Claire Voisin 03 Nov 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 03 Nov 2016 11:00 - 12:00 4 Nov 2016 Lecture 09:00 - 10:00 HJB equations and extensions of classical stochastic control theory (3) Pierre-Louis Lions 04 Nov 2016 HJB equations and extensions of classical stochastic control theory Salle 5, Site Marcelin Berthelot 04 Nov 2016 09:00 - 10:00 Lecture 10:00 - 11:00 HJB equations and extensions of classical stochastic control theory (4) Pierre-Louis Lions 04 Nov 2016 HJB equations and extensions of classical stochastic control theory Salle 5, Site Marcelin Berthelot 04 Nov 2016 10:00 - 11:00 10 Nov 2016 Lecture 10:00 - 11:00 Topology of algebraic varieties (10) Claire Voisin 10 Nov 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 10 Nov 2016 10:00 - 11:00 Lecture 11:00 - 12:00 Topology of algebraic varieties (11) Claire Voisin 10 Nov 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 10 Nov 2016 11:00 - 12:00 18 Nov 2016 Lecture 09:00 - 10:00 HJB equations and extensions of classical stochastic control theory (5) Pierre-Louis Lions 18 Nov 2016 HJB equations and extensions of classical stochastic control theory Salle 5, Site Marcelin Berthelot 18 Nov 2016 09:00 - 10:00 Lecture 10:00 - 11:00 HJB equations and extensions of classical stochastic control theory (6) Pierre-Louis Lions 18 Nov 2016 HJB equations and extensions of classical stochastic control theory Salle 5, Site Marcelin Berthelot 18 Nov 2016 10:00 - 11:00 24 Nov 2016 Lecture 10:00 - 11:00 Topology of algebraic varieties (12) Claire Voisin 24 Nov 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 24 Nov 2016 10:00 - 11:00 Lecture 11:00 - 12:00 Topology of algebraic varieties (13) Claire Voisin 24 Nov 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 24 Nov 2016 11:00 - 12:00 25 Nov 2016 Lecture 09:00 - 10:00 HJB equations and extensions of classical stochastic control theory (7) Pierre-Louis Lions 25 Nov 2016 HJB equations and extensions of classical stochastic control theory Salle 5, Site Marcelin Berthelot 25 Nov 2016 09:00 - 10:00 Pagination First page Previous page … Page 13 Page 14 Page 15 Page 16 Current page 17 Page 18 Page 19 Page 20 Page 21 … Next page Last page
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
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
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
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
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
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
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
Lecture 17:00 - 18:30 Conclusion and answers to the year's questions Gérard Berry 13 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Apr 2016 17:00 - 18:30
Lecture 11:00 - 12:00 Unsupervised learning Yann LeCun 15 Apr 2016 Deep learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 15 Apr 2016 11:00 - 12:00
Lecture 10:00 - 11:00 Topology of algebraic varieties (1) Claire Voisin 06 Oct 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 06 Oct 2016 10:00 - 11:00
Lecture 11:00 - 12:00 Topology of algebraic varieties (2) Claire Voisin 06 Oct 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 06 Oct 2016 11:00 - 12:00
Lecture 10:00 - 11:00 Topology of algebraic varieties (3) Claire Voisin 13 Oct 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 13 Oct 2016 10:00 - 11:00
Lecture 11:00 - 12:00 Topology of algebraic varieties (4) Claire Voisin 13 Oct 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 13 Oct 2016 11:00 - 12:00
Lecture 10:00 - 11:00 Topology of algebraic varieties (5) Claire Voisin 20 Oct 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 20 Oct 2016 10:00 - 11:00
Lecture 11:00 - 12:00 Topology of algebraic varieties (6) Claire Voisin 20 Oct 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 20 Oct 2016 11:00 - 12:00
Lecture 09:00 - 10:00 HJB equations and extensions of classical stochastic control theory (1) Pierre-Louis Lions 21 Oct 2016 HJB equations and extensions of classical stochastic control theory Salle 5, Site Marcelin Berthelot 21 Oct 2016 09:00 - 10:00
Lecture 10:00 - 11:00 HJB equations and extensions of classical stochastic control theory (2) Pierre-Louis Lions 21 Oct 2016 HJB equations and extensions of classical stochastic control theory Salle 5, Site Marcelin Berthelot 21 Oct 2016 10:00 - 11:00
Lecture 10:00 - 12:00 Topology of algebraic varieties (7) Claire Voisin 27 Oct 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 27 Oct 2016 10:00 - 12:00
Lecture 10:00 - 11:00 Topology of algebraic varieties (8) Claire Voisin 03 Nov 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 03 Nov 2016 10:00 - 11:00
Lecture 11:00 - 12:00 Topology of algebraic varieties (9) Claire Voisin 03 Nov 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 03 Nov 2016 11:00 - 12:00
Lecture 09:00 - 10:00 HJB equations and extensions of classical stochastic control theory (3) Pierre-Louis Lions 04 Nov 2016 HJB equations and extensions of classical stochastic control theory Salle 5, Site Marcelin Berthelot 04 Nov 2016 09:00 - 10:00
Lecture 10:00 - 11:00 HJB equations and extensions of classical stochastic control theory (4) Pierre-Louis Lions 04 Nov 2016 HJB equations and extensions of classical stochastic control theory Salle 5, Site Marcelin Berthelot 04 Nov 2016 10:00 - 11:00
Lecture 10:00 - 11:00 Topology of algebraic varieties (10) Claire Voisin 10 Nov 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 10 Nov 2016 10:00 - 11:00
Lecture 11:00 - 12:00 Topology of algebraic varieties (11) Claire Voisin 10 Nov 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 10 Nov 2016 11:00 - 12:00
Lecture 09:00 - 10:00 HJB equations and extensions of classical stochastic control theory (5) Pierre-Louis Lions 18 Nov 2016 HJB equations and extensions of classical stochastic control theory Salle 5, Site Marcelin Berthelot 18 Nov 2016 09:00 - 10:00
Lecture 10:00 - 11:00 HJB equations and extensions of classical stochastic control theory (6) Pierre-Louis Lions 18 Nov 2016 HJB equations and extensions of classical stochastic control theory Salle 5, Site Marcelin Berthelot 18 Nov 2016 10:00 - 11:00
Lecture 10:00 - 11:00 Topology of algebraic varieties (12) Claire Voisin 24 Nov 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 24 Nov 2016 10:00 - 11:00
Lecture 11:00 - 12:00 Topology of algebraic varieties (13) Claire Voisin 24 Nov 2016 Topology of algebraic varieties Salle 5, Site Marcelin Berthelot 24 Nov 2016 11:00 - 12:00
Lecture 09:00 - 10:00 HJB equations and extensions of classical stochastic control theory (7) Pierre-Louis Lions 25 Nov 2016 HJB equations and extensions of classical stochastic control theory Salle 5, Site Marcelin Berthelot 25 Nov 2016 09:00 - 10:00