L’Ateneo di Camerino ospiterà, dal 14 al 16 novembre prossimi, presso il Polo Informatico, un workshop per parlare di “Simulazione e Analisi Formale dei Sistemi Complessi”. L’iniziativa è promossa in collaborazione con il Gruppo di lavoro “Sistemi ad Agente e Multiagente” dell’Associazione Italiana per l’Intelligenza Artificiale e l’Associazione Italiana Tecnologie Avanzate Basate su concetti Orientati ad Oggetti.

“Nel corso delle tre giornate – sottolinea il Prof. Flavio Corradini, Presidente dei corsi di Laurea in Informatica di Unicam che ha curato L’organizzazione scientifica dell’evento insieme alla prof.ssa Emanuela Merelli - parleremo di simulazione ed analisi formale di sistemi informatici complessi, cioè di sistemi la cui progettazione ed implementazione risulta molto difficile da affrontare per effetto di nuove esigenze della nostra società.

L’obiettivo generale è quello di anticipare, quanto possibile, la valutazione della corretezza o del comportamento di un sistema prima che questo sia implementato e messo in uso, in modo particolare con riferimento ai sistemi che controllano la vita dell’uomo.

Grazie alla simulazione - prosegue il prof. Corradini - si cerca di emulare, mediante uno specifico strumento software, il comportamento del sistema al fine di comprenderne bene il funzionamento ed anticiparne atteggiamenti non desiderati. Il tutto ha implicazioni applicative di notevole interesse: si pensi ai sistemi biologici (modellizzazione e sperimentazione), alla produzione industriale (automazione e controllo dei processi produttivi), alla pubblica amministrazione (flussi documentali e digitalizzazione). In questi ambiti l'Università di Camerino ha competenze significative che hanno portato le Associazioni promotrici dell’incontro a sceglierla come sede di svolgimento del workshop per l’anno 2005”.