Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 25650 results Filters Content type Content type (-) Lessons (24248) News (1811) (-) People (1402) Editions (369) Chair (360) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons People Event Matthieu Rey Violence along the Euphrates Symposium 23 Jun 2022 09:30 to 10:00 Event Guillaume Baudart Reactive Probabilistic Programming Symposium Abstract Synchronous modeling is at the heart of programming languages like Lustre, Esterel, or SCADE used routinely for implementing safety critical control software, e.g., fly-by-wire and engine control in planes. However, to date these languages have … 30 Jun 2022 14:45 to 15:30 Event Francis Bach Formal Guarantees in Machine Learning, Statistics and Optimization Symposium Abstract This talk reviews formal guarantees in classical supervised machine learning, as well as a posteriori statistical guarantees, a priori statistical guarantees, and guarantees for optimization. Documents and media Download … 30 Jun 2022 14:00 to 14:45 Event Jan-Willem van de Meent Thinking Compositionally about Inference Symposium Abstract Probabilistic programming draws on ideas from artificial intelligence, statistics, and programming languages. It attempts to combine these ideas in a manner that builds on their respective strengths. In this talk, I will discuss how we can … 30 Jun 2022 11:15 to 12:00 Event Christine Tasson Denotational Verification of Probabilistic Programming Symposium 30 Jun 2022 10:30 to 11:15 Event Andrew Gelman Social Science: From Prediction to Modeling to Understanding Symposium 29 Jun 2022 18:00 to 19:00 Event Xavier Rival Towards Verified Stochastic Variational Inference for Probabilistic Programs Symposium Abstract Probabilistic programming is the idea of writing models from statistics and machine learning using program notations and reasoning about these models using generic inference engines. Recently its combination with deep learning has been explored … 29 Jun 2022 16:45 to 17:30 Event Atılım Güneş Baydin Probabilistic and Differentiable Programming in Scientific Simulators Symposium Abstract Probabilistic and differentiable programming paradigms are being adopted by the scientific community, promising major advances in simulation pipelines, data analysis, and design optimization of experiments. This talk will cover ongoing work in … 29 Jun 2022 16:00 to 16:45 Event Maria Gorinova Program Analysis of Probabilistic Programs Symposium 29 Jun 2022 14:45 to 15:30 Event Joseph Tassarotti Formally Verified Compilation of Probabilistic Programs Symposium Abstract The subtle semantics of probabilistic programs makes it difficult to correctly compile them. Moreover, because many inference algorithms for probabilistic programs are approximate and randomized, detecting miscompilation bugs is challenging. This … 29 Jun 2022 14:00 to 14:45 Event Nicolas Chopin Probabilistic Programming for Sequential Monte Carlo? Symposium Abstract In this talk, I give a brief and gentle introduction to Sequential Monte Carlo methods (with a particular focus on sequential inference in state-space models), I discuss the potential connections with probabilistic programming (from the … 29 Jun 2022 11:15 to 12:00 Event Gilles Barthe Relational Proofs of Probabilistic Programs and Applications to Cryptography Symposium 29 Jun 2022 10:00 to 11:15 Event Andrew D. Gordon Why Statistical Thinking is Transforming Programming Language Research Symposium Abstract H. G. Wells wrote: "Statistical thinking will one day be as necessary for efficient citizenship as the ability to read and write!" The main thread of this talk argues that statistical thinking is transforming programming language research. It is … 29 Jun 2022 09:15 to 10:00 Event Adeline Schebesch Upper Paleolithic anthropomorphic figurines - their gestures and attitudes. An experimental study Symposium 17 Jun 2022 17:15 to 17:45 Event Carole Fritz The human figure in Paleolithic art: the image of a world Symposium 17 Jun 2022 16:45 to 17:15 Event Noël Coye At the crossroads of the 19th and 20th centuries : a parietal revolution ? Symposium 17 Jun 2022 16:15 to 16:45 Event Alain Beyneix Past and present prehistorians and archaeologists in the photographic lens Symposium 17 Jun 2022 15:00 to 15:30 Event Claudine Cohen Fictions of origins. The literary imaginary of man - and woman - fossil (XIXe-XXIe siècle) Symposium 17 Jun 2022 14:30 to 15:00 Event Élisabeth Daynes In search of lost identities Symposium 17 Jun 2022 14:00 to 14:30 Event Paige Madison Hobbits and Wild Grandmothers of the Forest: Imagining Homo floresiensis Symposium 17 Jun 2022 11:45 to 12:15 Event Yoel Rak Pithecanthropus: A Complicated and Loaded Term Symposium 17 Jun 2022 11:15 to 11:45 Event Matthew Skinner The Complexity of Reconstructing Species Lifeways on Each Side of the Australopithecus to Homo Transition Symposium 17 Jun 2022 10:45 to 11:15 Event Nicolas Teyssandier Stereotypes and conditioned imagination in our perception of prehistoric humans Symposium 17 Jun 2022 09:30 to 10:00 Series Cellular memory throughout life Edith Heard, chair Epigenetics and Cellular Memory Symposium Neonatal wound healing zoomed © Fiona Watt Conference organized by Edith Heard, Epigenetics and Cellular Memory Chair. On the topic of cellular memory, the colloquium will address how cells, particularly adult stem cells, retain their identity and … 14 Jun 2021 Pagination First page « First Previous page ‹‹ … Page 277 Page 278 Page 279 Page 280 Page 281 Page 282 Page 283 Page 284 Page 285 … Next page ›› Last page Last »
Event Guillaume Baudart Reactive Probabilistic Programming Symposium Abstract Synchronous modeling is at the heart of programming languages like Lustre, Esterel, or SCADE used routinely for implementing safety critical control software, e.g., fly-by-wire and engine control in planes. However, to date these languages have … 30 Jun 2022 14:45 to 15:30
Event Francis Bach Formal Guarantees in Machine Learning, Statistics and Optimization Symposium Abstract This talk reviews formal guarantees in classical supervised machine learning, as well as a posteriori statistical guarantees, a priori statistical guarantees, and guarantees for optimization. Documents and media Download … 30 Jun 2022 14:00 to 14:45
Event Jan-Willem van de Meent Thinking Compositionally about Inference Symposium Abstract Probabilistic programming draws on ideas from artificial intelligence, statistics, and programming languages. It attempts to combine these ideas in a manner that builds on their respective strengths. In this talk, I will discuss how we can … 30 Jun 2022 11:15 to 12:00
Event Christine Tasson Denotational Verification of Probabilistic Programming Symposium 30 Jun 2022 10:30 to 11:15
Event Andrew Gelman Social Science: From Prediction to Modeling to Understanding Symposium 29 Jun 2022 18:00 to 19:00
Event Xavier Rival Towards Verified Stochastic Variational Inference for Probabilistic Programs Symposium Abstract Probabilistic programming is the idea of writing models from statistics and machine learning using program notations and reasoning about these models using generic inference engines. Recently its combination with deep learning has been explored … 29 Jun 2022 16:45 to 17:30
Event Atılım Güneş Baydin Probabilistic and Differentiable Programming in Scientific Simulators Symposium Abstract Probabilistic and differentiable programming paradigms are being adopted by the scientific community, promising major advances in simulation pipelines, data analysis, and design optimization of experiments. This talk will cover ongoing work in … 29 Jun 2022 16:00 to 16:45
Event Joseph Tassarotti Formally Verified Compilation of Probabilistic Programs Symposium Abstract The subtle semantics of probabilistic programs makes it difficult to correctly compile them. Moreover, because many inference algorithms for probabilistic programs are approximate and randomized, detecting miscompilation bugs is challenging. This … 29 Jun 2022 14:00 to 14:45
Event Nicolas Chopin Probabilistic Programming for Sequential Monte Carlo? Symposium Abstract In this talk, I give a brief and gentle introduction to Sequential Monte Carlo methods (with a particular focus on sequential inference in state-space models), I discuss the potential connections with probabilistic programming (from the … 29 Jun 2022 11:15 to 12:00
Event Gilles Barthe Relational Proofs of Probabilistic Programs and Applications to Cryptography Symposium 29 Jun 2022 10:00 to 11:15
Event Andrew D. Gordon Why Statistical Thinking is Transforming Programming Language Research Symposium Abstract H. G. Wells wrote: "Statistical thinking will one day be as necessary for efficient citizenship as the ability to read and write!" The main thread of this talk argues that statistical thinking is transforming programming language research. It is … 29 Jun 2022 09:15 to 10:00
Event Adeline Schebesch Upper Paleolithic anthropomorphic figurines - their gestures and attitudes. An experimental study Symposium 17 Jun 2022 17:15 to 17:45
Event Carole Fritz The human figure in Paleolithic art: the image of a world Symposium 17 Jun 2022 16:45 to 17:15
Event Noël Coye At the crossroads of the 19th and 20th centuries : a parietal revolution ? Symposium 17 Jun 2022 16:15 to 16:45
Event Alain Beyneix Past and present prehistorians and archaeologists in the photographic lens Symposium 17 Jun 2022 15:00 to 15:30
Event Claudine Cohen Fictions of origins. The literary imaginary of man - and woman - fossil (XIXe-XXIe siècle) Symposium 17 Jun 2022 14:30 to 15:00
Event Paige Madison Hobbits and Wild Grandmothers of the Forest: Imagining Homo floresiensis Symposium 17 Jun 2022 11:45 to 12:15
Event Matthew Skinner The Complexity of Reconstructing Species Lifeways on Each Side of the Australopithecus to Homo Transition Symposium 17 Jun 2022 10:45 to 11:15
Event Nicolas Teyssandier Stereotypes and conditioned imagination in our perception of prehistoric humans Symposium 17 Jun 2022 09:30 to 10:00
Series Cellular memory throughout life Edith Heard, chair Epigenetics and Cellular Memory Symposium Neonatal wound healing zoomed © Fiona Watt Conference organized by Edith Heard, Epigenetics and Cellular Memory Chair. On the topic of cellular memory, the colloquium will address how cells, particularly adult stem cells, retain their identity and … 14 Jun 2021