- Computer Science Laboratory
Sorbonne Universté
Centre National de la Recherche Scientifique

Every 25th of the month, LIP6 supports the “Orange Day”» to end violences against women!

Séminaire SMA

RSS

Type Theory in Climate Impact Research: From Program Correctness to Policy Advice

Monday, December 4, 2023
Cezar Ionescu (Technische Hochschule Deggendorf)

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.