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 16 May 2019 Lecture 10:00 - 12:00 Dimension 3 : Clemens-Griffiths and Artin-Mumford invariants Claire Voisin 16 May 2019 Birational invariants Salle 5, Site Marcelin Berthelot 16 May 2019 10:00 - 12:00 23 May 2019 Lecture 10:00 - 12:00 Unbranched cohomology Claire Voisin 23 May 2019 Birational invariants Salle 5, Site Marcelin Berthelot 23 May 2019 10:00 - 12:00 6 Jun 2019 Lecture 10:00 - 11:00 Diagonal decomposition Claire Voisin 06 Jun 2019 Birational invariants Salle 5, Site Marcelin Berthelot 06 Jun 2019 10:00 - 11:00 13 Jun 2019 Lecture 10:00 - 12:00 Specialization and applications Claire Voisin 13 Jun 2019 Birational invariants Salle 5, Site Marcelin Berthelot 13 Jun 2019 10:00 - 12:00 20 Jun 2019 Lecture 10:00 - 12:00 Diagonal decomposition and Abel-Jacobi application Claire Voisin 20 Jun 2019 Birational invariants Salle 5, Site Marcelin Berthelot 20 Jun 2019 10:00 - 12:00 29 Oct 2019 Lecture 14:00 - 15:30 Representing biological information : statistical aspects of mapping sequences to structures ; the case of RNA Walter Fontana 29 Oct 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 29 Oct 2019 14:00 - 15:30 5 Nov 2019 Lecture 14:00 - 15:30 Inheriting biological information : transmission limits Walter Fontana 05 Nov 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 Nov 2019 14:00 - 15:30 8 Nov 2019 Lecture 09:00 - 11:00 HJB, MFG and others (continued) (1) Pierre-Louis Lions 08 Nov 2019 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 08 Nov 2019 09:00 - 11:00 12 Nov 2019 Lecture 14:00 - 15:30 Modeling biological information processing I. Tools for reasoning about molecular interaction systems : Introduction Walter Fontana 12 Nov 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Nov 2019 14:00 - 15:30 15 Nov 2019 Lecture 09:00 - 11:00 HJB, MFG and others (continued) (2) Pierre-Louis Lions 15 Nov 2019 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 15 Nov 2019 09:00 - 11:00 19 Nov 2019 Lecture 14:00 - 15:30 Modeling biological information processing II. Tools for reasoning about molecular interaction systems : use cases Walter Fontana 19 Nov 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Nov 2019 14:00 - 15:30 22 Nov 2019 Lecture 09:00 - 11:00 HJB, MFG and others (continued) (3) Pierre-Louis Lions 22 Nov 2019 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 22 Nov 2019 09:00 - 11:00 26 Nov 2019 Lecture 14:00 - 15:30 Modeling biological information processing III. Tools for reasoning about molecular interaction systems : The quest for useful information Walter Fontana 26 Nov 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 Nov 2019 14:00 - 15:30 28 Nov 2019 Lecture 09:30 - 11:00 Expressions and commands : the semantics of an imperative language Xavier Leroy 28 Nov 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 Nov 2019 09:30 - 11:00 29 Nov 2019 Lecture 09:00 - 11:00 HJB, MFG and others (continued) (4) Pierre-Louis Lions 29 Nov 2019 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 29 Nov 2019 09:00 - 11:00 3 Dec 2019 Lecture 14:00 - 15:30 Modeling biological information processing IV. Combinatorics assembly systems in molecular signalling : combinatorics scaffolding Walter Fontana 03 Dec 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 Dec 2019 14:00 - 15:30 6 Dec 2019 Lecture 09:00 - 11:00 HJB, MFG and others (continued) (5) Pierre-Louis Lions 06 Dec 2019 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 06 Dec 2019 09:00 - 11:00 10 Dec 2019 Lecture 14:00 - 15:30 Modeling biological information processing V. Combinatorics assembly systems in molecular signalling : statistical mechanics Walter Fontana 10 Dec 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Dec 2019 14:00 - 15:30 12 Dec 2019 Lecture 09:30 - 11:00 Traduttore, traditore : formal verification of a compiler Xavier Leroy 12 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2019 09:30 - 11:00 13 Dec 2019 Lecture 09:00 - 11:00 HJB, MFG and others (continued) (6) Pierre-Louis Lions 13 Dec 2019 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 13 Dec 2019 09:00 - 11:00 17 Dec 2019 Lecture 14:00 - 15:30 The acquisition of biological information : learning in molecular systems ? Walter Fontana 17 Dec 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 Dec 2019 14:00 - 15:30 19 Dec 2019 Lecture 09:30 - 11:00 Compile better : optimizations, static analysis and verification Xavier Leroy 19 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2019 09:30 - 11:00 20 Dec 2019 Lecture 09:00 - 11:00 HJB, MFG and others (continued) (7) Pierre-Louis Lions 20 Dec 2019 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 20 Dec 2019 09:00 - 11:00 9 Jan 2020 Lecture 09:30 - 11:00 Logics for reasoning about programs Xavier Leroy 09 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2020 09:30 - 11:00 10 Jan 2020 Lecture 09:00 - 11:00 HJB, MFG and others (continued) (8) Pierre-Louis Lions 10 Jan 2020 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 10 Jan 2020 09:00 - 11:00 16 Jan 2020 Lecture 09:30 - 11:00 Abstract art : static analysis through abstract interpretation Xavier Leroy 16 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2020 09:30 - 11:00 17 Jan 2020 Lecture 09:00 - 11:00 HJB, MFG and others (continued) (9) Pierre-Louis Lions 17 Jan 2020 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 17 Jan 2020 09:00 - 11:00 22 Jan 2020 Lecture 09:30 - 11:00 Architectures and applications of convolutional neural networks Stéphane Mallat 22 Jan 2020 Multiscale models and convolutional neural networks Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 22 Jan 2020 09:30 - 11:00 29 Jan 2020 Lecture 09:30 - 11:00 The architecture of complexity Stéphane Mallat 29 Jan 2020 Multiscale models and convolutional neural networks Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 29 Jan 2020 09:30 - 11:00 30 Jan 2020 Lecture 09:30 - 11:00 Eternity is a long time : divergence, domain theory, coinductive approaches Xavier Leroy 30 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Jan 2020 09:30 - 11:00 Pagination First page Previous page … Page 18 Page 19 Page 20 Page 21 Current page 22 Page 23 Page 24 Page 25 Page 26 … Next page Last page
Lecture 10:00 - 12:00 Dimension 3 : Clemens-Griffiths and Artin-Mumford invariants Claire Voisin 16 May 2019 Birational invariants Salle 5, Site Marcelin Berthelot 16 May 2019 10:00 - 12:00
Lecture 10:00 - 12:00 Unbranched cohomology Claire Voisin 23 May 2019 Birational invariants Salle 5, Site Marcelin Berthelot 23 May 2019 10:00 - 12:00
Lecture 10:00 - 11:00 Diagonal decomposition Claire Voisin 06 Jun 2019 Birational invariants Salle 5, Site Marcelin Berthelot 06 Jun 2019 10:00 - 11:00
Lecture 10:00 - 12:00 Specialization and applications Claire Voisin 13 Jun 2019 Birational invariants Salle 5, Site Marcelin Berthelot 13 Jun 2019 10:00 - 12:00
Lecture 10:00 - 12:00 Diagonal decomposition and Abel-Jacobi application Claire Voisin 20 Jun 2019 Birational invariants Salle 5, Site Marcelin Berthelot 20 Jun 2019 10:00 - 12:00
Lecture 14:00 - 15:30 Representing biological information : statistical aspects of mapping sequences to structures ; the case of RNA Walter Fontana 29 Oct 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 29 Oct 2019 14:00 - 15:30
Lecture 14:00 - 15:30 Inheriting biological information : transmission limits Walter Fontana 05 Nov 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 Nov 2019 14:00 - 15:30
Lecture 09:00 - 11:00 HJB, MFG and others (continued) (1) Pierre-Louis Lions 08 Nov 2019 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 08 Nov 2019 09:00 - 11:00
Lecture 14:00 - 15:30 Modeling biological information processing I. Tools for reasoning about molecular interaction systems : Introduction Walter Fontana 12 Nov 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Nov 2019 14:00 - 15:30
Lecture 09:00 - 11:00 HJB, MFG and others (continued) (2) Pierre-Louis Lions 15 Nov 2019 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 15 Nov 2019 09:00 - 11:00
Lecture 14:00 - 15:30 Modeling biological information processing II. Tools for reasoning about molecular interaction systems : use cases Walter Fontana 19 Nov 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Nov 2019 14:00 - 15:30
Lecture 09:00 - 11:00 HJB, MFG and others (continued) (3) Pierre-Louis Lions 22 Nov 2019 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 22 Nov 2019 09:00 - 11:00
Lecture 14:00 - 15:30 Modeling biological information processing III. Tools for reasoning about molecular interaction systems : The quest for useful information Walter Fontana 26 Nov 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 Nov 2019 14:00 - 15:30
Lecture 09:30 - 11:00 Expressions and commands : the semantics of an imperative language Xavier Leroy 28 Nov 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 Nov 2019 09:30 - 11:00
Lecture 09:00 - 11:00 HJB, MFG and others (continued) (4) Pierre-Louis Lions 29 Nov 2019 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 29 Nov 2019 09:00 - 11:00
Lecture 14:00 - 15:30 Modeling biological information processing IV. Combinatorics assembly systems in molecular signalling : combinatorics scaffolding Walter Fontana 03 Dec 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 Dec 2019 14:00 - 15:30
Lecture 09:00 - 11:00 HJB, MFG and others (continued) (5) Pierre-Louis Lions 06 Dec 2019 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 06 Dec 2019 09:00 - 11:00
Lecture 14:00 - 15:30 Modeling biological information processing V. Combinatorics assembly systems in molecular signalling : statistical mechanics Walter Fontana 10 Dec 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Dec 2019 14:00 - 15:30
Lecture 09:30 - 11:00 Traduttore, traditore : formal verification of a compiler Xavier Leroy 12 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2019 09:30 - 11:00
Lecture 09:00 - 11:00 HJB, MFG and others (continued) (6) Pierre-Louis Lions 13 Dec 2019 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 13 Dec 2019 09:00 - 11:00
Lecture 14:00 - 15:30 The acquisition of biological information : learning in molecular systems ? Walter Fontana 17 Dec 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 Dec 2019 14:00 - 15:30
Lecture 09:30 - 11:00 Compile better : optimizations, static analysis and verification Xavier Leroy 19 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2019 09:30 - 11:00
Lecture 09:00 - 11:00 HJB, MFG and others (continued) (7) Pierre-Louis Lions 20 Dec 2019 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 20 Dec 2019 09:00 - 11:00
Lecture 09:30 - 11:00 Logics for reasoning about programs Xavier Leroy 09 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2020 09:30 - 11:00
Lecture 09:00 - 11:00 HJB, MFG and others (continued) (8) Pierre-Louis Lions 10 Jan 2020 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 10 Jan 2020 09:00 - 11:00
Lecture 09:30 - 11:00 Abstract art : static analysis through abstract interpretation Xavier Leroy 16 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2020 09:30 - 11:00
Lecture 09:00 - 11:00 HJB, MFG and others (continued) (9) Pierre-Louis Lions 17 Jan 2020 HJB, MFG and others (continued) Salle 5, Site Marcelin Berthelot 17 Jan 2020 09:00 - 11:00
Lecture 09:30 - 11:00 Architectures and applications of convolutional neural networks Stéphane Mallat 22 Jan 2020 Multiscale models and convolutional neural networks Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 22 Jan 2020 09:30 - 11:00
Lecture 09:30 - 11:00 The architecture of complexity Stéphane Mallat 29 Jan 2020 Multiscale models and convolutional neural networks Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 29 Jan 2020 09:30 - 11:00
Lecture 09:30 - 11:00 Eternity is a long time : divergence, domain theory, coinductive approaches Xavier Leroy 30 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Jan 2020 09:30 - 11:00