general-meeting
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
general-meeting [2014/02/21 10:17] unibo |
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 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 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
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
