PROPL
Mon 15 - Fri 19 June 2026 Boulder, Colorado, United StatesPROPL 2026 with PLDI 2026There are simultaneous interlinked crises across the planet due to human actions: climate change, biodiversity loss, and desertification (collectively, a crisis in climate health). Assessing progress on these complex and interlocking issues requires a global view on the effectiveness of our adaptations and mitigations. To succeed in the coming decades, we need a wealth of new data about our natural environment th ... |
Mon 13 Oct 2025 SingaporePROPL 2025 with ICFP/SPLASH 2025There are simultaneous interlinked crises across the planet due to human actions: climate change, biodiversity loss, and desertification. Addressing these challenges requires, amongst other things, a global understanding of the present state of affairs and the effectiveness of our adaptations and mitigations, leveraging both data and computation. However, programming the computer systems required to effectively i ... |
Sat 20 Jan 2024 London, United KingdomPROPL 2024 with POPL 2024There are simultaneous crises across the planet due to rising CO2 emissions, rapid biodiversity loss, and desertification. Assessing progress on these complex and interlocking issues requires a global view on the effectiveness of our adaptations and mitigations. To succeed in the coming decades, we need a wealth of new data about our natural environment that we rapidly process into accurate indicators, with suffi ... |
