The TiPES project have a stunning number of 50 deliveries over the course of the project. Below some of the scientific deliveries are available.


This publication provides teaching material for an introductory course on functional and dependently
typed programming and its application to verified decision-making in the context of climate science,
using the computational theory of policy advice and avoidability developed by Botta et al.([1], [3]).


Dansgaard-Oeschger (DO) events are abrupt, large climate swings that punctuated the last glacial period. There is uncertainty whether current IPCC-relevant models can effectively represent the processes that cause DO events. Current Earth system models (ESMs) seem overly stable against external perturbations and incapable of reproducing most abrupt climate changes of the past (Valdes, 2011). If this holds true, this could noticeably influence their capability to predict future abrupt transitions, with significant consequences for their use in the identification of Tipping Elements (TEs), and more in general, for the delivery of precise climate change projections. In this task, the objectives of this study are twofold: (1) to compile and analyse model output for any spontaneously oscillating simulations, and (2) to formulate possible pathways to a DO PMIP (Paleoclimate Modelling Intercomparison Project) protocol that could help investigate cold-period instabilities through a range of insolation-, freshwater-, GHG-, and NH ice sheet-related forcings, as well as evaluating the possibility of spontaneous internal oscillations. Such a model protocol is crucial since (1), there is currently no PMIP common guidance to investigate DO events, (2) it could help carry out simulations in ESM and Earth system models of intermediate complexity (EMIC) under a common framework, and (3) it will be essential in guiding a more methodical search for DO events in current models


Paleoclimate records are essential for identifying Tipping points in the Earth’s past and to properly understand the climate system’s underlying bifurcation mechanisms. Due to their varying quality, resolution, and dating methods, identifying the most relevant paleo-records is, therewith, a daunting task. To address this problem, we created the PaleoJump database, which compiles high-resolution paleoclimate records originating in ice, marine sediments, speleothems, loess, and lake sediments. To allow easy access and navigation, the database has the form of a website, a working version of which is currently online. It includes a map of the paleoclimate records, as well as tables which list supplementary information for each record. As the database is continuously developed and has not yet been peerreviewed, the link to the website is currently only available on request.