I am very happy to announce that the schedule for the 2026 instance of the PhD course "Functional Programming and Climate Impact Research" (FPClimate) is now live! We will be kicking things off on Monday, March 23.

What is FPClimate?

This course explores the critical intersection of computer science and climate science. Throughout the spring, we will read and discuss research papers on how functional programming, domain-specific languages (DSLs), and formal methods (using dependent types in Haskell and Agda) can be applied to climate modeling, sequential decision problems, and computational theories of policy advice.

A Special Focus for 2026: Decision Making Under Uncertainty

While we will be covering foundational papers from previous years (dating back to our early work in 2010 on vulnerability modeling), the 2026 iteration will place a special emphasis on two recent and highly relevant papers dealing with uncertainty:

• MatterMost (2023): "Responsibility Under Uncertainty: Which Climate Decisions Matter Most?" — We will explore the impact of uncertainty on optimal emission policies and how computational tools can help identify the most crucial decisions.
• OUU (2026): "Optimization under uncertainty: understanding orders and testing programs with specifications" — A brand new pre-print diving deep into the formal testing and specification of optimization problems when the future is uncertain.

Logistics and Participation

The course is run as a reading and seminar series, requiring participants to digest material with limited teacher presence and come ready to discuss.

• Format: Hybrid. Local participants will meet at the Chalmers campus (usually room EDIT 6128), and remote participation is fully supported via Zoom.
• Externals Welcome: You do not have to be an enrolled student to participate! External researchers, functional programmers, and climate enthusiasts (with suitable formal background) are very welcome to join the seminars and discussions. (Please note that while we love having you, we cannot issue formal university credits for external participants).

For the full reading list, preliminary schedule, and details on how to register or get the Zoom link, please check out the course repository: https://github.com/DSLsofMath/FPClimate

Looking forward to seeing both familiar and new faces this spring!