Lectures

  • Proving versus testing in climate impact research. C. Ionescu. The 17th Workshop ``Types for Proofs and Programs'' Warsaw, Poland, October 13-16, 2010.
  • Using dependent types in models of climate change impacts. C. Ionescu. Workshop on Dependently Typed Programming, Edinburgh, 2010.
  • Types and Specifications. C. Ionescu. Workshop on Type Theory and Sustainability Modeling, Potsdam,  Germany, October 28, 2009.
  • Using Types to Specify Programs. C. Ionescu. Vortrag auf Einladung, European Climate Forum Council Meeting, Potsdam, Germany, October 8, 2009.
  • The Function Concept in C++ - An Empirical Study. D. Lincke. Workshop on Generic
    Programming 2009, Edinburgh, Scotland, Aug. 2009. Abstract, slides.
  • Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell. A Domain-Specific Library for Computational Vulnerability Assessment. D. Lincke. IFIP TC 2 Working Conference on Domain Specific Languages 2009, Oxford, UK, July 2009. Abstract, slides.
  • Understanding agent-based models of barter economies through specifications. N. Botta. Technische Universität Hamburg-Harburg, Institut für Softwaresysteme (STS), July 2009. Abstract, slides.
  • Using Types to Specify Programs. C. Ionescu. Workshop on System Dynamic Models of Coupled Natural-Social Systems, Bekkjarvik, Norway, June 22-26, 2009.
Document Actions