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
I just want to “advertise” the Functional High-Performance Computing workshop which this year has “Large-Scale Simulation” as their theme which I think fits very well with GSS. Half of the organizers (Fritz Henglein and Jost Berthold) are at the HIPERFIT research center in Denmark (HIPERFIT: research in tailor-made expressive programming languages, frameworks, tools and technologies for financial modeling, and effective use of modern parallel hardware without compromising correctness, transparency or portability.)
http://hiperfit.dk/fhpc13.html
Kind regards,
Patrik Jansson
The FHPC workshop aims at bringing together researchers exploring uses
of functional (or more generally, declarative or high-level) programming
technology in application domains where large-scale computations arise
naturally and high performance is essential. Such computations would
typically — but not necessarily — involve execution on highly parallel
systems ranging from multi-core multi-processor systems to graphics
accelerators (GPGPUs), reconfigurable hardware (FPGAs), large-scale
compute clusters or any combination thereof. It is becoming apparent
that radically new and well founded methodologies for programming such
systems are required to address their inherent complexity and to
reconcile execution performance with programming productivity.
As part of the GSS conference in June, I’m chairing a workshop on “Formal Languages and Integrated Problem Solving procedures in GSS”. It is one of five parallel workshops on “Knowledge Technologies for GSS” on Tuesday 2013-06-11: 11.00 – 13.00. I’ve created a wiki-page with some more details about the workshop:
http://wiki.portal.chalmers.se/cse/pmwiki.php/GSDP/GSSLanguages
So far it contains the text below, but it will be completed within a few days.
Welcome,
Patrik Jansson
—————
Global Systems Science (GSS) is about 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
We will also touch upon
——–
Speaker: Piero Bonatti
Title: 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.
Title: TBD
—-
Speaker: Martin Elsman, HIPERFIT, DIKU, Denmark
Title: TBD