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 16 Mar 2016 Lecture 10:00 - 11:00 Biotechnologies for energy storage: microbes and electrodes Marc Fontecave 16 Mar 2016 From biological chemistry to biotechnology : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 10:00 - 11:00 Seminar 11:00 - 12:00 Being connected : a common way of life for micro-organisms ? Alain Bergel 16 Mar 2016 From biological chemistry to biotechnologies : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 11:00 - 12:00 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 10:00 - 11:00 Biotechnologies for energy storage: bioelectrodes and bioelectrochemical devices Marc Fontecave 23 Mar 2016 From biological chemistry to biotechnology : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 10:00 - 11:00 Seminar 11:00 - 12:00 Biocatalysts in fuel cells : why, how ? Elizabeth Lojou 23 Mar 2016 From biological chemistry to biotechnologies : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 11:00 - 12:00 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 10:00 - 11:00 Enzyme activation: when chemistry replaces biology Marc Fontecave 30 Mar 2016 From biological chemistry to biotechnology : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 10:00 - 11: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 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 10:00 - 11:00 Biocompatible chemicals: another form of metabolic engineering Marc Fontecave 06 Apr 2016 From biological chemistry to biotechnology : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 2016 10:00 - 11:00 Seminar 11:00 - 12:00 Detect pathogenic bacteria by luring their metabolism Boris Vauzeilles 06 Apr 2016 From biological chemistry to biotechnologies : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 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 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 Biotechnologies for energy: microbes and hydrocarbons Marc Fontecave 13 Apr 2016 From biological chemistry to biotechnology : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Apr 2016 10:00 - 11: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 Seminar 11:00 - 12:00 Global Bioenergies : from carbohydrates to hydrocarbons Marc Delcourt 13 Apr 2016 From biological chemistry to biotechnologies : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Apr 2016 11:00 - 12:00 Seminar 16:00 - 17:00 Towards safe and expressive automation : combining automatic and interactive proofs Chantal Keller 13 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Apr 2016 16:00 - 17: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 Pagination First page Previous page … Page 51 Page 52 Page 53 Page 54 Current page 55 Page 56 Page 57 Page 58 Page 59 … Next page Last page
Lecture 10:00 - 11:00 Biotechnologies for energy storage: microbes and electrodes Marc Fontecave 16 Mar 2016 From biological chemistry to biotechnology : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 10:00 - 11:00
Seminar 11:00 - 12:00 Being connected : a common way of life for micro-organisms ? Alain Bergel 16 Mar 2016 From biological chemistry to biotechnologies : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 11:00 - 12:00
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 10:00 - 11:00 Biotechnologies for energy storage: bioelectrodes and bioelectrochemical devices Marc Fontecave 23 Mar 2016 From biological chemistry to biotechnology : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 10:00 - 11:00
Seminar 11:00 - 12:00 Biocatalysts in fuel cells : why, how ? Elizabeth Lojou 23 Mar 2016 From biological chemistry to biotechnologies : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 11:00 - 12:00
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 10:00 - 11:00 Enzyme activation: when chemistry replaces biology Marc Fontecave 30 Mar 2016 From biological chemistry to biotechnology : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 10:00 - 11: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 10:00 - 11:00 Biocompatible chemicals: another form of metabolic engineering Marc Fontecave 06 Apr 2016 From biological chemistry to biotechnology : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 2016 10:00 - 11:00
Seminar 11:00 - 12:00 Detect pathogenic bacteria by luring their metabolism Boris Vauzeilles 06 Apr 2016 From biological chemistry to biotechnologies : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 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
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 Biotechnologies for energy: microbes and hydrocarbons Marc Fontecave 13 Apr 2016 From biological chemistry to biotechnology : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Apr 2016 10:00 - 11: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
Seminar 11:00 - 12:00 Global Bioenergies : from carbohydrates to hydrocarbons Marc Delcourt 13 Apr 2016 From biological chemistry to biotechnologies : research and applications (II) Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Apr 2016 11:00 - 12:00
Seminar 16:00 - 17:00 Towards safe and expressive automation : combining automatic and interactive proofs Chantal Keller 13 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Apr 2016 16:00 - 17: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