Project proposals
- Understanding Agent-Based Models of Socio-Economic Systems. N. Botta and S. Schupp. DFG Antrag auf Sachbeihilfe, submitted March 2010, rejected Sept. 2010, re-submission recommended.
- Using Constructive Type Theory to Specify Computer Programs in Sustainability Research. C. Jaeger and C. Ionescu. STREP proposal for the FET-Open call, submitted Jan. 2010, rejected.
