The vision is to integrate scientific evidence into the social processes leading to policy decisions addressing global challenges. The ICT engines driving GSS are large-scale computing platforms to simulate highly interconnected systems to make full use of the abundance of data on social, economic, technological and ecological systems available today. The unprecedented in scale and scope of these data represents a step change in how science is able to address societal questions. Equally important are online social media and collaborative ICT platforms that support active participation of all stakeholders in the process of gathering and analysing (scientific) evidence and thereby in the policy process.
Research objectives as two complementary strands:
The present workshop will mainly address 'policy informatics' aspects of GSS, that is the role of data and models.
Decision makers facing global challenges increasingly use computer models, simulation as well as large scale heterogeneous data and try to integrate and make sense of information in order to turn it into knowledge available for a future course of action. There is mounting concern that even with the use of such simulations and models we do not know enough to make effective decisions in response to global challenges. What is more, we also don’t know enough about our methods of modeling complex systems of this size by computer simulation to be able to effectively operate. A quite more rigorous foundation is necessary to comprehend the deep interplay of systems simulations, data from various sources and the actual problems we are facing as a society.
Scope of the workshop will be exploring role and interest of various computer science and mathematical approaches pertinent in this context: from interaction based computing to data topology and modeling languages, from high performance computation to novel data mining methodologies. In particular, the most efficient methods for specification and analysis of dynamics of highly interconnected systems, specification, verification and validation of the computational dynamics simulations; formal approach to the analysis of dynamical network abstractions for complex system representation. Explicit applications to different contexts will be discussed. The aim is to propose new viable ways to validate, verify and specify computer-based simulation of highly interconnected systems which might help decision makers in a truly interconnected, socio-technical, data-driven global society.
Click here to view the presentations of the workshop...