This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
start [2014/08/26 12:43] 130.225.68.149 removed |
start [2016/04/01 16:06] (current) imt |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | pkWCn http://kcgoldens.org dr oz and pure garcinia cambogia iL | + | {{ :dragon-red.png?200|}} |
+ | ===== CINA: Compositionality, Interaction, Negotiation, Autonomicity ===== | ||
+ | ==== A MIUR PRIN project ==== | ||
+ | |||
+ | The project deals with the issues related to the development and management of open-ended IT systems consisting of heterogeneous, highly parallel, massively distributed components with complex interactions and behaviours and with autonomy in terms of individual properties, objectives and decision-making. It aims at developping a coherent, integrated set of languages, methods and tools to build systems that can operate in open-ended, unpredictable environments while adapting to changing contexts or requirements, and that behave reliably and are able to cope with failures and attacks. | ||
+ | |||
+ | ==== Consortium ==== | ||
+ | * [[imt|IMT Lucca]] (leader: [[http://www.imtlucca.it/whos_at_imt/personal_page.php?n=Rocco+De+Nicola&p=68|Rocco De Nicola]]) | ||
+ | * [[isti|ISTI-CNR]] Pisa (leader: [[http://fmt.isti.cnr.it/doku.php?id=members:stefania:start|Stefania Gnesi]]) | ||
+ | * [[unibo|Università di Bologna]] (leader: [[http://www.cs.unibo.it/~sangio/|Davide Sangiorgi]]) | ||
+ | * Università di Camerino (leader: Flavio Corradini) | ||
+ | * Università di Firenze (leader: Michele Boreale) | ||
+ | * [[unige | Università di Genova]] (leader: [[http://www.disi.unige.it/person/ZuccaE/|Elena Zucca]]) | ||
+ | * Università di Pisa (leader: Roberto Bruni) | ||
+ | * [[unito|Università di Torino]] (leader: [[http://www.di.unito.it/~dezani/index.html | Mariangiola Dezani]]) | ||
+ | * Università di Venezia (leader: Michele Bugliesi) | ||
+ | ==== Project Proposal ==== | ||
+ | |||
+ | Mod A ({{:moda_it.pdf|ITA}} - {{:moda_en.pdf|ENG}}) | ||
+ | ==== Work Packages ==== | ||
+ | |||
+ | * WP1 - Autonomicity: Adaptivity and Self-Awareness (leader: Elena Zucca) | ||
+ | * WP2 - Negotiation: Transactions, Reversibility and Compensations (leader: Davide Sangiorgi) | ||
+ | * WP3 - Glocality: Reconciling Local and Global Views (leader: Roberto Bruni) | ||
+ | * WP4 - Performability: Evaluating for Deciding (leader: [[http://www.sti.uniurb.it/bernardo/|Marco Bernardo]]) | ||
+ | * WP5 - Trustworthiness: Correctness and Security (leader: Michele Boreale) | ||
+ | * WP6 - Validation: Case Studies (leader: Michele Bugliesi) | ||
+ | ==== Meetings ==== | ||
+ | |||
+ | * [[cina-kick-off-meeting|CINA Kick-off Meeting (Pisa, 4-6 Feb 2013)]] | ||
+ | * [[WP4-meeting|WP4 Meeting (Venice, 18 Sep 2013)]] | ||
+ | * [[ISTI-UNICAM-meeting|ISTI-UNICAM Meeting (Camerino, 23-24 Sep 2013)]] | ||
+ | * [[General-meeting|2nd General Meeting (Bologna, 18-20 Feb 2014)]] | ||
+ | * [[WP1-meeting|WP1 Meeting (Genova, 23-24 Jul 2014)]] | ||
+ | * [[3General-meeting|3rd General Meeting (Torino, 10-12 Feb 2015)]] | ||
+ | * [[FinalGeneral-meeting|Final General Meeting (Civitanova Marche, 19-21 Jan 2016)]] | ||
+ | ==== Publications ==== | ||
+ | |||
+ | * [[http://sysma.imtlucca.it/publications/cina/|Publications]] | ||
+ | |||
+ | * [[wp1_list|WP1 Publications]] | ||
+ | |||
+ | * [[wp2_list|WP2 Publications]] | ||
+ | |||
+ | * [[wp3_list|WP3 Publications]] | ||
+ | |||
+ | * [[wp4_list|WP4 Publications]] | ||
+ | |||
+ | * [[wp5_list|WP5 Publications]] | ||
+ | |||
+ | * [[wp6_list|WP6 Publications]] | ||
+ | |||
+ | === Relazione Scientifica Finale === | ||
+ | Relazione Scientifica Finale {{:cina_final.pdf|}} | ||
+ | |||
+ | For further information do not hesitate to contact the project coordinator: | ||
+ | |||
+ | Prof. Rocco De Nicola | ||
+ | IMT Institute for Advanced Studies Lucca | ||
+ | Piazza San Francesco 19, 55100 Lucca, Italy | ||
+ | rocco.denicola@imtlucca.it |