- Computer Science Laboratory Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique

LIP6 supports the Pink October campaign for breast cancer awareness.

Séminaire SMA

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

Lunedì 4 dicembre 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