Speaker: Roberto Degli'Innocenti
Title: Analisi di linguaggi di specifica standard per modellare sistemi ad agenti

Abstract. Verra' fornita una panoramica sulla possibilita' di utilizzare linguaggi di specifica "standard" (LOTOS, ObjectZ, CafeObj, SMoLCS, UML) per specificare sistemi multi-agente (MAS).