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 3226 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 (1557) Seminar (1253) Opening lecture (47) Closing lecture (2) Guest lecturer (326) Special events (41) Active filters Mathematics and computer sciences Physics and chemistry Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 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 Seminar 11:00 - 12:00 Molecular approach to heterogeneous catalysis : design, synthesis, structure and (catalytic) reactivity of isolated surface sites Christophe Copéret 19 Dec 2018 Heterogeneous catalysis and small molecule activation (II) Salle 2, Site Marcelin Berthelot 19 Dec 2018 11:00 - 12:00 Seminar 11:30 - 12:30 Can you duplicate an object ? Linearity and resource control Guillaume Munch-Maccagnoni 19 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2018 11:30 - 12:30 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 Seminar 11:00 - 12:00 Fault detectors Hugues Fauconnier 21 Dec 2018 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 Dec 2018 11:00 - 12: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 Seminar 11:15 - 12:45 Cross-diffusion systems : weak solutions and bypassing Ayman Moussa 11 Jan 2019 Applied mathematics Salle 5, Site Marcelin Berthelot 11 Jan 2019 11:15 - 12:45 14 Jan 2019 Lecture 09:30 - 11:00 Examples of renormalization (1) Bernard Derrida 14 Jan 2019 Examples of renormalization Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 Jan 2019 09:30 - 11:00 Seminar 11:15 - 12:30 Not recorded A walk through Feigenbaum's renormalization Jean Pierre Eckmann 14 Jan 2019 Examples of renormalization Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 Jan 2019 11:15 - 12:30 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 Seminar 11:30 - 12:30 Realisability and forcing Alexandre Miquel 16 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2019 11:30 - 12:30 Lecture 16:30 - 17:30 Porous materials : Introduction Clément Sanchez 16 Jan 2019 Porous materials : the miracle of holes Salle 5, Site Marcelin Berthelot 16 Jan 2019 16:30 - 17:30 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 Seminar 11:00 - 12:00 Accord et Malice Achour Mostefaoui 18 Jan 2019 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Jan 2019 11:00 - 12:00 Seminar 11:15 - 12:45 Viscous fluid control and boundary layers Frédéric Marbach 18 Jan 2019 Applied mathematics Salle 5, Site Marcelin Berthelot 18 Jan 2019 11:15 - 12:45 21 Jan 2019 Lecture 09:30 - 11:00 Examples of renormalization (2) Bernard Derrida 21 Jan 2019 Examples of renormalization Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 Jan 2019 09:30 - 11:00 Seminar 11:15 - 12:30 How to study the interfaces of a critical planar system ? Hugo Duminil-Copin 21 Jan 2019 Examples of renormalization Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 Jan 2019 11:15 - 12:30 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 Seminar 11:15 - 12:30 Introducing 7 data challenges 2019 (1) Stéphane Mallat 23 Jan 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 23 Jan 2019 11:15 - 12:30 Seminar 11:30 - 12:30 Semantics of probabilistic functional programs in the light of linear logic Christine Tasson 23 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Jan 2019 11:30 - 12:30 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 16:30 - 17:30 Old and new porous carbons Clément Sanchez 23 Jan 2019 Porous materials : the miracle of holes Salle 5, Site Marcelin Berthelot 23 Jan 2019 16:30 - 17:30 25 Jan 2019 Seminar 11:15 - 12:45 Dissipative boundary conditions and entropic solutions in perfect plasticity Jean-François Babadjian 25 Jan 2019 Applied mathematics Salle 5, Site Marcelin Berthelot 25 Jan 2019 11:15 - 12:45 28 Jan 2019 Lecture 09:30 - 11:00 Examples of renormalization (3) Bernard Derrida 28 Jan 2019 Examples of renormalization Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 Jan 2019 09:30 - 11:00 Seminar 11:15 - 12:30 The density matrix renormalization group (DMRG) Ulrich Schollwöck 28 Jan 2019 Examples of renormalization Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 Jan 2019 11:15 - 12:30 Pagination First page Previous page … Page 66 Page 67 Page 68 Page 69 Current page 70 Page 71 Page 72 Page 73 Page 74 … Next page Last page
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
Seminar 11:00 - 12:00 Molecular approach to heterogeneous catalysis : design, synthesis, structure and (catalytic) reactivity of isolated surface sites Christophe Copéret 19 Dec 2018 Heterogeneous catalysis and small molecule activation (II) Salle 2, Site Marcelin Berthelot 19 Dec 2018 11:00 - 12:00
Seminar 11:30 - 12:30 Can you duplicate an object ? Linearity and resource control Guillaume Munch-Maccagnoni 19 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2018 11:30 - 12:30
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
Seminar 11:00 - 12:00 Fault detectors Hugues Fauconnier 21 Dec 2018 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 Dec 2018 11:00 - 12: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
Seminar 11:15 - 12:45 Cross-diffusion systems : weak solutions and bypassing Ayman Moussa 11 Jan 2019 Applied mathematics Salle 5, Site Marcelin Berthelot 11 Jan 2019 11:15 - 12:45
Lecture 09:30 - 11:00 Examples of renormalization (1) Bernard Derrida 14 Jan 2019 Examples of renormalization Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 Jan 2019 09:30 - 11:00
Seminar 11:15 - 12:30 Not recorded A walk through Feigenbaum's renormalization Jean Pierre Eckmann 14 Jan 2019 Examples of renormalization Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 Jan 2019 11:15 - 12:30
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
Seminar 11:30 - 12:30 Realisability and forcing Alexandre Miquel 16 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2019 11:30 - 12:30
Lecture 16:30 - 17:30 Porous materials : Introduction Clément Sanchez 16 Jan 2019 Porous materials : the miracle of holes Salle 5, Site Marcelin Berthelot 16 Jan 2019 16:30 - 17:30
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
Seminar 11:00 - 12:00 Accord et Malice Achour Mostefaoui 18 Jan 2019 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Jan 2019 11:00 - 12:00
Seminar 11:15 - 12:45 Viscous fluid control and boundary layers Frédéric Marbach 18 Jan 2019 Applied mathematics Salle 5, Site Marcelin Berthelot 18 Jan 2019 11:15 - 12:45
Lecture 09:30 - 11:00 Examples of renormalization (2) Bernard Derrida 21 Jan 2019 Examples of renormalization Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 Jan 2019 09:30 - 11:00
Seminar 11:15 - 12:30 How to study the interfaces of a critical planar system ? Hugo Duminil-Copin 21 Jan 2019 Examples of renormalization Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 Jan 2019 11:15 - 12:30
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
Seminar 11:15 - 12:30 Introducing 7 data challenges 2019 (1) Stéphane Mallat 23 Jan 2019 Deep neural network learning Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 23 Jan 2019 11:15 - 12:30
Seminar 11:30 - 12:30 Semantics of probabilistic functional programs in the light of linear logic Christine Tasson 23 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Jan 2019 11:30 - 12:30
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 16:30 - 17:30 Old and new porous carbons Clément Sanchez 23 Jan 2019 Porous materials : the miracle of holes Salle 5, Site Marcelin Berthelot 23 Jan 2019 16:30 - 17:30
Seminar 11:15 - 12:45 Dissipative boundary conditions and entropic solutions in perfect plasticity Jean-François Babadjian 25 Jan 2019 Applied mathematics Salle 5, Site Marcelin Berthelot 25 Jan 2019 11:15 - 12:45
Lecture 09:30 - 11:00 Examples of renormalization (3) Bernard Derrida 28 Jan 2019 Examples of renormalization Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 Jan 2019 09:30 - 11:00
Seminar 11:15 - 12:30 The density matrix renormalization group (DMRG) Ulrich Schollwöck 28 Jan 2019 Examples of renormalization Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 Jan 2019 11:15 - 12:30