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
Continue reading Global systems science news item at Chalmers U. of Tech.
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.
Continue reading Global Systems Science in the FET draft work programme
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.
Welcome,
Patrik Jansson
As part of the GSS “Languages” workshop, Piero Bonatti from University of Naples “Federico II” will talk about Languages for Policy Formulation and Enforcement.
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.
Welcome!
Patrik Jansson
As part of the GSS “Languages” workshop, Jaana Nyfjord from Swedsoft will talk about Software as a key enabling technology for cross-border innovation.
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.
Welcome!
Patrik Jansson
Here is a graphical representation of section 3 of the GSS orientation paper:
It is also included in my slide presentation here..
