PIK

Collaboration with PIK - Potsdam Institute of Climate Impact Research

The Functional Programming Group (contact: Patrik Jansson) has collaboration with PIK around high-level modelling, generic programming, domain-specific languages and type theory.

Events

20111128/20111202: Chalmers visit by Cezar Ionescu and Nicola Botta.

20110616/17: Workshop on Domain Specific Languages for Environemntal and Economical Modelling

20110404/8: Cezar Ionescu visiting

20110228: A paper on Monadic Dynamical Systems in Haskell and C++ submitted

20101201: Congratulations to Fritz Henglein - the HIPERFIT project was granted (a strategic research center on functional high-performance computing in finance in Denmark).

20101001: GSDP project started.

20100824: The FP group writes a support letter for Fritz Hengleins application for a (Danish) strategic research center on functional high-performance computing in finance (HIPERFIT).

20100428: GSDP coordination action has been accepted (~1.3M €) - negotiation in Brussels today

Global Systems Dynamics and Policy (GSDP) is coordinated by the European Climate Forum (Carlo Jaeger, also at PIK) and involves with 13 sites including Chalmers (contact = Patrik Jansson). Includes seven work-packages including "Domain specific languages for Modelling Global Systems" (led by Patrik Jansson).

Main deliverable: a research plan for the coming ~20 years.

20100126: Submitted a proposal: GSDP = Global Systems Dynamics and Policy

Work programme topics addressed: ICT-2009.8.0 FET Open: Challenging Current Thinking

Type of funding scheme: Coordination Action (CA)

20100111: Submitted a short proposal: "Using Constructive Type Theory to Specify Computer Programs in Sustainability Research"

Call: FP7-ICT-2009-C/CP-FP-INFSO

A consortium coordinated by the European Climate Forum (ECF) containing the sites Chalmers (Jansson), Oxford (Gibbons), Paris1 (Mandel), Niersc (Kovalevsky). We have just submitted a short proposal to EU under the ICT FET-Open call (Future and Emerging Technology).

20091029: Start of a journal version of the VulnModel paper

Monadic Dynamical Systems in Haskell and C++

20091027-30: Patrik Jansson visit to PIK

Aim: draft a proposal for a joint EU application around type theory, functional programming and sustainability research.

20090930: Submitted PostDoc grant proposal

Type Theory for Sustainability Modelling

20090819-27: Cezar Ionescu visiting Chalmers

Discussions and preparations for a joint EU application around type theory, functional programming and sustainability research.

20090715: The VulnModel paper was presented at the Working Conference on Domain Specific Languages in Oxford

20081221: Joint PIK-Chalmers paper (codename VulnModel) submitted:

Title: Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell --- A Domain-Specific Library for Computational Vulnerability Assessment
Authors: Daniel Lincke, Patrik Jansson, Marcin Zalewski and Cezar Ionescu

20081127-081204: Daniel Lincke visit

The purpose of the meeting is to present the prototypes of concept based components for a "monadic systems library for earth system modelling" we have recently developed at PIK and to evaluate possible cooperations in the further development of a library out of these prototypes.

Further work towards a paper about Vulnerability Modelling is now (081208) ongoing.

  svn co svn+ssh://remote.chalmers.se/users/cs/group_fftconf/home/subversion/projects/soccre

20081104-12: Cezar Ionescu visits Chalmers

Day	before lunch	after lunch	Evening
Tu 081104		Cezar arrives (plane lands at 13:10), 16-17: keys, room, etc.
We 081105	9-12: EDIT6128, Kick-off: plan for the week
Th 081106		Cezar talks at the Software Technology seminar	Dinner
Fr 081107		(Goal: draft of joint paper for IEEE Softw. DSL&M issue)
Mo 081110	(Patrik at DSL workshop)	(Patrik busy elsewhere)
Tu 081111	(Patrik at DSL workshop) 11-12: Marcin talk	15-: Abadi talk	Dinner
We 081112	Bringert defence 10-11, Cezar leaves (take off at 13:50)

Cezar goal (as interpreted by Patrik):

go through thesis, identify parts suitable for publication, build on those parts for future joint publication

Concrete suggestion:

Start from Chapter 7: Monadic Systems and Vulnerability
- work towards a paper
- work out examples
- submit to DSLWC

Cezar thesis (for reference):

Chap.	Title	Page
3	Definitions of Vulnerability	27
4	A Mathematical Model of Vulnerability	37
5	Dynamical Systems	51
6	Working with Monadic Systems	87
7	Monadic Systems and Vulnerability	115
8	Conclusions and Perspectives	135

Talk by Cezar Ionescu on Thursday 081106, 13.15 in the EDIT-room Title: Functional Programming in Climate Impact Research

Abstract: Climate impact research aims to understand the implications of man-induced climate change on society. In this highly interdisciplinary area, concepts used have sometimes very different meanings to the various participants, leading to potential confusions. We have used functional programming, in particular Haskell, as a tool for clarifying concepts, formulating precise, operational, and testable conditions for their applications. We illustrate this with the example of ``vulnerability''.

PIK