This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
general-meeting [2014/03/12 15:24] unibo |
general-meeting [2014/03/31 16:56] unipi [Partecipanti] |
||
---|---|---|---|
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ì | |