User Tools

Site Tools


start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
start [2014/08/25 08:11]
93.182.136.171 akArszCKi
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.1408947067.txt.gz · Last modified: 2014/08/25 08:11 by 93.182.136.171