Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 23092 results Filters Content type Content type (-) Lessons (23086) News (1601) People (1327) Chair (352) Editions (343) Page (230) Research (27) Library (14) Annual Chair (12) (-) Award (6) Active filters Lessons Award Event Nathalie Boulanger Dynamics of Ticks and Tick-borne diseases: Is it just the climate change? Symposium Nathalie Boulanger Nathalie Boulanger is a medical entomologist, leading a research team on tick-borne vector-borne diseases; she is a member of the Centre national de référence Borrelia. After a PhD in Switzerland (malaria), followed by a postdoctoral … 16 Jun 2022 11:35 - 11:55 Event Kristie Ebi Overview of the Health Impacts of Our Changing Climate Symposium Kristie Ebi Professor Kristie L. Ebi, Ph.D., MPH has been conducting research on climate variability and health for 25 years, including understanding sources of vulnerability; estimating current impacts and future health risks; designing adaptation … 16 Jun 2022 11:10 - 11:35 Event Grégory Quenet Climate and Societies: A Historical Perspective Symposium Grégory Quenet Grégory Quenet is Professor of Environmental History at UVSQ-Paris Saclay University, Senior Member of the Institut Universitaire de France and holder of the Laudato si' Chair "For a New Exploration of the Earth" at the Collège des … 16 Jun 2022 10:45 - 11:10 Event Anne Cheng Discussions and conclusions Symposium 23 Jun 2022 17:15 - 18:00 Event Ursula Gauthier Notes on the repression of Uyghurs in China Symposium 23 Jun 2022 16:15 - 17:15 Event Chloé Froissart Perspectives on the centenary of the Chinese Communist Party 1921-2021 Symposium 23 Jun 2022 15:45 - 16:15 Event Victor Louzon " Civilization " and the end of political violence in post-Maoist China Symposium 23 Jun 2022 15:15 - 15:45 Event Arnaud Nanta The primary sources of Japanese officers during the Nanjing massacre : construction of the fonds, typology, debates Symposium 23 Jun 2022 14:30 - 15:00 Event François Guillemot Vietnam, from people's war to revolutionary civil war : polemological practices Symposium 23 Jun 2022 14:00 - 14:30 Event Pierre Singaravélou Eurasian genealogy of Indian Pacific pan-Asianism in the first half of the 20th century Symposium 23 Jun 2022 11:15 - 11:45 Event Manon-Nour Tannous " Gravely concerned by the escalation of violence " : violence and international relations in the Middle East Symposium 23 Jun 2022 10:30 - 11:00 Event Eberhard Kienle Violence " politics " in the Middle East : the perpetually reconstituted legacy of global inequality Symposium 23 Jun 2022 10:00 - 10:30 Event Matthieu Rey Violence along the Euphrates Symposium 23 Jun 2022 09:30 - 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 - 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 - 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 - 12:00 Event Christine Tasson Denotational Verification of Probabilistic Programming Symposium 30 Jun 2022 10:30 - 11:15 Event Andrew Gelman Social Science: From Prediction to Modeling to Understanding Symposium 29 Jun 2022 18:00 - 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 - 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 - 16:45 Event Maria Gorinova Program Analysis of Probabilistic Programs Symposium 29 Jun 2022 14:45 - 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 - 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 - 12:00 Event Gilles Barthe Relational Proofs of Probabilistic Programs and Applications to Cryptography Symposium 29 Jun 2022 10:00 - 11:15 Pagination First page Previous page … Page 174 Page 175 Page 176 Page 177 Current page 178 Page 179 Page 180 Page 181 Page 182 … Next page Last page
Event Nathalie Boulanger Dynamics of Ticks and Tick-borne diseases: Is it just the climate change? Symposium Nathalie Boulanger Nathalie Boulanger is a medical entomologist, leading a research team on tick-borne vector-borne diseases; she is a member of the Centre national de référence Borrelia. After a PhD in Switzerland (malaria), followed by a postdoctoral … 16 Jun 2022 11:35 - 11:55
Event Kristie Ebi Overview of the Health Impacts of Our Changing Climate Symposium Kristie Ebi Professor Kristie L. Ebi, Ph.D., MPH has been conducting research on climate variability and health for 25 years, including understanding sources of vulnerability; estimating current impacts and future health risks; designing adaptation … 16 Jun 2022 11:10 - 11:35
Event Grégory Quenet Climate and Societies: A Historical Perspective Symposium Grégory Quenet Grégory Quenet is Professor of Environmental History at UVSQ-Paris Saclay University, Senior Member of the Institut Universitaire de France and holder of the Laudato si' Chair "For a New Exploration of the Earth" at the Collège des … 16 Jun 2022 10:45 - 11:10
Event Ursula Gauthier Notes on the repression of Uyghurs in China Symposium 23 Jun 2022 16:15 - 17:15
Event Chloé Froissart Perspectives on the centenary of the Chinese Communist Party 1921-2021 Symposium 23 Jun 2022 15:45 - 16:15
Event Victor Louzon " Civilization " and the end of political violence in post-Maoist China Symposium 23 Jun 2022 15:15 - 15:45
Event Arnaud Nanta The primary sources of Japanese officers during the Nanjing massacre : construction of the fonds, typology, debates Symposium 23 Jun 2022 14:30 - 15:00
Event François Guillemot Vietnam, from people's war to revolutionary civil war : polemological practices Symposium 23 Jun 2022 14:00 - 14:30
Event Pierre Singaravélou Eurasian genealogy of Indian Pacific pan-Asianism in the first half of the 20th century Symposium 23 Jun 2022 11:15 - 11:45
Event Manon-Nour Tannous " Gravely concerned by the escalation of violence " : violence and international relations in the Middle East Symposium 23 Jun 2022 10:30 - 11:00
Event Eberhard Kienle Violence " politics " in the Middle East : the perpetually reconstituted legacy of global inequality Symposium 23 Jun 2022 10:00 - 10:30
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 - 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 - 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 - 12:00
Event Christine Tasson Denotational Verification of Probabilistic Programming Symposium 30 Jun 2022 10:30 - 11:15
Event Andrew Gelman Social Science: From Prediction to Modeling to Understanding Symposium 29 Jun 2022 18:00 - 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 - 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 - 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 - 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 - 12:00
Event Gilles Barthe Relational Proofs of Probabilistic Programs and Applications to Cryptography Symposium 29 Jun 2022 10:00 - 11:15