6th Joint Workshop AI*IA/TABOO "Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi" (WOA 2005)