Incontro ad Alessandria del 14 luglio 2005

• D. Theseider Dupré:
  • "Cooperative Model-based Diagnosis of Web Services"


• P. Terenziani, S. Montani, A. Bottrighi, G. Molino, M. Torchio:
  • "Clinical Guidelines Adaptation: Managing Authoring and Versioning Issues"


• F. Chesani:
  • "E-Learning e Vincoli Sociali di Integrità"


• S. Storari:
  • "Linguaggi per la specifica e la verifica di linee guida in campo medico"


• P. Mello:
  • "Logica computazionale basata su abduzione per modellare il ragionamento e l'interazione in società di agenti: risultati e obiettivi futuri."


• M. Baldoni, C. Baroglio, A. Martelli, V. Patti, C. Schifanella:
  • "Verifying the Conformance of Web Services to Global Interaction Protocols"


• V. Mascardi:
  • "Massive: attività svolte, attività future."