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 Reset 3221 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(2) Areas Mathematics and computer sciences (1780) (-) Mathematics and computer sciences (1780) Physics and chemistry (1441) (-) Physics and chemistry (1441) Earth and space sciences (536) Earth and space sciences (536) Life sciences (1532) Life sciences (1532) History and archeology (3786) History and archeology (3786) Letters, arts, language, philosophy (2409) Letters, arts, language, philosophy (2409) Social sciences (1353) Social sciences (1353) Event type Event type Lecture (1557) Lecture (1557) Seminar (1253) Seminar (1253) Opening lecture (42) Opening lecture (42) Closing lecture (2) Closing lecture (2) Guest lecturer (326) Guest lecturer (326) Special events (41) 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 21 Nov 2018 Lecture 10:00 - 11:00 Homogeneous heterogeneous catalysts : from molecule to solid (II) Marc Fontecave 21 Nov 2018 Heterogeneous catalysis and small molecule activation (II) Salle 2, Site Marcelin Berthelot 21 Nov 2018 10:00 - 11:00 Seminar 11:00 - 12:00 Artificial photosynthesis : a molecular approach to solar fuel production Vincent Artero 21 Nov 2018 Heterogeneous catalysis and small molecule activation (II) Salle 2, Site Marcelin Berthelot 21 Nov 2018 11:00 - 12:00 Lecture 11:30 - 12:30 Polymorphism on all levels ! From the F system to calculating constructions Xavier Leroy 21 Nov 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Nov 2018 11:30 - 12:30 23 Nov 2018 Lecture 09:00 - 11:00 HJB, MFG and others (3) Pierre-Louis Lions 23 Nov 2018 HJB, MFG and others Salle 5, Site Marcelin Berthelot 23 Nov 2018 09:00 - 11:00 Lecture 10:00 - 11:00 The impossibility of consensus Rachid Guerraoui 23 Nov 2018 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Nov 2018 10:00 - 11:00 Seminar 11:00 - 12:00 Distributed Computing and Combinatorial Topology Petr Kuznetsov 23 Nov 2018 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Nov 2018 11:00 - 12:00 Seminar 11:15 - 12:45 Mini-lecture by Annalisa Buffa (at Jussieu) Pierre-Louis Lions 23 Nov 2018 Applied mathematics Salle du séminaire du Laboratoire J-L Lions, barre 15-16, 3ème étage, salle 09 (15-16-309) Sorbonne Université, Campus Jussieu 4 place Jussieu, Paris 5ème 23 Nov 2018 11:15 - 12:45 28 Nov 2018 Lecture 10:00 - 11:00 Weapons of mass construction : inductive types and inductive predicates Xavier Leroy 28 Nov 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 Nov 2018 10:00 - 11:00 Seminar 11:30 - 12:30 Dependent types : a whole program ! Pierre-Évariste Dagand 28 Nov 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 Nov 2018 11:30 - 12:30 30 Nov 2018 Lecture 09:00 - 11:00 HJB, MFG and others (4) Pierre-Louis Lions 30 Nov 2018 HJB, MFG and others Salle 5, Site Marcelin Berthelot 30 Nov 2018 09:00 - 11:00 Seminar 11:15 - 12:45 A priori and a posteriori error estimates localized under minimal regularity Martin Vohralik 30 Nov 2018 Applied mathematics Salle 5, Site Marcelin Berthelot 30 Nov 2018 11:15 - 12:45 5 Dec 2018 Lecture 10:00 - 11:00 Solid catalysts with isolated metal sites : a bridge between homogeneous and heterogeneous catalysis (I) Marc Fontecave 05 Dec 2018 Heterogeneous catalysis and small molecule activation (II) Salle 2, Site Marcelin Berthelot 05 Dec 2018 10:00 - 11:00 Lecture 10:00 - 11:00 A door must be opened or closed ! Classical logic, continuations, control operators Xavier Leroy 05 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 05 Dec 2018 10:00 - 11:00 Seminar 11:00 - 12:00 Electrode materials " isolated sites " defined on a molecular scale forCO2 electroreduction Victor Mougel 05 Dec 2018 Heterogeneous catalysis and small molecule activation (II) Salle 2, Site Marcelin Berthelot 05 Dec 2018 11:00 - 12:00 Seminar 11:30 - 12:30 Computer-aided mathematics Assia Mahboubi 05 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 05 Dec 2018 11:30 - 12:30 7 Dec 2018 Lecture 09:00 - 11:00 HJB, MFG and others (5) Pierre-Louis Lions 07 Dec 2018 HJB, MFG and others Salle 5, Site Marcelin Berthelot 07 Dec 2018 09:00 - 11:00 Lecture 10:00 - 11:00 The consensus universality theorem Rachid Guerraoui 07 Dec 2018 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 Dec 2018 10:00 - 11:00 Seminar 11:00 - 12:00 The Consensus Hierarchy Vassos Hadzilacos 07 Dec 2018 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 Dec 2018 11:00 - 12:00 Seminar 11:15 - 12:45 Approximation of probability measures in convex order by projections for the Wasserstein distance Aurélien Alfonsi 07 Dec 2018 Applied mathematics Salle 5, Site Marcelin Berthelot 07 Dec 2018 11:15 - 12:45 12 Dec 2018 Lecture 10:00 - 11:00 Can we change the world ? Imperative programming, monadic effects, algebraic effects Xavier Leroy 12 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2018 10:00 - 11:00 Seminar 11:30 - 12:30 Programming with Coq : recursion and dependent filtering Matthieu Sozeau 12 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2018 11:30 - 12:30 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 Seminar 17:30 - 18:30 Coq : practical aspects of type theory Yves Bertot et Pierre Castéran 13 Dec 2018 Where are computers headed ? Inria Bordeaux 13 Dec 2018 17:30 - 18: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 Seminar 11:15 - 12:45 Quasi-critical reflection of internal waves in a stratified fluid Anne-Laure Dalibard 14 Dec 2018 Applied mathematics Salle 5, Site Marcelin Berthelot 14 Dec 2018 11:15 - 12:45 19 Dec 2018 Lecture 10:00 - 11:00 Solid catalysts with isolated metal sites : a bridge between homogeneous and heterogeneous catalysis (II) Marc Fontecave 19 Dec 2018 Heterogeneous catalysis and small molecule activation (II) Salle 2, Site Marcelin Berthelot 19 Dec 2018 10: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 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 Pagination First page Previous page … Page 65 Page 66 Page 67 Page 68 Current page 69 Page 70 Page 71 Page 72 Page 73 … Next page Last page
Lecture 10:00 - 11:00 Homogeneous heterogeneous catalysts : from molecule to solid (II) Marc Fontecave 21 Nov 2018 Heterogeneous catalysis and small molecule activation (II) Salle 2, Site Marcelin Berthelot 21 Nov 2018 10:00 - 11:00
Seminar 11:00 - 12:00 Artificial photosynthesis : a molecular approach to solar fuel production Vincent Artero 21 Nov 2018 Heterogeneous catalysis and small molecule activation (II) Salle 2, Site Marcelin Berthelot 21 Nov 2018 11:00 - 12:00
Lecture 11:30 - 12:30 Polymorphism on all levels ! From the F system to calculating constructions Xavier Leroy 21 Nov 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Nov 2018 11:30 - 12:30
Lecture 09:00 - 11:00 HJB, MFG and others (3) Pierre-Louis Lions 23 Nov 2018 HJB, MFG and others Salle 5, Site Marcelin Berthelot 23 Nov 2018 09:00 - 11:00
Lecture 10:00 - 11:00 The impossibility of consensus Rachid Guerraoui 23 Nov 2018 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Nov 2018 10:00 - 11:00
Seminar 11:00 - 12:00 Distributed Computing and Combinatorial Topology Petr Kuznetsov 23 Nov 2018 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Nov 2018 11:00 - 12:00
Seminar 11:15 - 12:45 Mini-lecture by Annalisa Buffa (at Jussieu) Pierre-Louis Lions 23 Nov 2018 Applied mathematics Salle du séminaire du Laboratoire J-L Lions, barre 15-16, 3ème étage, salle 09 (15-16-309) Sorbonne Université, Campus Jussieu 4 place Jussieu, Paris 5ème 23 Nov 2018 11:15 - 12:45
Lecture 10:00 - 11:00 Weapons of mass construction : inductive types and inductive predicates Xavier Leroy 28 Nov 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 Nov 2018 10:00 - 11:00
Seminar 11:30 - 12:30 Dependent types : a whole program ! Pierre-Évariste Dagand 28 Nov 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 Nov 2018 11:30 - 12:30
Lecture 09:00 - 11:00 HJB, MFG and others (4) Pierre-Louis Lions 30 Nov 2018 HJB, MFG and others Salle 5, Site Marcelin Berthelot 30 Nov 2018 09:00 - 11:00
Seminar 11:15 - 12:45 A priori and a posteriori error estimates localized under minimal regularity Martin Vohralik 30 Nov 2018 Applied mathematics Salle 5, Site Marcelin Berthelot 30 Nov 2018 11:15 - 12:45
Lecture 10:00 - 11:00 Solid catalysts with isolated metal sites : a bridge between homogeneous and heterogeneous catalysis (I) Marc Fontecave 05 Dec 2018 Heterogeneous catalysis and small molecule activation (II) Salle 2, Site Marcelin Berthelot 05 Dec 2018 10:00 - 11:00
Lecture 10:00 - 11:00 A door must be opened or closed ! Classical logic, continuations, control operators Xavier Leroy 05 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 05 Dec 2018 10:00 - 11:00
Seminar 11:00 - 12:00 Electrode materials " isolated sites " defined on a molecular scale forCO2 electroreduction Victor Mougel 05 Dec 2018 Heterogeneous catalysis and small molecule activation (II) Salle 2, Site Marcelin Berthelot 05 Dec 2018 11:00 - 12:00
Seminar 11:30 - 12:30 Computer-aided mathematics Assia Mahboubi 05 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 05 Dec 2018 11:30 - 12:30
Lecture 09:00 - 11:00 HJB, MFG and others (5) Pierre-Louis Lions 07 Dec 2018 HJB, MFG and others Salle 5, Site Marcelin Berthelot 07 Dec 2018 09:00 - 11:00
Lecture 10:00 - 11:00 The consensus universality theorem Rachid Guerraoui 07 Dec 2018 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 Dec 2018 10:00 - 11:00
Seminar 11:00 - 12:00 The Consensus Hierarchy Vassos Hadzilacos 07 Dec 2018 Distributed algorithms Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 Dec 2018 11:00 - 12:00
Seminar 11:15 - 12:45 Approximation of probability measures in convex order by projections for the Wasserstein distance Aurélien Alfonsi 07 Dec 2018 Applied mathematics Salle 5, Site Marcelin Berthelot 07 Dec 2018 11:15 - 12:45
Lecture 10:00 - 11:00 Can we change the world ? Imperative programming, monadic effects, algebraic effects Xavier Leroy 12 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2018 10:00 - 11:00
Seminar 11:30 - 12:30 Programming with Coq : recursion and dependent filtering Matthieu Sozeau 12 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2018 11:30 - 12:30
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
Seminar 17:30 - 18:30 Coq : practical aspects of type theory Yves Bertot et Pierre Castéran 13 Dec 2018 Where are computers headed ? Inria Bordeaux 13 Dec 2018 17:30 - 18: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
Seminar 11:15 - 12:45 Quasi-critical reflection of internal waves in a stratified fluid Anne-Laure Dalibard 14 Dec 2018 Applied mathematics Salle 5, Site Marcelin Berthelot 14 Dec 2018 11:15 - 12:45
Lecture 10:00 - 11:00 Solid catalysts with isolated metal sites : a bridge between homogeneous and heterogeneous catalysis (II) Marc Fontecave 19 Dec 2018 Heterogeneous catalysis and small molecule activation (II) Salle 2, Site Marcelin Berthelot 19 Dec 2018 10: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
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