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/17 09:51]
unige [Partecipanti]
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 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 ​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 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ì | | 44 | Emanuela Merelli | Unicam | 19.02.2014 | 20:00 | 20.02.2014 | 17:00 | Sì |
general-meeting.txt · Last modified: 2014/03/31 16:56 by unipi