Interventi durante WOA 2005

• M. Baldoni, C. Baroglio, A. Martelli, V. Mascardi, V. Patti, C. Schifanella, L. Torasso:
  • "Personalization, verification and conformance for logic-based communicating agents"


• M. Alberti, F. Chesani, A. Ciampolini, P. Mello, M. Montali, S. Storari, P. Torroni:
  • "Specifica e verifica di protocolli nel progetto Massive"


• A. Martelli:
  • "Specification and verification of agent interaction protocols"


• L. Giordano, A. Martelli, P. Terenziani, A. Bottrighi, S. Montani:
  • "A temporal approach to the specification and verification of Interaction Protocols"