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 910 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 (910) 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 (910) 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 13 Dec 2018 Lecture 16:00 - 17:30 In theory, theory and practice are the same, in practice they are not (according to Yogi Berra) Gérard Berry 13 Dec 2018 Where are computers headed ? Inria Bordeaux 13 Dec 2018 16:00 - 17:30 14 Dec 2018 Lecture 09:00 - 11:00 HJB, MFG and others (6) Pierre-Louis Lions 14 Dec 2018 HJB, MFG and others Salle 5, Site Marcelin Berthelot 14 Dec 2018 09:00 - 11:00 19 Dec 2018 Lecture 10:00 - 11:00 Free theorems : parametricity Xavier Leroy 19 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2018 10:00 - 11:00 21 Dec 2018 Lecture 09:00 - 11:00 HJB, MFG and others (7) Pierre-Louis Lions 21 Dec 2018 HJB, MFG and others Salle 5, Site Marcelin Berthelot 21 Dec 2018 09:00 - 11:00 Lecture 10:00 - 11:00 From the infinitely small to the infinitely large Rachid Guerraoui 21 Dec 2018 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 Dec 2018 10:00 - 11:00 9 Jan 2019 Lecture 10:00 - 11:00 Forcing, a program transformation like any other ? Xavier Leroy 09 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2019 10:00 - 11:00 Lecture 11:30 - 12:30 Step by step : step-indexing techniques Xavier Leroy 09 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2019 11:30 - 12:30 11 Jan 2019 Lecture 09:00 - 11:00 HJB, MFG and others (8) Pierre-Louis Lions 11 Jan 2019 HJB, MFG and others Salle 5, Site Marcelin Berthelot 11 Jan 2019 09:00 - 11:00 16 Jan 2019 Lecture 10:00 - 11:00 Happy Sisyphus : infinite types, coinduction demonstrations, and reactive programming Xavier Leroy 16 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2019 10:00 - 11:00 18 Jan 2019 Lecture 09:00 - 11:00 HJB, MFG and others (9) Pierre-Louis Lions 18 Jan 2019 HJB, MFG and others Salle 5, Site Marcelin Berthelot 18 Jan 2019 09:00 - 11:00 Lecture 10:00 - 11:00 The indulgent consensus Rachid Guerraoui 18 Jan 2019 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Jan 2019 10:00 - 11:00 23 Jan 2019 Lecture 09:30 - 11:00 Introduction to deep neural networks Stéphane Mallat 23 Jan 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 23 Jan 2019 09:30 - 11:00 Lecture 10:00 - 11:00 What is equality From Leibniz to the homotopic theory of types Xavier Leroy 23 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Jan 2019 10:00 - 11:00 Lecture 16:00 - 18:30 Where are computers headed ? Gérard Berry 23 Jan 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Jan 2019 16:00 - 18:30 30 Jan 2019 Lecture 09:30 - 11:00 Applications of deep neural networks Stéphane Mallat 30 Jan 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 30 Jan 2019 09:30 - 11:00 Lecture 11:30 - 12:30 Conclusion, discussion and answers to the year's questions Xavier Leroy 30 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Jan 2019 11:30 - 12:30 6 Feb 2019 Lecture 09:30 - 11:00 Neural network approximations and regularity Stéphane Mallat 06 Feb 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 06 Feb 2019 09:30 - 11:00 Lecture 16:00 - 17:30 Teaching computer science Gérard Berry 06 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Feb 2019 16:00 - 17:30 13 Feb 2019 Lecture 09:30 - 11:00 The origins : cybernetics and the perceptron Stéphane Mallat 13 Feb 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 Feb 2019 09:30 - 11:00 Lecture 16:00 - 17:30 The scientific aspects of computer security Gérard Berry 13 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Feb 2019 16:00 - 17:30 15 Feb 2019 Lecture 10:00 - 11:00 Dynamic distributed systems Rachid Guerraoui 15 Feb 2019 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 15 Feb 2019 10:00 - 11:00 20 Feb 2019 Lecture 09:30 - 11:00 Universal single-layer hidden network approximation Stéphane Mallat 20 Feb 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 20 Feb 2019 09:30 - 11:00 Lecture 16:00 - 17:30 A look at some of the lesser-known research questions in computer science Gérard Berry 20 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 Feb 2019 16:00 - 17:30 26 Feb 2019 Lecture 16:00 - 17:30 A plea for non-linear trajectories Gérard Berry 26 Feb 2019 Where are computers headed ? Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Feb 2019 16:00 - 17:30 27 Feb 2019 Lecture 09:30 - 11:00 Approximation error with a hidden layer and regularity Stéphane Mallat 27 Feb 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 27 Feb 2019 09:30 - 11:00 1 Mar 2019 Lecture 10:00 - 11:00 If Blockchain is the solution, what's the problem ? Rachid Guerraoui 01 Mar 2019 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 Mar 2019 10:00 - 11:00 13 Mar 2019 Lecture 09:30 - 11:00 Maximum likelihood network optimization Stéphane Mallat 13 Mar 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 Mar 2019 09:30 - 11:00 20 Mar 2019 Lecture 09:30 - 11:00 Gradient descent and gradient backpropagation Stéphane Mallat 20 Mar 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 20 Mar 2019 09:30 - 11:00 Lecture 11:15 - 12:30 Convergence of stochastic gradient descent Stéphane Mallat 20 Mar 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 20 Mar 2019 11:15 - 12:30 9 May 2019 Lecture 10:00 - 12:00 Introduction. Different notions of rationality and initial invariants Claire Voisin 09 May 2019 Birational invariants Salle 5, Site Marcelin Berthelot 09 May 2019 10:00 - 12:00 Pagination First page Previous page … Page 17 Page 18 Page 19 Page 20 Current page 21 Page 22 Page 23 Page 24 Page 25 … Next page Last page
Lecture 16:00 - 17:30 In theory, theory and practice are the same, in practice they are not (according to Yogi Berra) Gérard Berry 13 Dec 2018 Where are computers headed ? Inria Bordeaux 13 Dec 2018 16:00 - 17:30
Lecture 09:00 - 11:00 HJB, MFG and others (6) Pierre-Louis Lions 14 Dec 2018 HJB, MFG and others Salle 5, Site Marcelin Berthelot 14 Dec 2018 09:00 - 11:00
Lecture 10:00 - 11:00 Free theorems : parametricity Xavier Leroy 19 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2018 10:00 - 11:00
Lecture 09:00 - 11:00 HJB, MFG and others (7) Pierre-Louis Lions 21 Dec 2018 HJB, MFG and others Salle 5, Site Marcelin Berthelot 21 Dec 2018 09:00 - 11:00
Lecture 10:00 - 11:00 From the infinitely small to the infinitely large Rachid Guerraoui 21 Dec 2018 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 Dec 2018 10:00 - 11:00
Lecture 10:00 - 11:00 Forcing, a program transformation like any other ? Xavier Leroy 09 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2019 10:00 - 11:00
Lecture 11:30 - 12:30 Step by step : step-indexing techniques Xavier Leroy 09 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2019 11:30 - 12:30
Lecture 09:00 - 11:00 HJB, MFG and others (8) Pierre-Louis Lions 11 Jan 2019 HJB, MFG and others Salle 5, Site Marcelin Berthelot 11 Jan 2019 09:00 - 11:00
Lecture 10:00 - 11:00 Happy Sisyphus : infinite types, coinduction demonstrations, and reactive programming Xavier Leroy 16 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2019 10:00 - 11:00
Lecture 09:00 - 11:00 HJB, MFG and others (9) Pierre-Louis Lions 18 Jan 2019 HJB, MFG and others Salle 5, Site Marcelin Berthelot 18 Jan 2019 09:00 - 11:00
Lecture 10:00 - 11:00 The indulgent consensus Rachid Guerraoui 18 Jan 2019 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Jan 2019 10:00 - 11:00
Lecture 09:30 - 11:00 Introduction to deep neural networks Stéphane Mallat 23 Jan 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 23 Jan 2019 09:30 - 11:00
Lecture 10:00 - 11:00 What is equality From Leibniz to the homotopic theory of types Xavier Leroy 23 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Jan 2019 10:00 - 11:00
Lecture 16:00 - 18:30 Where are computers headed ? Gérard Berry 23 Jan 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Jan 2019 16:00 - 18:30
Lecture 09:30 - 11:00 Applications of deep neural networks Stéphane Mallat 30 Jan 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 30 Jan 2019 09:30 - 11:00
Lecture 11:30 - 12:30 Conclusion, discussion and answers to the year's questions Xavier Leroy 30 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Jan 2019 11:30 - 12:30
Lecture 09:30 - 11:00 Neural network approximations and regularity Stéphane Mallat 06 Feb 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 06 Feb 2019 09:30 - 11:00
Lecture 16:00 - 17:30 Teaching computer science Gérard Berry 06 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Feb 2019 16:00 - 17:30
Lecture 09:30 - 11:00 The origins : cybernetics and the perceptron Stéphane Mallat 13 Feb 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 Feb 2019 09:30 - 11:00
Lecture 16:00 - 17:30 The scientific aspects of computer security Gérard Berry 13 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Feb 2019 16:00 - 17:30
Lecture 10:00 - 11:00 Dynamic distributed systems Rachid Guerraoui 15 Feb 2019 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 15 Feb 2019 10:00 - 11:00
Lecture 09:30 - 11:00 Universal single-layer hidden network approximation Stéphane Mallat 20 Feb 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 20 Feb 2019 09:30 - 11:00
Lecture 16:00 - 17:30 A look at some of the lesser-known research questions in computer science Gérard Berry 20 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 Feb 2019 16:00 - 17:30
Lecture 16:00 - 17:30 A plea for non-linear trajectories Gérard Berry 26 Feb 2019 Where are computers headed ? Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Feb 2019 16:00 - 17:30
Lecture 09:30 - 11:00 Approximation error with a hidden layer and regularity Stéphane Mallat 27 Feb 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 27 Feb 2019 09:30 - 11:00
Lecture 10:00 - 11:00 If Blockchain is the solution, what's the problem ? Rachid Guerraoui 01 Mar 2019 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 Mar 2019 10:00 - 11:00
Lecture 09:30 - 11:00 Maximum likelihood network optimization Stéphane Mallat 13 Mar 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 Mar 2019 09:30 - 11:00
Lecture 09:30 - 11:00 Gradient descent and gradient backpropagation Stéphane Mallat 20 Mar 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 20 Mar 2019 09:30 - 11:00
Lecture 11:15 - 12:30 Convergence of stochastic gradient descent Stéphane Mallat 20 Mar 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 20 Mar 2019 11:15 - 12:30
Lecture 10:00 - 12:00 Introduction. Different notions of rationality and initial invariants Claire Voisin 09 May 2019 Birational invariants Salle 5, Site Marcelin Berthelot 09 May 2019 10:00 - 12:00