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/03/04 16:53]
unito [Agenda (tentativo)]
general-meeting [2014/03/31 16:56] (current)
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 ​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.1393948399.txt.gz · Last modified: 2014/03/04 16:53 by unito