User Tools

Site Tools


general-meeting

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
Last revision Both sides next revision
general-meeting [2014/02/13 14:28]
unito
general-meeting [2014/03/31 16:56]
unipi [Partecipanti]
Line 27: Line 27:
   * 14:00 - 16:00 **WP1**   * 14:00 - 16:00 **WP1**
     * //Intro //      * //Intro // 
-    * Towards Global and Local Types for Adaptation (Bravetti, Carbone, Hildebrandt,​ Lanese, Mauro, Pérez, Zavattaro)  ​+    * [[http://​www.cs.unibo.it/​~lanese/​work/​cina2014bologna-adapttypes.pdf|Towards Global and Local Types for Adaptation]] (Bravetti, Carbone, Hildebrandt,​ Lanese, Mauro, Pérez, Zavattaro)  ​
     * Deadlock Freedom by Construction for Distributed Adaptative Applications (Giallorenzo) //DEMO: 20 min//     * Deadlock Freedom by Construction for Distributed Adaptative Applications (Giallorenzo) //DEMO: 20 min//
     * Self-Adaptive Monitors for Multiparty Sessions (Coppo, Dezani,​Venneri)     * Self-Adaptive Monitors for Multiparty Sessions (Coppo, Dezani,​Venneri)
Line 37: Line 37:
     * On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality,​ Reduction and Reuse (Bucchiarone,​ Mezzina, Pistore)     * On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality,​ Reduction and Reuse (Bucchiarone,​ Mezzina, Pistore)
     * Business Process Flexibility A Systematic Literature Review (Polini, Corradini, Gnesi, Cognini, Tesei, Re)     * Business Process Flexibility A Systematic Literature Review (Polini, Corradini, Gnesi, Cognini, Tesei, Re)
-       +  * 20:00 Dinner ​    
                
 === Mercoledì, 19 Febbraio === === Mercoledì, 19 Febbraio ===
Line 47: Line 47:
   * 10:45 - 12:00 **WP2**   * 10:45 - 12:00 **WP2**
     * //Intro//     * //Intro//
-    * Causal-Consistent Reversibility in a Tuple-Based Distributed Language (Giachino, Lanese, Mezzina, Tiezzi)+    * [[http://​www.cs.unibo.it/​~lanese/​work/​cina2014bologna-revklaim-Tiezzi.pdf|Causal-Consistent Reversibility in a Tuple-Based Distributed Language]] (Giachino, Lanese, Mezzina, Tiezzi)
     * Loosening the notions of compliance for session behaviours (Barbanera, de'​Liguoro)     * Loosening the notions of compliance for session behaviours (Barbanera, de'​Liguoro)
     * //​Discussione//​     * //​Discussione//​
Line 57: Line 57:
     * A coordinating approach to global e-mobility optimization problems (Monreale)     * A coordinating approach to global e-mobility optimization problems (Monreale)
     * Graph-based Model Checking for Distributed Algorithms (Delzanno)     * Graph-based Model Checking for Distributed Algorithms (Delzanno)
-    * Self organization by computational fields (Damiani)+    * [[http://​www.di.unito.it/​~damiani/​CINA/​damiani-CINA-2ndGM.pdf|Self organization by computational fields]]  ​(Damiani)
     * //​Discussione//​     * //​Discussione//​
   * 16:00 - 16:30 //coffee break//   * 16:00 - 16:30 //coffee break//
   * 16:30 - 17:30 **WP4**   * 16:30 - 17:30 **WP4**
     * //Intro//     * //Intro//
-    * Probabilities in Higher-Order Languages (Vignudelli)+    * [[https://​docs.google.com/​viewer?​a=v&​pid=sites&​srcid=ZGVmYXVsdGRvbWFpbnx2YWxlcmlhdmlnbnVkZWxsaXxneDo2YzYwMTVhZjYzN2YwYzQ|Probabilities in Higher-Order Languages]] (Vignudelli)
     * Prosumer Planning in the DEZENT Context of Regenerative Power Production (Tcheukam, Montanari)     * Prosumer Planning in the DEZENT Context of Regenerative Power Production (Tcheukam, Montanari)
   * 17:30 - 18:15 **Case studies**   * 17:30 - 18:15 **Case studies**
Line 69: Line 69:
     * ......     * ......
     * //​Discussione// ​     * //​Discussione// ​
 +  * 20:00 Social dinner @ Osteria de' Poeti, Via Dè Poeti, 1/B
  
 === Giovedì, 20 Febbraio === === Giovedì, 20 Febbraio ===
Line 79: Line 80:
     * Classification Techniques for Conformance and Performance Checking in Process Analysis (Corradini)     * Classification Techniques for Conformance and Performance Checking in Process Analysis (Corradini)
     * GSOS for Nondeterministic Processes with Quantitative Aspects (Miculan)     * GSOS for Nondeterministic Processes with Quantitative Aspects (Miculan)
-    * Collaborative Task Execution in Volunteer Clouds (Lluch Lafuente) //Short//: 15 min+    * [[http://​www.slideshare.net/​albertolluch/​collaborative-task-execution-in-volunteer-clouds-or-how-to-choose-a-subreviewer|Collaborative Task Execution in Volunteer Clouds]] (Lluch Lafuente) //Short//: 15 min
     * Probabilistic Timed Automata Games (Sproston) //Short//: 15 min     * Probabilistic Timed Automata Games (Sproston) //Short//: 15 min
     * //​Discussione//  ​     * //​Discussione//  ​
Line 97: Line 98:
 | 02 | Alberto Lluch Lafuente | IMT | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì |  | 02 | Alberto Lluch Lafuente | IMT | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì | 
 | 03 | Francesco Tiezzi | IMT | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì |  | 03 | Francesco Tiezzi | IMT | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì | 
-| 04 | Maurice ter Beek | ISTI-CNR | 18.02.2014 | 13:00 | 19.02.2014 | 18:00 | Se martedì sì |+| 04 | Maurice ter Beek | ISTI-CNR | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì |
 | 05 | Marco Bernardo | IMT (UniUrb) | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì | | 05 | Marco Bernardo | IMT (UniUrb) | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì |
 | 06 | Mariangiola Dezani | UniTo | 18.02.2014 | 16:00 | 20.02.2014 | 18:00 | Sì | | 06 | Mariangiola Dezani | UniTo | 18.02.2014 | 16:00 | 20.02.2014 | 18:00 | Sì |
-| 07 | Ferruccio Damiani | UniTo | 18.02.2014 | 20:17 (stazione FS) | 21.02.2014 |  +| 07 | Ferruccio Damiani | UniTo | 18.02.2014 | 20:17 (stazione FS) | 21.02.2014 | ? | Si |
 | 08 | Sara Capecchi | UniTo | 18.02.2014 | 14:00 | 21.02.2014 | 17:00 | Sì | | 08 | Sara Capecchi | UniTo | 18.02.2014 | 14:00 | 21.02.2014 | 17:00 | Sì |
 | 09 | Diego Latella | ISTI | 19.02.2014 | 12:00 | 20.02.2014 | 17:00 | Se mercoledi sì | | 09 | Diego Latella | ISTI | 19.02.2014 | 12:00 | 20.02.2014 | 17:00 | Se mercoledi sì |
Line 109: Line 110:
 | 14 | Mirko Viroli | Unibo | 19.02.2014|9:​00 | 19.02.2014|19:​00 | ? | | 14 | Mirko Viroli | Unibo | 19.02.2014|9:​00 | 19.02.2014|19:​00 | ? |
 | 15 | Valeria Vignudelli | Unibo | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì | | 15 | Valeria Vignudelli | Unibo | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì |
-| 16 | Walter Cazzola | UniGE (UniMI) | 18.02.2014 | | 20.02.2014 | | Sì |+| 16 | Walter Cazzola | UniGE (UniMI) | 18.02.2014 |11:15| 20.02.2014 |15:38 | Sì |
 | 17 | Roberto Bruni | UniPI | 18.02.2014 | 14:00 | 20.02.2014 | 17:00 | Sì | | 17 | Roberto Bruni | UniPI | 18.02.2014 | 14:00 | 20.02.2014 | 17:00 | Sì |
 | 18 | Andrea Corradini | UniPI | 18.02.2014 | 14:00 | 20.02.2014 | 17:00 | Sì | | 18 | Andrea Corradini | UniPI | 18.02.2014 | 14:00 | 20.02.2014 | 17:00 | Sì |
Line 120: Line 121:
 | 25 | Michela Paolini | IMT   | 18.02.2014 | 14.00 | 20.02.2014 | 17.00 | Sì | | 25 | Michela Paolini | IMT   | 18.02.2014 | 14.00 | 20.02.2014 | 17.00 | Sì |
 | 26 | Matteo Sammartino | UniPi | 18.02.2014 | 14.00 | 20.02.2014 | 17.00 | Sì | | 26 | Matteo Sammartino | UniPi | 18.02.2014 | 14.00 | 20.02.2014 | 17.00 | Sì |
-| 27 | Valentina Monreale | UniPi | 19.02.2014 | 9.00 | 20.02.2014 | 17.00 | No |+| 27 | Giacoma ​Valentina Monreale | UniPi | 19.02.2014 | 9.00 | 20.02.2014 | 17.00 | No |
 | 28 | Paola Giannini | UniGe(UPO) | 18.02.2014 | 14.00 | 20.02.2014 | 17.00 | Sì | | 28 | Paola Giannini | UniGe(UPO) | 18.02.2014 | 14.00 | 20.02.2014 | 17.00 | Sì |
 | 29 | Michele Loreti | UniFI | 18.02.2014 | 13.00 | 20.02.2014 | 17.00 | Sì | | 29 | Michele Loreti | UniFI | 18.02.2014 | 13.00 | 20.02.2014 | 17.00 | Sì |
Line 135: Line 136:
 | 40 | Andrea Polini | Unicam | 18.02.2014 | 12:00 | 18.02.2012 | 19:00 | No | | 40 | Andrea Polini | Unicam | 18.02.2014 | 12:00 | 18.02.2012 | 19:00 | No |
 | 41 | Marina Lenisa | UniUD | 18.02.2014 | 14:00 | 20.02.2014 | 15:30 | Si | | 41 | Marina Lenisa | UniUD | 18.02.2014 | 14:00 | 20.02.2014 | 15:30 | Si |
-| 42 | Giorgio Delzanno | UniGE | 18.02.2014 | 11:00 | 20.02.2014 | 12:00 | Si |+| 42 | Giorgio Delzanno | UniGE | 19.02.2014 | 12:00 | 20.02.2014 | 12:00 | Si |
 | 43 | Davide Ancona ​   | UniGE | 18.02.2014 | 14:00 | 20.02.2014 | 16:00 | Sì | | 43 | Davide Ancona ​   | UniGE | 18.02.2014 | 14:00 | 20.02.2014 | 16:00 | Sì |
 +| 44 | Emanuela Merelli | Unicam | 19.02.2014 | 20:00 | 20.02.2014 | 17:00 | Sì | 
 +| 45 | Michele Bugliesi | UniVE | 18.02.2014 | 14:00 | 19.02.2014 | 12:00 | No |
  
  
general-meeting.txt · Last modified: 2014/03/31 16:56 by unipi