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/03/11 16:13]
unige [Consortium]
start [2016/04/01 16:06] (current)
imt
Line 8: Line 8:
   * [[imt|IMT Lucca]] (leader: [[http://​www.imtlucca.it/​whos_at_imt/​personal_page.php?​n=Rocco+De+Nicola&​p=68|Rocco De Nicola]])   * [[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]])   * [[isti|ISTI-CNR]] Pisa (leader: [[http://​fmt.isti.cnr.it/​doku.php?​id=members:​stefania:​start|Stefania Gnesi]])
-  * Università di Bologna (leader: Davide Sangiorgi)+  * [[unibo|Università di Bologna]] (leader: ​[[http://​www.cs.unibo.it/​~sangio/​|Davide Sangiorgi]])
   * Università di Camerino (leader: Flavio Corradini)   * Università di Camerino (leader: Flavio Corradini)
   * Università di Firenze (leader: Michele Boreale)   * Università di Firenze (leader: Michele Boreale)
   * [[unige | Università di Genova]] (leader: [[http://​www.disi.unige.it/​person/​ZuccaE/​|Elena Zucca]])   * [[unige | Università di Genova]] (leader: [[http://​www.disi.unige.it/​person/​ZuccaE/​|Elena Zucca]])
   * Università di Pisa (leader: Roberto Bruni)   * Università di Pisa (leader: Roberto Bruni)
-  * [[http://​www.di.unito.it | Università di Torino]] (leader: [[http://​www.di.unito.it/​~dezani/​index.html | Mariangiola Dezani]])+  * [[unito|Università di Torino]] (leader: [[http://​www.di.unito.it/​~dezani/​index.html | Mariangiola Dezani]])
   * Università di Venezia (leader: Michele Bugliesi)   * Università di Venezia (leader: Michele Bugliesi)
 ==== Project Proposal ==== ==== Project Proposal ====
Line 23: Line 23:
   * WP2 - Negotiation:​ Transactions,​ Reversibility and Compensations (leader: Davide Sangiorgi)   * WP2 - Negotiation:​ Transactions,​ Reversibility and Compensations (leader: Davide Sangiorgi)
   * WP3 - Glocality: Reconciling Local and Global Views (leader: Roberto Bruni)   * WP3 - Glocality: Reconciling Local and Global Views (leader: Roberto Bruni)
-  * WP4 - Performability:​ Evaluating for Deciding (leader: Marco Bernardo)+  * WP4 - Performability:​ Evaluating for Deciding (leader: ​[[http://​www.sti.uniurb.it/​bernardo/​|Marco Bernardo]])
   * WP5 - Trustworthiness:​ Correctness and Security (leader: Michele Boreale)   * WP5 - Trustworthiness:​ Correctness and Security (leader: Michele Boreale)
   * WP6 - Validation: Case Studies (leader: Michele Bugliesi)   * WP6 - Validation: Case Studies (leader: Michele Bugliesi)
Line 32: Line 32:
   * [[ISTI-UNICAM-meeting|ISTI-UNICAM Meeting (Camerino, 23-24 Sep 2013)]]   * [[ISTI-UNICAM-meeting|ISTI-UNICAM Meeting (Camerino, 23-24 Sep 2013)]]
   * [[General-meeting|2nd General Meeting (Bologna, 18-20 Feb 2014)]]   * [[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 ==== ==== Publications ====
  
 * [[http://​sysma.imtlucca.it/​publications/​cina/​|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:​ For further information do not hesitate to contact the project coordinator:​
start.1394550836.txt.gz · Last modified: 2014/03/11 16:13 by unige