Formal Languages and Integrated Problem Solving procedures in GSS

Chair: Prof. Patrik Jansson, Chalmers University of Technology

Short Description

This panel starts from the understanding of GSS goals as 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 IT industry and academia, domain specific languages for financial services. We will also touch upon dependable modeling, verification and validation of simulation models.



Leave a Reply

Your email address will not be published. Required fields are marked *