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/17 18:28]
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 ​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ì |
general-meeting.txt · Last modified: 2014/03/31 16:56 by unipi