Category Archives: ICT

Events, Global Systems Science, ICT

Languages for Policy Formulation and Enforcement

Leave a comment

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

PS. The rest of the workshop programme.

Events, Global Systems Science, ICT

SOFTWARE as a key to cross-­border innovation

Leave a comment

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

PS. The rest of the workshop programme.

Events, Global Systems Science, ICT

CFP: Functional High-Performance Computing (FHPC 2013)

Leave a comment

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.

 

Events, Global Systems Science, GSDP, ICT

GSS Languages workshop

Leave a comment

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

  • Languages for policy formulation and enforcement
  • Software as a key to productivity and innovation in industry and academia
  • Domain Specific Languages for Financial IT

We will also touch upon

  • Dependable modelling
  • Verification and Validation of Simulation Models

——–

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.

—-
Speaker: Jaana Nyfjord, Director Swedsoft, SICS, Sweden

Title: TBD

—-
Speaker: Martin Elsman, HIPERFIT, DIKU, Denmark

Title: TBD

 

Global Systems Science, GSDP, ICT

Candidate “definition” of GSS

1 Comment

As part of the Models and Data workshop we were asked to “define GSS in one sentence”. This was my contribution: