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 1781 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 (3800) Letters, arts, language, philosophy (2411) Social sciences (1355) Event type Event type Lecture (909) Seminar (656) Opening lecture (22) Guest lecturer (190) Special events (4) Active filters Mathematics and computer sciences Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 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 Seminar 11:15 - 12:45 Dynamics of a gas of hard spheres : fluctuations and large deviations Thierry Bodineau 22 Nov 2019 Applied mathematics Salle 5, Site Marcelin Berthelot 22 Nov 2019 11:15 - 12:45 Seminar 14:00 - 15:00 From Molecules to Systems: the problem of knowledge representation in molecular biology Jean Krivine 22 Nov 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 22 Nov 2019 14:00 - 15: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 Seminar 14:00 - 15:00 Easy and Hard in the Origin of Life Eric Smith 29 Nov 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 29 Nov 2019 14:00 - 15: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 Seminar 11:15 - 12:15 Lambda, the Ultimate Teaching Assistant (Agda Version) Philip Wadler 12 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2019 11:15 - 12:15 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 Seminar 11:15 - 12:45 Scaling Limits and Homogenization of Hamilton-Jacobi Equations with Stochastic Forcing Benjamin Seeger 13 Dec 2019 Applied mathematics Salle 5, Site Marcelin Berthelot 13 Dec 2019 11:15 - 12:45 Seminar 14:00 - 15:00 Cells as Cognitive Creatures Yarden Katz 13 Dec 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Dec 2019 14:00 - 15: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 Seminar 11:15 - 12:15 Computer arithmetic and its formalization Sylvie Boldo 19 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2019 11:15 - 12:15 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 Seminar 11:15 - 12:15 Formal semantics for JavaScript : the challenges of scaling up Alan Schmitt 09 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2020 11:15 - 12:15 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 Seminar 11:15 - 12:45 Notes on first eigenvalues and eigenfunctions Pierre-Louis Lions 10 Jan 2020 Applied mathematics Salle 5, Site Marcelin Berthelot 10 Jan 2020 11:15 - 12:45 Seminar 14:00 - 15:00 Thermodynamics of Open Chemical Reaction Networks: Theory and applications Massimiliano Esposito 10 Jan 2020 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Jan 2020 14:00 - 15: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 Seminar 11:15 - 12:15 Coq separation logic : theory and practice Arthur Charguéraud 16 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2020 11:15 - 12:15 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 Seminar 11:15 - 12:45 Optimal transport and planning problem in a stochastic framework in finite state space Charles Bertucci 17 Jan 2020 Applied mathematics Salle 5, Site Marcelin Berthelot 17 Jan 2020 11:15 - 12:45 Seminar 14:00 - 15:00 Prediction in Immune Repertoires Aleksandra Walczak 17 Jan 2020 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 Jan 2020 14:00 - 15:00 Pagination First page Previous page … Page 38 Page 39 Page 40 Page 41 Current page 42 Page 43 Page 44 Page 45 Page 46 … Next page Last page
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
Seminar 11:15 - 12:45 Dynamics of a gas of hard spheres : fluctuations and large deviations Thierry Bodineau 22 Nov 2019 Applied mathematics Salle 5, Site Marcelin Berthelot 22 Nov 2019 11:15 - 12:45
Seminar 14:00 - 15:00 From Molecules to Systems: the problem of knowledge representation in molecular biology Jean Krivine 22 Nov 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 22 Nov 2019 14:00 - 15: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
Seminar 14:00 - 15:00 Easy and Hard in the Origin of Life Eric Smith 29 Nov 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 29 Nov 2019 14:00 - 15: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
Seminar 11:15 - 12:15 Lambda, the Ultimate Teaching Assistant (Agda Version) Philip Wadler 12 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2019 11:15 - 12:15
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
Seminar 11:15 - 12:45 Scaling Limits and Homogenization of Hamilton-Jacobi Equations with Stochastic Forcing Benjamin Seeger 13 Dec 2019 Applied mathematics Salle 5, Site Marcelin Berthelot 13 Dec 2019 11:15 - 12:45
Seminar 14:00 - 15:00 Cells as Cognitive Creatures Yarden Katz 13 Dec 2019 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Dec 2019 14:00 - 15: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
Seminar 11:15 - 12:15 Computer arithmetic and its formalization Sylvie Boldo 19 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2019 11:15 - 12:15
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
Seminar 11:15 - 12:15 Formal semantics for JavaScript : the challenges of scaling up Alan Schmitt 09 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2020 11:15 - 12:15
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
Seminar 11:15 - 12:45 Notes on first eigenvalues and eigenfunctions Pierre-Louis Lions 10 Jan 2020 Applied mathematics Salle 5, Site Marcelin Berthelot 10 Jan 2020 11:15 - 12:45
Seminar 14:00 - 15:00 Thermodynamics of Open Chemical Reaction Networks: Theory and applications Massimiliano Esposito 10 Jan 2020 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Jan 2020 14:00 - 15: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
Seminar 11:15 - 12:15 Coq separation logic : theory and practice Arthur Charguéraud 16 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2020 11:15 - 12:15
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
Seminar 11:15 - 12:45 Optimal transport and planning problem in a stochastic framework in finite state space Charles Bertucci 17 Jan 2020 Applied mathematics Salle 5, Site Marcelin Berthelot 17 Jan 2020 11:15 - 12:45
Seminar 14:00 - 15:00 Prediction in Immune Repertoires Aleksandra Walczak 17 Jan 2020 Information biology - a dialogue between informatics and biology Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 Jan 2020 14:00 - 15:00