start
Differences
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 | ||
start.1409049780.txt.gz · Last modified: 2014/08/26 12:43 by 130.225.68.149
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
