Chair: Prof. Patrik Jansson, Chalmers University of Technology

Short Description

This panel starts from the understanding of GSS goals as developing systems, theories, languages and tools for computer-aided policy making with potentially global implications. The focus of this workshop is the interaction between core computer science, software engineering and GSS. Topics covered include languages for policy formulation and enforcement, software as a key to productivity and innovation in IT industry and academia, domain specific languages for financial services. We will also touch upon dependable modeling, verification and validation of simulation models.

Presentations

• Languages for Policy Formulation and Enforcement
  Piero Bonatti
• Global Systems Science meets Programming Languages and Systems
  Martin Elsman
• Software as a key to cross-border innovation
  Jaana Nyfjord