Together with Cezar Ionescu I am working on “increasingly correct scientific computing” in the context of GSS. Here is a local university news item trying to explain what the Computer Science and Engineering department at Chalmers can contribute towards GSS: http://www.chalmers.se/cse/EN/news/articles/global-systems-science
The Future and Emerging Technologies (FET) draft work programme (as part of Horizon 2020) is now published and it contains the almost final version of the calls to be announced officially 2013-12-11. Global Systems Science is there under “FETPROACTIVE1” with a prel. budget of 10M EUR and an application deadline of 2014-04-01.
Martin Elsman from HIPERFIT (@DIKU.dk) will present GSS meets Programming Languages and Systems in the workshop on GSS Languages, 2013-06-11.
Abstract In this talk, we demonstrate how functional programming and domain specific languages, in particular, can be useful for effectively deriving performance efficient programs and systems. As an example, we outline a system for specifying financial contracts (used in practice by the financial industry) and demonstrate the effect of applying programming language technology to derive tools for pricing contracts efficiently on modern parallel hardware. We argue that research in managing and querying big data and efficiently performing big computations (simulations), as for instance carried out by the HIPERFIT research center, is a central ingredient of the development of a Global Systems Science.
Abstract Policies govern and constrain a system’s behavior, and as such specify mappings from complex situation descriptions to decisions (or at least sets of options to support human decision making). The perfect languages for expressing such mappings should enjoy a number of features, including: clarity and conciseness, explainability, formal verifiability, and the ability of adapting to an enormous number of possible event combinations. The same requirements arise in the restricted domain of security policies. In this talk, the experience gathered in this field will be reported with the purpose of identifying the most effective languages for policy formulation.
We publish the slides here as information for those tied up in parallel workshops, and as a teaser for the rest.
Abstract Today software permeates everything, from society to businesses and individuals. It is a key driver of our economy. Swedsoft – an industry initiative to strengthen Swedish competitiveness with regard to research and development of software intensive systems, services and products – has created a strategic research and innovation agenda for software development.