#	Pagina
attuale pagina	/open-h2020/projects/193766/index.html

Opendata, web and dolomites

GRACeFUL

Global systems Rapid Assessment tools through Constraint FUnctional Languages

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

GRACeFUL project word cloud

Explore the words cloud of the GRACeFUL project. It provides you a very rough idea of what is the project "GRACeFUL" about.

heuristics session stakeholders rapid error shift political foundational too advisory group tools cp power discipline interests beginning intertwines policies special put trial solutions scalable coping play business adapting essentially decision framework quest verifiable global base paradigm diverse necessarily urban external functional social guides central dsl domain question simulators generally languages solvers usability visual disciplines solving people model disciplinary emphasis collective specification language resilient underlying composable demonstrated composition physical lays building forms levels constraints details programming employ gamification tedious combining board policy networks water constraint climate applicable validated scientific separate evaluates assist active managed host ambition

Project "GRACeFUL" data sheet

The following table provides information about the project.

Coordinator	UNIVERSITAT POLITECNICA DE CATALUNYA Organization address address: CALLE JORDI GIRONA 31 city: BARCELONA postcode: 8034 website: www.upc.edu contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.
Coordinator Country	Spain [ES]
Project website	http://www.graceful-project.eu
Total cost	2˙404˙943 €
EC max contribution	2˙404˙943 € (100%)
Programme	1. H2020-EU.1.2.2. (FET Proactive)
Code Call	H2020-FETPROACT-2014
Funding Scheme	RIA
Starting year	2015
Duration (year-month-day)	from 2015-02-01 to 2018-01-31

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	UNIVERSITAT POLITECNICA DE CATALUNYA UNIVERSITAT POLITECNICA DE CATALUNYA Organization address address: CALLE JORDI GIRONA 31 city: BARCELONA postcode: 8034 website: www.upc.edu contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (BARCELONA)	coordinator	357˙311.00
2	FRAUNHOFER GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V. FRAUNHOFER GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V. Organization address address: HANSASTRASSE 27C city: MUNCHEN postcode: 80686 website: www.fraunhofer.de contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (MUNCHEN)	participant	454˙702.00
3	CHALMERS TEKNISKA HOEGSKOLA AB CHALMERS TEKNISKA HOEGSKOLA AB Organization address address: - city: GOETEBORG postcode: 41296 website: www.chalmers.se contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	SE (GOETEBORG)	participant	396˙455.00
4	KATHOLIEKE UNIVERSITEIT LEUVEN KATHOLIEKE UNIVERSITEIT LEUVEN Organization address address: OUDE MARKT 13 city: LEUVEN postcode: 3000 website: www.kuleuven.be contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	BE (LEUVEN)	participant	361˙250.00
5	ASSOCIATION POUR LA RECHERCHE ET LE DEVELOPPEMENT DES METHODES ET PROCESSUS INDUSTRIELS ASSOCIATION POUR LA RECHERCHE ET LE DEVELOPPEMENT DES METHODES ET PROCESSUS INDUSTRIELS Organization address address: BOULEVARD SAINT MICHEL 60 city: PARIS postcode: 75272 website: www.armines.net contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (PARIS)	participant	350˙650.00
6	STICHTING DELTARES STICHTING DELTARES Organization address address: BOUSSINESQWEG 1 city: DELFT postcode: 2629 HV website: www.deltares.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	NL (DELFT)	participant	328˙350.00
7	STICHTING KATHOLIEKE UNIVERSITEIT STICHTING KATHOLIEKE UNIVERSITEIT Organization address address: GEERT GROOTEPLEIN NOORD 9 city: NIJMEGEN postcode: 6525 EZ website: www.radboudumc.nl contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	NL (NIJMEGEN)	participant	156˙225.00

Map

Project objective

The making of policies coping with Global Systems is a process that necessarily involves stakeholders from diverse disciplines, each with their own interests, constraints and objectives. People play a central role in such collective decision making and the quest for solutions to a problem generally intertwines its very specification. Simulators can assist in this process provided they employ adequate high-level modelling to separate the political question from the underlying scientific details. Domain-specific Languages (DSL) embedded in Functional Programming (FP) languages offer a promising way to implement scalable and verifiable simulators. But the use of simulators is essentially a trial-and-error process too tedious for execution in a group session. A paradigm shift is needed towards active problem solving where stakeholders’ objectives can be taken along from the very beginning. Constraint Programming (CP) has demonstrated to enable such a shift for e.g. managed physical systems like water and power networks. This project lays the base for a DSL aimed at building scalable Rapid Assessment Tools for collective policy making in global systems. This can be achieved through foundational scientific work at different levels: from the high-level, political modelling, adapting the social discipline of Group Model Building (as used in business organizations), through visual forms of CP as well as gamification aspects, down to the needs for a host language, combining CP and FP. Special emphasis is put on domain-specific constraints, constraint composition, and composable solvers and heuristics. Results are applied and validated for the problem case of Climate-Resilient Urban Design, but the ambition is a general framework applicable to many other systems. The case study is assessed by an external multi-disciplinary Advisory Board of Stakeholders that guides the specification process and evaluates needs and usability of the tools.

Deliverables

List of deliverables.
Testing and Verification Framework	Demonstrators, pilots, prototypes	2019-03-08 17:51:40
Concept Maps to System Dynamics	Documents, reports	2019-03-08 17:51:38
Minutes of Project Meeting 6	Documents, reports	2019-03-08 17:51:34
Evaluation Report CRUD RATs	Documents, reports	2019-03-08 17:51:41
Education and Training Plan	Documents, reports	2019-03-08 17:51:41
Constraint Checkers Synthesizer	Other	2019-03-08 17:51:41
CRUD RAT Prototype	Demonstrators, pilots, prototypes	2019-03-07 16:20:00
Geometrical Constraints for CRUD	Documents, reports	2019-03-07 16:19:53
Visual Analytics EDA Tool Prototype	Demonstrators, pilots, prototypes	2019-03-06 12:11:00
Final Dissemination & Communication Report	Documents, reports	2019-01-09 15:33:31
Minutes of Project Meeting 7	Documents, reports	2019-01-09 15:33:31
Scientific Publications and Initiatives	Documents, reports	2019-01-09 15:33:31
CRUD Analysis Report	Documents, reports	2019-02-12 12:38:26
Data Management Plan	Documents, reports	2019-02-12 12:38:20
Minutes of Project Meeting 3	Documents, reports	2019-02-12 12:38:24
Minutes of Project Meeting 2	Documents, reports	2019-03-05 09:35:18
Visual Analytics EDA Requirements & Specifications Rev.2	Documents, reports	2019-03-05 09:35:43
Minutes of Project Meeting 1	Documents, reports	2019-03-05 09:35:23
Dissemination Plan	Documents, reports	2019-02-12 12:38:14
Minutes of Project Meeting 4	Documents, reports	2019-05-30 11:31:56
Constraints Composition Ops Library	Other	2019-02-12 12:38:06
DSL for the CFP Platform	Other	2019-02-12 12:38:06
CRUD RATs Key Requirements	Documents, reports	2019-03-05 09:35:58
Minutes of Project Meeting 5	Documents, reports	2019-02-12 12:38:24
Dissemination Plan (rev.2)	Documents, reports	2019-02-12 12:38:22
DSL for Concept Map Description	Other	2019-03-07 17:30:57
Prototype Status Report	Documents, reports	2019-05-30 11:32:00
GRACeFUL Project Website	Websites, patent fillings, videos etc.	2019-02-12 12:38:13
Visual Analytics EDA Requirements & Specifications Rev.1	Documents, reports	2019-03-07 17:30:55
Formal Concept Maps Elements Description	Documents, reports	2019-03-05 09:35:37

Take a look to the deliverables list in detail: detailed list of GRACeFUL deliverables.

Publications

List of publications.
year	authors and title	journal	last update
2018	Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis Deriving generic bounds for time-series constraints based on regular expressions characteristics published pages: 44-86, ISSN: 1383-7133, DOI: 10.1007/s10601-017-9276-z	Constraints 23/1	2019-05-29
2017	NICOLA BOTTA, PATRIK JANSSON, CEZAR IONESCU Contributions to a computational theory of policy advice and avoidability published pages: , ISSN: 0956-7968, DOI: 10.1017/S0956796817000156	Journal of Functional Programming 27	2019-05-29
2017	Nicola Botta, Patrik Jansson, Cezar Ionescu The impact of uncertainty on optimal emission policies published pages: 1-24, ISSN: 2190-4995, DOI: 10.5194/esd-2017-86	Earth System Dynamics Discussions	2019-05-29
2018	Sadie McEvoy, Frans H.M. van de Ven, Michiel W. Blind, Jill H. Slinger Planning support tools and their effects in participatory urban adaptation workshops published pages: 319-333, ISSN: 0301-4797, DOI: 10.1016/j.jenvman.2017.10.041	Journal of Environmental Management 207	2019-05-29
2016	Neil Sculthorpe, Paolo Torrini, Peter D. Mosses A Modular Structural Operational Semantics for Delimited Continuations published pages: 63-80, ISSN: 2075-2180, DOI: 10.4204/EPTCS.212.5	Electronic Proceedings in Theoretical Computer Science 212	2019-05-27
2015	Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud\'Homme A Modelling Pearl with Sortedness Constraints published pages: 27-11, ISSN: , DOI: 10.29007/b4dz	EPiC Series in Computing volume 36	2019-05-27
2016	Nicolas Beldiceanu, Mats Carlsson, RÃ©mi Douence, Helmut Simonis Using finite transducers for describing and synthesising structural time-series constraints published pages: 22-40, ISSN: 1383-7133, DOI: 10.1007/s10601-015-9200-3	Constraints 21/1	2019-05-27
2015	BENOIT DESOUTER, MARKO VAN DOOREN, TOM SCHRIJVERS Tabling as a library with delimited control published pages: 419-433, ISSN: 1471-0684, DOI: 10.1017/S1471068415000137	Theory and Practice of Logic Programming 15/4-5	2019-05-27
2017	Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud?homme, Andreas Schutt, Peter J. Stuckey Range-Consistent Forbidden Regions of Allenâ€™s Relations published pages: 21-29, ISSN: 1611-3349, DOI: 10.1007/978-3-319-59776-8_2	Lecture Notes in Computer Science (LNCS) Vol. 10335	2019-05-27
2015	Paolo Torrini, Tom Schrijvers Reasoning about modular datatypes with Mendler induction published pages: 143-157, ISSN: 2075-2180, DOI: 10.4204/EPTCS.191.13	Electronic Proceedings in Theoretical Computer Science 191	2019-05-27
2016	Anna Keilbach Solving Complex Problems Collaboratively: The Role of Design in Inter- and Transdisciplinary Teams Referring to Climate Resilient Urban Design published pages: , ISSN: , DOI:		2019-05-27
2017	Botta, Nicola and Jansson, Patrik and Ionescu, Cezar and Christiansen, David R. and Brady, Edwin Sequential decision problems, dependent types and generic solutions published pages: 1-23, ISSN: 1860-5974, DOI: 10.23638/LMCS-13(1:7)2017	Logical Methods in Computer Science Volume 13, Issue 1	2019-05-27
2016	Pearson, Justin; Simonis, Helmut; Beldiceanu, Nicolas; RodrÃguez, MarÃa AndreÃna Francisco; Carlsson, Mats; Douence, RÃ©mi; Francisco RodrÃguez, MarÃa AndreÃna; Flener, Pierre Global Constraint Catalog, Volume II, Time-Series Constraints published pages: , ISSN: , DOI:	Global Constraint Catalog	2019-05-27
2016	Tatiana von Landesberger, Felix Brodkorb, Philipp Roskosch, Natalia Andrienko, Gennady Andrienko, Andreas Kerren MobilityGraphs: Visual Analysis of Mass Mobility Dynamics via Spatio-Temporal Graphs and Clustering published pages: 11-20, ISSN: 1077-2626, DOI: 10.1109/TVCG.2015.2468111	IEEE Transactions on Visualization and Computer Graphics 22/1	2019-05-27

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "GRACEFUL" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "GRACEFUL" are provided by the European Opendata Portal: CORDIS opendata.