WOA 2005 dagli Oggetti agli Agenti Simulazione e Analisi Formale di Sistemi Complessi Dipartimento di Matematica e Informatica Università di Camerino Camerino, 14-16 Novembre 2005 URL: http://woa05.cs. unicam.it, email:woa05@unicam.it Il Gruppo di lavoro "Sistemi ad Agente e Multiagente" dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA) e l'Associazione Italiana Tecnologie Avanzate Basate su concetti Orientati ad Oggetti (TABOO) in collaborazione con il Dipartimento di Matematica e Informatica dell'Università degli Studi di Camerino, gruppo di lavoro "Ingegneria dei Sistemi Software Complessi", organizzano un workshop sul tema Simulazione e Analisi Formale dei Sistemi Complessi che si terrà a Camerino dal 14 al 16 novembre 2005. Scopo Le tecnologie degli agenti stanno assumendo un ruolo centrale non solo nel settore dell'intelligenza artificiale, ma anche in settori più tradizionali dell'informatica quali l'ingegneria del software e i linguaggi di programmazione, dove il concetto di agente viene considerato una naturale estensione di quello di oggetto. L'importanza di queste tecniche è dimostrata anche in ambito industriale dall'interesse per il loro utilizzo nella realizzazione di strumenti e applicazioni in molteplici aree. L'evento di quest'anno è dedicato a "Simulazione e Analisi Formale di Sistemi Complessi". Comitato Scientifico Organizzatore Flavio Corradini (U. Camerino) Flavio De Paoli (U. Milano - Bicocca) Emanuela Merelli (U. Camerino) Andrea Omicini (U. Bologna - Cesena)
6th Joint Workshop AI*IA/TABOO "Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi" (WOA 2005)
OMICINI, ANDREA
2005
Abstract
WOA 2005 dagli Oggetti agli Agenti Simulazione e Analisi Formale di Sistemi Complessi Dipartimento di Matematica e Informatica Università di Camerino Camerino, 14-16 Novembre 2005 URL: http://woa05.cs. unicam.it, email:woa05@unicam.it Il Gruppo di lavoro "Sistemi ad Agente e Multiagente" dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA) e l'Associazione Italiana Tecnologie Avanzate Basate su concetti Orientati ad Oggetti (TABOO) in collaborazione con il Dipartimento di Matematica e Informatica dell'Università degli Studi di Camerino, gruppo di lavoro "Ingegneria dei Sistemi Software Complessi", organizzano un workshop sul tema Simulazione e Analisi Formale dei Sistemi Complessi che si terrà a Camerino dal 14 al 16 novembre 2005. Scopo Le tecnologie degli agenti stanno assumendo un ruolo centrale non solo nel settore dell'intelligenza artificiale, ma anche in settori più tradizionali dell'informatica quali l'ingegneria del software e i linguaggi di programmazione, dove il concetto di agente viene considerato una naturale estensione di quello di oggetto. L'importanza di queste tecniche è dimostrata anche in ambito industriale dall'interesse per il loro utilizzo nella realizzazione di strumenti e applicazioni in molteplici aree. L'evento di quest'anno è dedicato a "Simulazione e Analisi Formale di Sistemi Complessi". Comitato Scientifico Organizzatore Flavio Corradini (U. Camerino) Flavio De Paoli (U. Milano - Bicocca) Emanuela Merelli (U. Camerino) Andrea Omicini (U. Bologna - Cesena)I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
