- Laboratoire d’informatique Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique

Le LIP6 soutient la campagne Octobre Rose de prévention contre le cancer du sein

Séminaire SMA

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

Lundi 4 décembre 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.

nicolas.maudet (at) nulllip6.fr