general-meeting
Differences
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/02/14 13:15] 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 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 98: | Line 98: | ||
| | 02 | Alberto Lluch Lafuente | IMT | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì | | | 02 | Alberto Lluch Lafuente | IMT | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì | | ||
| | 03 | Francesco Tiezzi | IMT | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì | | | 03 | Francesco Tiezzi | IMT | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì | | ||
| - | | 04 | Maurice ter Beek | ISTI-CNR | 18.02.2014 | 13:00 | 19.02.2014 | 18:00 | Se martedì sì | | + | | 04 | Maurice ter Beek | ISTI-CNR | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì | |
| | 05 | Marco Bernardo | IMT (UniUrb) | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì | | | 05 | Marco Bernardo | IMT (UniUrb) | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì | | ||
| | 06 | Mariangiola Dezani | UniTo | 18.02.2014 | 16:00 | 20.02.2014 | 18:00 | Sì | | | 06 | Mariangiola Dezani | UniTo | 18.02.2014 | 16:00 | 20.02.2014 | 18:00 | Sì | | ||
| - | | 07 | Ferruccio Damiani | UniTo | 18.02.2014 | 20:17 (stazione FS) | 21.02.2014 | | + | | 07 | Ferruccio Damiani | UniTo | 18.02.2014 | 20:17 (stazione FS) | 21.02.2014 | ? | Si | |
| | 08 | Sara Capecchi | UniTo | 18.02.2014 | 14:00 | 21.02.2014 | 17:00 | Sì | | | 08 | Sara Capecchi | UniTo | 18.02.2014 | 14:00 | 21.02.2014 | 17:00 | Sì | | ||
| | 09 | Diego Latella | ISTI | 19.02.2014 | 12:00 | 20.02.2014 | 17:00 | Se mercoledi sì | | | 09 | Diego Latella | ISTI | 19.02.2014 | 12:00 | 20.02.2014 | 17:00 | Se mercoledi sì | | ||
| Line 110: | Line 110: | ||
| | 14 | Mirko Viroli | Unibo | 19.02.2014|9:00 | 19.02.2014|19:00 | ? | | | 14 | Mirko Viroli | Unibo | 19.02.2014|9:00 | 19.02.2014|19:00 | ? | | ||
| | 15 | Valeria Vignudelli | Unibo | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì | | | 15 | Valeria Vignudelli | Unibo | 18.02.2014 | 13:00 | 20.02.2014 | 17:00 | Sì | | ||
| - | | 16 | Walter Cazzola | UniGE (UniMI) | 18.02.2014 | | 20.02.2014 | | Sì | | + | | 16 | Walter Cazzola | UniGE (UniMI) | 18.02.2014 |11:15| 20.02.2014 |15:38 | Sì | |
| | 17 | Roberto Bruni | UniPI | 18.02.2014 | 14:00 | 20.02.2014 | 17:00 | Sì | | | 17 | Roberto Bruni | UniPI | 18.02.2014 | 14:00 | 20.02.2014 | 17:00 | Sì | | ||
| | 18 | Andrea Corradini | UniPI | 18.02.2014 | 14:00 | 20.02.2014 | 17:00 | Sì | | | 18 | Andrea Corradini | UniPI | 18.02.2014 | 14:00 | 20.02.2014 | 17:00 | Sì | | ||
| 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ì | | ||
| Line 136: | Line 136: | ||
| | 40 | Andrea Polini | Unicam | 18.02.2014 | 12:00 | 18.02.2012 | 19:00 | No | | | 40 | Andrea Polini | Unicam | 18.02.2014 | 12:00 | 18.02.2012 | 19:00 | No | | ||
| | 41 | Marina Lenisa | UniUD | 18.02.2014 | 14:00 | 20.02.2014 | 15:30 | Si | | | 41 | Marina Lenisa | UniUD | 18.02.2014 | 14:00 | 20.02.2014 | 15:30 | Si | | ||
| - | | 42 | Giorgio Delzanno | UniGE | 18.02.2014 | 11:00 | 20.02.2014 | 12:00 | Si | | + | | 42 | Giorgio Delzanno | UniGE | 19.02.2014 | 12:00 | 20.02.2014 | 12:00 | Si | |
| | 43 | Davide Ancona | UniGE | 18.02.2014 | 14:00 | 20.02.2014 | 16:00 | Sì | | | 43 | Davide Ancona | UniGE | 18.02.2014 | 14:00 | 20.02.2014 | 16:00 | Sì | | ||
| + | | 44 | Emanuela Merelli | Unicam | 19.02.2014 | 20:00 | 20.02.2014 | 17:00 | Sì | | ||
| + | | 45 | Michele Bugliesi | UniVE | 18.02.2014 | 14:00 | 19.02.2014 | 12:00 | No | | ||
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
