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/03/04 16:53]
unito [Agenda (tentativo)]
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 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 62: Line 62:
   * 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 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ì |
general-meeting.txt · Last modified: 2014/03/31 16:56 by unipi