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
general-meeting [2014/02/14 13:15]
unibo
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 80: 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 98: 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 110: 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 121: 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 ​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 136: 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