Theory in Climate Impact Research: From Program Correctness to Policy Advice
Cezar Ionescu (Technische Hochschule Deggendorf)

The seminar has unfortunately been canceled due to weather conditions.

Abstract. Type theory is a higher-order logic that can express functional programs, their properties, and, at the same time, proofs of those properties.  I will present a brief overview of its applications to climate impact research, focusing on the formalization of concepts such as ``vulnerability'' and the attempts to formulate a mathematical theory of policy advice.