La riunione inizierà il 4 Febbraio 2013 alle 14:30 e si concluderà il 6 febbraio alle 13:30.

La riunione sarà preceduta dal meeting finale congiunto dei progetti IPODS e SISTER (PRIN 2008) che si svolgerà la mattina del 4 Febbraio.

La riunione avrà luogo presso

• Università di Pisa, Dipartimento di Informatica
• Largo B. Pontecorvo, 3 (ex via F. Buonarroti, 2) 56127 Pisa (Italia)
• Aula Gerace
• Come arrivare (Google maps)

• Una lista di Hotel frequentemente utilizzati dai visitatori di UNIPI è disponibile qui

• Modello A (ITA-ENG)

• 09:00 - 12:50 IPODS + SISTER

• 12:50 - 13:50 Pranzo leggero

• 13:50 - 14:00 Benvenuto (De Nicola-Bruni-Gadducci)

• 14:00 - 15:00 WP6 - Validazione: Casi di Studio
  • 14:00 - 14:20 A. Marin (UNIVE): Progetto Smart Cities
  • 14:20 - 12:40 M. Pistore (UNIBO-FBK): Caso di studio di Trento
  • 14:40 - 15:00 V. Monreale (UNIPI): Caso di studio su Automotive

• 15:00 - 16:30 WP2 - Negoziazione: Transazioni, Reversibilità e Compensazioni
  • 15:00 - 15:10 Intro (D. Sangiorgi)
  • 15:10 - 15:30 U. Montanari (UNIPI): Constraints for Service Contracts
  • 15:30 - 15:50 I. Lanese (UNIBO): Reversibility
  • 15:50 - 16:10 D. Ancona (UNIGE): Global Types for Dynamic Checking of Protocol Conformance of Multi-Agent Systems
  • 16:10 - 16:30 Discussione

• 16:30 - 17:00 Pausa caffè

• 17:00 - 18:40 Altri risultati
  • Chair (M. Dezani)
  • 17:00 - 17:20 R. De Nicola (IMT): Programming Abstractions for Autonomic Computing
  • 17:20 - 17:40 F. Tiezzi (IMT): From Access Control towards Autonomic Computing Policies
  • 17:40 - 18:00 M. Loreti (UNIFI): SCEL at Work with Robots
  • 18:00 - 18:20 M. Miculan (UNIPI-UNIUD): Structural Operational Semantics for Continuous State Transition Systems
  • 18:20 - 18:40 Discussione

• 09:00 - 13:00 WP1 - Autonomicità: Adattività e Self-Awareness
  • 09:00 - 09:10 Intro (E. Zucca)
  • 09:10 - 09:30 W. Cazzola (UNIGE): Self-Evolution under the Hood: JavAdaptor – Schema Changes at Hands
  • 09:30 - 09:50 L. Bettini (UNITO): Implementing Java-like languages in Xtext with Xsemantics
  • 09:50 - 10:10 A. Bucchiarone (UNIBO-FBK): Dynamic adaptation of fragment-based services
  • 10:10 - 10:30 A. Lluch Lafuente (IMT): White-box adaptation
  • 10:30 - 10:50 D. Cacciagrano (UNICAM): Semantic-driven mining: a specification and programming approach for adaptive processes

• 10:50 - 11:20 Pausa caffè

• 11:20 - 11:40 M.Bravetti (UNIBO): Adaptable Processes
  • 11:40 - 12:00 A. Ricci (UNIBO): From Object-Oriented to Agent-Oriented programming in SimpAL
  • 12:00 - 12:20 S. Gnesi (ISTI): A Model-Checking Approach for Static and Dynamic Modelling of Product Lines
  • 12:20 - 12:40 R. Traverso (UNIGE): Verifica di sistemi concorrenti e distribuiti
  • 12:40 - 13:00 Discussione

• 13:00 - 14:00 Pranzo

• 14:00 - 15:50 WP5 - Affidabilità: Correttezza e Sicurezza
  • 14:00 - 14:10 Intro (M. Boreale)
  • 14:10 - 14:30 M. Boreale (UNIFI): Introduction to quantitative information flow
  • 14:30 - 14:50 M. Paolini (IMT): Worst- and average-case privacy breaches in randomization mechanisms
  • 14:50 - 15:10 A. Celestini (IMT): Analysis for trust and reputation systems
  • 15:10 - 15:30 A. Polini (ISTI/UNICAM): Run-time failure forecasting for dynamically evolving systems
  • 15:30 - 15:50 Discussione

• 15:50 - 16:20 Pausa caffè

• 16:20 - 18:10 WP4 - Performability: Valutare per Decidere
  • 16:20 - 16:30 Intro (M. Bernardo)
  • 16:30 - 16:50 D. Latella (ISTI): A Uniform Framework for the Operational Semantics of Quantitative Process Calculi
  • 16:50 - 17:10 M. Bernardo (IMT-UNIURB): The ULTraS Framework: New Behavioral Equivalences for Nondeterministic and Probabilistic Processes and Their Spectrum
  • 17:10 - 17:30 M. Massink (ISTI): Analyzing Robot Swarm Decision Making with BioPEPA
  • 17:30 - 17:50 A. Corradini (UNIPI): Applying Process Analysis to the Italian eGovernment Enterprise Architecture
  • 17:50 - 18:10 Discussione

• 18:15 - 19:00 Riunione organizzativa dei WP/site leaders

• 20:00 Cena sociale presso il Ristorante L'Artilafo in Via San Martino n.33 (mappa)

• 09:00 - 11:30 WP3 - Glocality: Riconciliare Visione Locale e Globale
  • 09:00 - 09:10 Intro (R. Bruni)
  • 09:10 - 09:30 U. de' Liguoro (UNITO): Typing global and local agents with session types: issues and perspectives
  • 09:30 - 09:50 M. Viroli (UNIBO): Comportamenti emergenti
  • 09:50 - 10:10 L. Tesei (UNICAM): From shape calculus towards a multilevel spatio temporal formalism
  • 10:10 - 10:30 M. Lenisa (UNIPI-UNIUD): Game semantics for concurrent and distributed systems
  • 10:30 - 10:50 R. Bruni (UNIPI): From static to dynamic connectors
  • 10:50 - 11:10 M. Sammartino (UNIPI): Operational models for resouce-aware calculi
  • 11:10 - 11:30 Discussione

• 11:30 - 11:50 Pausa caffe

• 11:50 - 13:00 Progetti correlati
  • Chair (E. Merelli)
  • 11:50 - 12:00 E. Merelli (UNICAM): TOPDRIM
  • 12:00 - 12:10 M. Viroli (UNIBO): SAPERE
  • 12:10 - 12:20 U. Montanari (UNIPI): ASCENS (pdf - ppt)
  • 12:20 - 12:30 M. Massink (ISTI): QUANTICOL
  • 12:30 - 12:40 D. Sangiorgi (UNIBO): HATS
  • 12:40 - 12:50 M. Aldinucci (UNITO): ParaPhrase et al.
  • 12:50 - 13:00 Discussione

• 13:00 - 13:30 Chiusura

• 13:30 - 14:30 Pranzo leggero

• Roberto Bruni (bruni [AT] di.unipi.it)
• Fabio Gadducci (gadducci [AT] di.unipi.it)