User Tools

Site Tools


cina-kick-off-meeting

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
cina-kick-off-meeting [2013/02/15 18:24]
127.0.0.1 external edit
cina-kick-off-meeting [2015/02/13 18:52] (current)
unipi [Agenda]
Line 33: Line 33:
   * 14:00 - 15:00 **WP6 - Validazione:​ Casi di Studio**   * 14:00 - 15:00 **WP6 - Validazione:​ Casi di Studio**
     * 14:00 - 14:20 A. Marin (UNIVE): Progetto Smart Cities     * 14:00 - 14:20 A. Marin (UNIVE): Progetto Smart Cities
-    * 14:20 - 12:40 M. Pistore (UNIBO-FBK):​ Caso di studio di Trento ​+    * 14:20 - 12:40 M. Pistore (UNIBO-FBK): ​{{:​cina2013-pistore-scsp_cinakickoff_20130204_v1.pdf|Caso di studio di Trento}} 
     * 14:40 - 15:00 V. Monreale (UNIPI): Caso di studio su Automotive     * 14:40 - 15:00 V. Monreale (UNIPI): Caso di studio su Automotive
  
   * 15:00 - 16:30 **WP2 - Negoziazione:​ Transazioni,​ Reversibilità e Compensazioni**   * 15:00 - 16:30 **WP2 - Negoziazione:​ Transazioni,​ Reversibilità e Compensazioni**
     * 15:00 - 15:10 //Intro// (D. Sangiorgi)     * 15:00 - 15:10 //Intro// (D. Sangiorgi)
-    * 15:10 - 15:30 U. Montanari (UNIPI): Constraints for Service Contracts  +    * 15:10 - 15:30 U. Montanari (UNIPI): ​{{:​cina2013-montanari_cina_feb13.ppt|Constraints for Service Contracts}}  
-    * 15:30 - 15:50 I. Lanese (UNIBO): Reversibility +    * 15:30 - 15:50 I. Lanese (UNIBO): ​{{:​cina2013-lanese-kickof-cina-reversibility.ppt|Reversibility}} 
-    * 15:50 - 16:10 D. Ancona (UNIGE): Global Types for Dynamic Checking of Protocol Conformance of Multi-Agent Systems+    * 15:50 - 16:10 D. Ancona (UNIGE): ​{{:​cina2013-ancona.pdf|Global Types for Dynamic Checking of Protocol Conformance of Multi-Agent Systems}}
     * 16:10 - 16:30 //​Discussione// ​     * 16:10 - 16:30 //​Discussione// ​
  
Line 47: Line 47:
   * 17:00 - 18:40 **Altri risultati**   * 17:00 - 18:40 **Altri risultati**
     * //Chair// (M. Dezani)     * //Chair// (M. Dezani)
-    * 17:00 - 17:20 R. De Nicola (IMT): Programming Abstractions for Autonomic Computing  +    * 17:00 - 17:20 R. De Nicola (IMT): ​{{:​cina2013-denicola_scel_kom_cina.pdf|Programming Abstractions for Autonomic Computing}}  
-    * 17:20 - 17:40 F. Tiezzi (IMT): From Access Control towards Autonomic Computing Policies +    * 17:20 - 17:40 F. Tiezzi (IMT): ​{{:​cina2013-tiezzi-sacpl-cina.pdf|From Access Control towards Autonomic Computing Policies}} 
-    * 17:40 - 18:00 M. Loreti (UNIFI): SCEL at Work with Robots ​+    * 17:40 - 18:00 M. Loreti (UNIFI): ​{{:​cina2013-loreti-presentation.pdf|SCEL at Work with Robots}} 
     * 18:00 - 18:20 M. Miculan (UNIPI-UNIUD):​ Structural Operational Semantics for Continuous State Transition Systems     * 18:00 - 18:20 M. Miculan (UNIPI-UNIUD):​ Structural Operational Semantics for Continuous State Transition Systems
     * 18:20 - 18:40 //​Discussione//​     * 18:20 - 18:40 //​Discussione//​
Line 58: Line 58:
     * 09:00 - 09:10 //Intro// (E. Zucca)     * 09:00 - 09:10 //Intro// (E. Zucca)
     * 09:10 - 09:30 W. Cazzola (UNIGE): Self-Evolution under the Hood: JavAdaptor -- Schema Changes at Hands      * 09:10 - 09:30 W. Cazzola (UNIGE): Self-Evolution under the Hood: JavAdaptor -- Schema Changes at Hands 
-    * 09:30 - 09:50 L. Bettini (UNITO): Implementing Java-like languages in Xtext with Xsemantics +    * 09:30 - 09:50 L. Bettini (UNITO): ​{{:​cina2013-bettini-presentation.pdf|Implementing Java-like languages in Xtext with Xsemantics}} 
-    * 09:50 - 10:10 A. Bucchiarone (UNIBO-FBK):​ Dynamic adaptation of fragment-based services +    * 09:50 - 10:10 A. Bucchiarone (UNIBO-FBK): ​{{:​cina2013-bucchiarone-adaptation.pdf|Dynamic adaptation of fragment-based services}} 
-    * 10:10 - 10:30 A. Lluch Lafuente (IMT): White-box adaptation+    * 10:10 - 10:30 A. Lluch Lafuente (IMT): ​{{:​cina2013-lluch-slides-cina-pisa2013.pdf|White-box adaptation}}
     * 10:30 - 10:50 D. Cacciagrano (UNICAM): Semantic-driven mining: a specification and programming approach for adaptive processes     * 10:30 - 10:50 D. Cacciagrano (UNICAM): Semantic-driven mining: a specification and programming approach for adaptive processes
  
Line 66: Line 66:
  
   * 11:20 - 11:40 M.Bravetti (UNIBO): Adaptable Processes   * 11:20 - 11:40 M.Bravetti (UNIBO): Adaptable Processes
-    * 11:40 - 12:00 A. Ricci (UNIBO): From Object-Oriented to Agent-Oriented programming in SimpAL ​+    * 11:40 - 12:00 A. Ricci (UNIBO): ​{{:​cina2013-ricci-slides.pdf|From Object-Oriented to Agent-Oriented programming in SimpAL}} 
     * 12:00 - 12:20 S. Gnesi (ISTI): A Model-Checking Approach for Static and Dynamic Modelling of Product Lines     * 12:00 - 12:20 S. Gnesi (ISTI): A Model-Checking Approach for Static and Dynamic Modelling of Product Lines
-    * 12:20 - 12:40 R. Traverso (UNIGE): Verifica di sistemi concorrenti e distribuiti ​+    * 12:20 - 12:40 R. Traverso (UNIGE): ​{{:​cina2013-traverso-talk.pdf|Verifica di sistemi concorrenti e distribuiti}} 
     * 12:40 - 13:00 //​Discussione//​     * 12:40 - 13:00 //​Discussione//​
  
Line 77: Line 77:
     * 14:10 - 14:30 M. Boreale (UNIFI): Introduction to quantitative information flow     * 14:10 - 14:30 M. Boreale (UNIFI): Introduction to quantitative information flow
     * 14:30 - 14:50 M. Paolini (IMT): Worst- and average-case privacy breaches in randomization mechanisms     * 14:30 - 14:50 M. Paolini (IMT): Worst- and average-case privacy breaches in randomization mechanisms
-    * 14:50 - 15:10 A. Celestini (IMT): Analysis for trust and reputation systems +    * 14:50 - 15:10 A. Celestini (IMT): ​{{:​cina2013-celestini.pdf|Analysis for trust and reputation systems}} 
-    * 15:10 - 15:30 A. Polini (ISTI/​UNICAM):​ Run-time failure forecasting for dynamically evolving systems+    * 15:10 - 15:30 A. Polini (ISTI/​UNICAM): ​{{:​cina2013-polini_isti_unicam.pdf|Run-time failure forecasting for dynamically evolving systems}}
     * 15:30 - 15:50 //​Discussione//​     * 15:30 - 15:50 //​Discussione//​
  
Line 85: Line 85:
   * 16:20 - 18:10 **WP4 - Performability:​ Valutare per Decidere**   * 16:20 - 18:10 **WP4 - Performability:​ Valutare per Decidere**
     * 16:20 - 16:30 //Intro// (M. Bernardo)     * 16:20 - 16:30 //Intro// (M. Bernardo)
-    * 16:30 - 16:50 D. Latella (ISTI): A Uniform Framework for the Operational Semantics of Quantitative Process Calculi  +    * 16:30 - 16:50 D. Latella (ISTI): ​{{:​cina2013-latella_lucidi_ko_cina.pdf|A Uniform Framework for the Operational Semantics of Quantitative Process Calculi}}  
-    * 16:50 - 17:10 M. Bernardo (IMT-UNIURB):​ The ULTraS Framework: New Behavioral Equivalences for Nondeterministic and Probabilistic Processes and Their Spectrum +    * 16:50 - 17:10 M. Bernardo (IMT-UNIURB): ​{{:​cina2013-bernardo-ultras.pdf|The ULTraS Framework: New Behavioral Equivalences for Nondeterministic and Probabilistic Processes and Their Spectrum}} 
-    * 17:10 - 17:30 M. Massink (ISTI): Analyzing Robot Swarm Decision Making with BioPEPA +    * 17:10 - 17:30 M. Massink (ISTI): ​{{:​cina2013-massink_robots_cina_2013.pdf|Analyzing Robot Swarm Decision Making with BioPEPA}} 
-    * 17:30 - 17:50 A. Corradini (UNIPI): Applying Process Analysis to the Italian eGovernment Enterprise Architecture ​+    * 17:30 - 17:50 A. Corradini (UNIPI): ​{{:​cina2013-corradini-cina-processminingandpa-feb2013.pdf|Applying Process Analysis to the Italian eGovernment Enterprise Architecture}} 
     * 17:50 - 18:10 //​Discussione//​     * 17:50 - 18:10 //​Discussione//​
  
Line 98: Line 98:
 === Mercoledì, 6 Febbraio === === Mercoledì, 6 Febbraio ===
   * 09:00 - 11:30 **WP3 - Glocality: Riconciliare Visione Locale e Globale**   * 09:00 - 11:30 **WP3 - Glocality: Riconciliare Visione Locale e Globale**
-    * 09:00 - 09:10 //Intro// (R. Bruni) +    * 09:00 - 09:10 //{{:​cina2013-bruni-wp3-cina-pisa-2013.pdf|Intro}}// (R. Bruni) 
-    * 09:10 - 09:30 U. de' Liguoro (UNITO): Typing global and local agents with session ​ types: issues and perspectives+    * 09:10 - 09:30 U. de' Liguoro (UNITO): ​{{:​cina2013-deliguoro-cina-talk.pdf|Typing global and local agents with session ​ types: issues and perspectives}}
     * 09:30 - 09:50 M. Viroli (UNIBO): Comportamenti emergenti     * 09:30 - 09:50 M. Viroli (UNIBO): Comportamenti emergenti
-    * 09:50 - 10:10 L. Tesei (UNICAM): From shape calculus towards a multilevel spatio temporal formalism +    * 09:50 - 10:10 L. Tesei (UNICAM): ​{{:​cina2013-tesei-cina-kick-off-2013presentation.pdf|From shape calculus towards a multilevel spatio temporal formalism}} 
-    * 10:10 - 10:30 M. Lenisa (UNIPI-UNIUD):​ Game semantics for concurrent and distributed systems  +    * 10:10 - 10:30 M. Lenisa (UNIPI-UNIUD): ​{{:​cina2013-lenisa-slides-pisa.pdf|Game semantics for concurrent and distributed systems}}  
-    * 10:30 - 10:50 R. Bruni (UNIPI): From static to dynamic connectors +    * 10:30 - 10:50 R. Bruni (UNIPI): ​{{:​cina2013-bruni-connectors-cina-pisa-2013.pdf|From static to dynamic connectors}} 
-    * 10:50 - 11:10 M. Sammartino (UNIPI): Operational models for resouce-aware calculi+    * 10:50 - 11:10 M. Sammartino (UNIPI): ​{{:​cina2013-sammartino-cina.pdf|Operational models for resouce-aware calculi}}
     * 11:10 - 11:30 Discussione ​     * 11:10 - 11:30 Discussione ​
  
Line 113: Line 113:
     * 11:50 - 12:00 E. Merelli (UNICAM): TOPDRIM     * 11:50 - 12:00 E. Merelli (UNICAM): TOPDRIM
     * 12:00 - 12:10 M. Viroli (UNIBO): SAPERE ​     * 12:00 - 12:10 M. Viroli (UNIBO): SAPERE ​
-    * 12:10 - 12:20 U. Montanari (UNIPI): ASCENS +    * 12:10 - 12:20 U. Montanari (UNIPI): ASCENS ​({{:​cina2013-montanari_cina_ascens.pdf|pdf}} - {{:​cina2013-montanari_cina_ascens.ppt|ppt}}) 
-    * 12:20 - 12:30 M. Massink (ISTI): QUANTICOL+    * 12:20 - 12:30 M. Massink (ISTI): ​{{:​cina2013-massink_qcol_cina_slides.pdf|QUANTICOL}}
     * 12:30 - 12:40 D. Sangiorgi (UNIBO): HATS     * 12:30 - 12:40 D. Sangiorgi (UNIBO): HATS
     * 12:40 - 12:50 M. Aldinucci (UNITO): ParaPhrase et al.     * 12:40 - 12:50 M. Aldinucci (UNITO): ParaPhrase et al.
cina-kick-off-meeting.txt · Last modified: 2015/02/13 18:52 by unipi