[TYPES/announce] Call for participation: Workshop on Programming for the Planet (PROPL) (20th January)

[Dominic Orchard]

Call for participation: Workshop on Programming for the Planet (PROPL)
Saturday 20th January
Co-located with POPL 2024, London, UK and Online
https://urldefense.com/v3/__https://popl24.sigplan.org/home/propl-2024__;!!IBzWLUs!SUvxQLej0vsSSswilv7EQIoj2FwDbKvEOmb25sAvfEaw3dz2tfJzMYprCta3olE0yreWfruN4s8DrTJ6pzQtPeuonyIcf8EGpZM$ 
------------------------------------------------------

The first edition of PROPL (Workshop on Programming for the Planet) will be
taking place on Saturday 20th January in London, UK, co-located with POPL
2024. The workshop will be hybrid, with online participation possible.

We have a lively programme of contributed and invited talks exploring how
to close the gap between state-of-the-art programming methods being
developed in academia and the use of programming in climate analysis,
modelling, forecasting, policy, and diplomacy. The aim is to build bridges
to the current practices used in the scientific community.

Please register via the POPL website (https://urldefense.com/v3/__https://popl24.sigplan.org/__;!!IBzWLUs!SUvxQLej0vsSSswilv7EQIoj2FwDbKvEOmb25sAvfEaw3dz2tfJzMYprCta3olE0yreWfruN4s8DrTJ6pzQtPeuonyIcJxVK0dw$ ) for
either in-person or online participation. For more details see:
https://urldefense.com/v3/__https://popl24.sigplan.org/home/propl-2024__;!!IBzWLUs!SUvxQLej0vsSSswilv7EQIoj2FwDbKvEOmb25sAvfEaw3dz2tfJzMYprCta3olE0yreWfruN4s8DrTJ6pzQtPeuonyIcf8EGpZM$ 

Programme outline:

* Keynotes

  - Setting the stage for AI for biodiversity (Drew Purves, Deep Mind)
  - Building Open Source Software for Climate Change Research — Lessons
Learned from Mimi.jl (Lisa Rennels, University of California at Berkeley)

* Modelling and analysis

  - The programming challenges of climate data analysis (Ezequiel
Cimadevilla)
  - Categorical Composition of Discrete Exterior Calculus Climate Models
(Luke Morris, George Rauta, James Fairbanks)

* Energy and efficiency

  - Formal Methods to Save the Earth (Hongyi Huang, Jialin Li, Umang Mathur)
  - Kepler Watt Store: Kepler Software Watt Watcher Store (Parul Singh,
Huamin Chen, Christophe Laprun)

* Software engineering and ecosystems

  - Assessing the availability, reproducibility and reuseability of
research software (Vashti Galpin)
  - Fluid: towards transparent, self-explanatory research outputs (Roly
Perera)
  - Toward a Live, Rich, Composable, and Collaborative Planetary Compute
Engine (Alexander Bandukwala, Andrew Blinn, Cyrus Omar)

* Policy and decision making

  - Scalable agent-based models for optimized policy design: applications
to the economics of biodiversity and carbon (Sharan Agrawal)
  - Can computer science help climate policy making? (Nicola Botta, Patrik
Jansson)

The programme also includes time for discussion and brain-storming about
how the CS/PL community can help address the current, overlapping planetary
crises.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240103/70861525/attachment.htm>