Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

Dipartimento Di Scienze Dell'Informazione

www.dsi.unimi.it

Indirizzo: Via Comelico, 39/41 - 20135 Milano Telefono: 0250316200 Fax: 0250316201 E-Mail: segreteriadsi@dsi.unimi.it Direttore: Prof.ssa Elisa Bertino Macro-Settore: Scienze e Ingegneria dell'Informazione Area di afferenza 1: Scienze Informatiche

1. Organico assegnato e altri collaboratori alla ricerca afferenti alla struttura

1.1 Personale docente

Professori di I fascia a tempo pieno Apolloni Bruno tel. 0250316284 apolloni@dsi.unimi.it

Bertino Elisa " 0250316227 bertino@dsi.unimi.it

Bertoni Alberto " 0250316236 bertoni@dsi.unimi.it

Campadelli Paola " 0250316231 campadelli@dsi.unimi.it

Castano Silvana " 0250316319 castano@dsi.unimi.it

De Falco Diego " 0250316240 defalco@dsi.unimi.it

Haus Goffredo " 0250316222 haus@dsi.unimi.it

Italiani Mario " 0250316237 italiani@dsi.unimi.it

Martella Giancarlo " 0250316245 martella@dsi.unimi.it

Mundici Daniele " 0250316247 mundici@dsi.unimi.it

Pighizzini Giovanni " 0250316303 pighizzini@dsi.unimi.it

Valle Giorgio " 0250316242 valle@dsi.unimi.it

Professori di I fascia a tempo definito Rossi Gian Paolo tel. 0250316272 rossi@dsi.unimi.it

Professori di II fascia a tempo pieno Alberti Maria Alberta tel. 0250316311 alberti@dsi.unimi.it

Angeleri Emanuele " 0250316283 angeleri@dsi.unimi.it

Bettini Claudio " 0250316281 bettini@dsi.unimi.it

Borghese Nunzio Alberto " 0250316325 borghese@dsi.unimi.it

Cerri Stefano Alessandro " 0250316256 cerri@dsi.unimi.it

D'Antona Ottavio " 0250316323 dantona@dsi.unimi.it

De Cindio Fiorella " 0250316288 fiorella.decindio@dsi.unimi.it

Ghilardi Silvio " 0250316217 ghilardi@dsi.unimi.it

Goldwurm Massimiliano " 0250316233 goldwurm@dsi.unimi.it

Marini Daniele " 0250316358 marini@dsi.unimi.it

Ornaghi Mario " 0250316331 ornaghi@dsi.unimi.it

Pagnoni Astasia Carla " 0250316301 pagnoni@dsi.unimi.it

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

Prini Gianfranco " 0250316279 gfp@dsi.unimi.it

Rosti Emilia " 0250316258 rose@dsi.unimi.it

Torelli Mauro " 0250316232 torelli@dsi.unimi.it

Professori di II fascia a tempo definito Bruschi Danilo tel. 0250316260 bruschi@dsi.unimi.it

Ricercatori universitari, assistenti di ruolo e assimilati a tempo pieno, assegnisti Aguzzoli Stefano tel. 0250316356 aguzzoli@dsi.unimi.it

Bellettini Carlo " 0250316269 bellettini@dsi.unimi.it

Biondo Loris " 0250316234 biondo@dsi.unimi.it

Boldi Paolo " 0250316305 boldi@dsi.unimi.it

Capra Lorenzo " 0250316256 capra@dsi.unimi.it

D'Onofrio Andrea "

Ferrari Elena "

Ferrari Mauro " 0250316259 ferrari@dsi.unimi.it

Fiorentini Camillo " 0250316332 fiorenti@dsi.unimi.it

Gentile Claudio "

Grossi Giuliano " 0250316262 grossi@dsi.unimi.it

Marcante Andrea " 0250316330 marcante@dsi.unimi.it

Marra Vincenzo " 0250316296 marra@dsi.unimi.it

Massazza Paolo " massazza@dsi.unimi.it

Merlo Isabella "

Morpurgo Anna Chiara Giovanna " 0250316316 morpurgo@dsi.unimi.it

Pagani Elena " 0250316271 pagani@dsi.unimi.it

Pancini Massimiliano " 0250316382 pancini@dsi.unimi.it

Perego Andrea " 0250316330 perego@dsi.unimi.it

Provetti Alessandro "

Silvano Cristina " 0250316306 silvano@dsi.unimi.it

Trombetta Alberto " 0250316322 trombetta@dsi.unimi.it

Vigna Sebastiano " 0250316324 vigna@dsi.unimi.it

Zanaboni Anna Maria " 0250316329 zanaboni@dsi.unimi.it

1.2 Personale tecnico - amministrativo

Personale amministrativo-contabile e tecnici di qualifica uguale o superiore al VII livello Angelillo Filomena tel. 0250316216 angelillo@dsi.unimi.it

Arona Arianna " 0250316405 arona@dsi.unimi.it

Bignami Guido Maria " 0250316248 bignami@dsi.unimi.it

Casella Giulio Francesco " 0250316392 casella@dsi.unimi.it

Chierchini Cristina " 0250316207 chierchi@dsi.unimi.it

Ferrazzi Davide " 0250316291 ferrazzi@dsi.unimi.it

Giudici Stefano " 0250316200 giudici@dsi.unimi.it

Malchiodi Dario " 0250316338 malchiodi@dsi.unimi.it

Poletti Giusi " 0250316362 poletti@dsi.unimi.it

Sensalari Michele " 0250316394 sensalari@dsi.unimi.it

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

Tanzi Dante " 0250316408 tanzi@dsi.unimi.it

Personale amministrativo-contabile e tecnici di qualifica uguale o inferiore al VI livello Abitante Angelo tel. 0250316396 abitante@dsi.unimi.it

Alvisi Fabia " 0250316411 alvisi@dsi.unimi.it

Borrelli Alessandro " 0250316270 sandro.borrelli@unimi.it

Carbonaro Claudio " 0250316398 carbonaro@dsi.unimi.it

Carrozza Anna " 0250316213 carrozza@dsi.unimi.it

Cieri Elena " 0250316211 cieri@dsi.unimi.it

Ciliento Giuseppina " 0250316393 ciliento@dsi.unimi.it

De Stasio Sergio " 0250316210 destasio@dsi.unimi.it

Dell'Ali Ivana " dellali@dsi.unimi.it

Di Fiore Salvatore " 0250316343 difiore@dsi.unimi.it

Froio Emanuela Fiorenza " 0250316224 froio@dsi.unimi.it

Gazzillo Isidora Vincenza " 0250316214 gazzillo@dsi.unimi.it

Giambanco Salvatore " 0250316372 giambanc@dsi.unimi.it

Liberali Giuseppe " 0250316206 liberali@dsi.unimi.it

Martini Ida "

Mileo Alessandra " 0250316250 mileo@dsi.unimi.it

Missaglia Sandro " 0250316386 sandro@dsi.unimi.it

Senatore Vincenzo " 0250316396 senatore@dsi.unimi.it

Stracuzzi Alberto "

Tallarico Francesca " 0250316410 francy@dsi.unimi.it

1.3 Dottorandi, specializzandi e borsisti

Dottorandi attivi, nell'anno, presso la struttura Astaneh Sadegh tel. 0250316299 sadegh@dsi.unimi.it

Bertolo Maresa " bertolo@dsi.unimi.it

Besozzi Daniela " besozzi@dsi.unimi.it

Camossi Elena " camossi@dsi.unimi.it

Carminati Barbara " 0250316295 carminati@dsi.unimi.it

Casiraghi Elena " 0250316293 casiraghi@dsi.unimi.it

Conconi Alex " 0250316296 conconi@dsi.unimi.it

Del Barba Mauro "

Dennunzio Alberto " 0264487861 denni@fislab.disco.unimib.it

Diana Loretta " 0250316257 diana@dsi.unimi.it

Fantasia Giovanni " fantasia@dsi.unimi.it

Gerla Brunella "

Jocher Udo " 0264487861 udo-dotto@fislab.disco.unimib.it

Lanzarotti Raffaella " 0250316293 lanzarotti@dsi.unimi.it

Leporati Alberto Ottavio " 0264487877 alberto.leporati@unimib.it

Leporini Roberto " 0264487861 leporini@disco.unimib.it

Lonati Violetta " 0250316294 lonati@dsi.unimi.it

Longari Maurizio " 0250316296 longari@dsi.unimi.it

Maggiorini Dario " 0250316298 maggiorini@dsi.unimi.it

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

Manara Corrado " 0250316313 manara@dsi.unimi.it

Manzoni Sara Lucia " 0264487857 manzoni@disco.unimib.it

Marra Vincenzo " 0250316296 marra@dsi.unimi.it

Mella Giovanni " 0250316295 mella@dsi.unimi.it

Novakovic Vladimir " 0250316295 vlad@dsi.unimi.it

Nucita Andrea " nucita@dsi.unimi.it

Ornetti Giorgio Carlo " 0250316295 giorgio.ornetti@dsi.unimi.it

Parisi Salvatore Antonio " 0250316351 parisi@dsi.unimi.it

Pavesi Giulio " 0264487857 pavesi@disco.unimib.it

Perlasca Paolo " 0250316295 perlasca@dsi.unimi.it

Pollastri Emanuele " 0250316297 pollastri@dsi.unimi.it

Pozzi Sergio " 0250316296 pozzi@dsi.unimi.it

Rebatto Davide " 0250317623 rebatto@dsi.unimi.it

Reggio Caterina " reggio@dsi.unimi.it

Ripamonti Laura Anna " 0250316327 ripamonti@dsi.unimi.it

Rossi Maurizio " 0250316339 maurizio.rossi@dsi.unimi.it

Roveri Marco "

Salani Matteo " 0373898093 msalani@crema.unimi.it

Scaringi Marcello " scaringi@dsi.unimi.it

Selmo Davide Matteo " davide.selmo@dsi.unimi.it

Visconti Andrea " 0250316377 visconti@dsi.unimi.it

Zandron Claudio "

Zizza Rosalba "

Organico

Personale docente No. Professori I fascia a tempo pieno 12

No. Professori I fascia a tempo definito 1

No. Professori II fascia a tempo pieno 15 No. Professori II fascia a tempo definito 1

No. Ricercatori universitari, assistenti di ruolo e assimilati a tempo pieno, assegnisti 24

No. Ricercatori universitari, assistenti di ruolo e assimilati a tempo definito 0

Personale tecnico-amministrativo No. Personale amministrativo-contabile e tecnici di qualifica uguale o superiore al VII Livello 11

No. Altri collaboratori di ricerca con contratti di collaborazione coordinata e continuativa 0 No. Personale amministrativo-contabile e tecnici di qualifica uguale o inferiore al VI Livello 20

Dottorandi, specializzandi e borsisti No. Dottorandi attivi, nell'anno, presso la struttura 42 No. Borsisti di Training and Mobility of Research della C.E. e No. borsisti post-dottorato attivi, nell'anno, presso la struttura 0

No. Altri borsisti con laurea e specializzandi attivi, nell'anno, presso la struttura 0

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

2. Dati economico finanziari

2.1 Finanziamenti per la ricerca Finanziamento complessivo per progetti di Ricerca da fondi di Ateneo 223.816.000 Finanziamento complessivo da fondi MURST 428.000.000 Finanziamento complessivo da contributi CNR 0 Finanziamento complessivo da altri organismi pubblici nazionali e da contratti CNR 0 Finanziamento complessivo da altri organismi privati e imprese nazionali 0 Finanziamento complessivo da Commissione Europea 0 Finanziamento complessivo da altri organismi pubblici internazionali 0 Finanziamento complessivo da altri organismi privati e imprese internazionali 489.793.000 Totale 1.141.609.000 2.2 Dati relativi alle spese per la ricerca Somme pagate Somme impegnate Spese annuali complessive della struttura 4.114.789.000 4.342.041.000

Spese annuali della struttura esclusivamente per ricerca 1.063.048.000 1.068.761.000

2.3 Attrezzature scientifiche e materiale bibliotecario Spesa totale annuale per attrezzature scientifiche 1.159.935.000 Spesa totale annuale per materiale bibliotecario 312.197.000 2.4 Finanziamenti per ricerca gestiti sul bilancio di altri enti e resi disponibili per la struttura Finanziamenti complessivi messi a disposizione da enti pubblici nazionali 0 Altri finanziamenti 0

3. Progetti di ricerca in corso presso la struttura, finanziati da enti esterni

Vedi tabella allegata.

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

4. Elenco delle iniziative scientifiche organizzate e gestite nell'ambito della struttura (congressi, convegni, cicli di conferenze e/o seminari, workshop, mostre ed altre

iniziative)

SEMINARI

DATA TITOLO RELATORE PERSONA DI

RIFERIMENTO

16/1/2001 KNOWLEDGE REPRESENTATION MEETS DATABASES

Enrico Franconi, University of Manchester, UK Claudio Bettini

17/1/2001 Problematiche e tecnologie per il commercio elettronico

Antonio Fabiano, Giovanni Bordiga, Banca Sella

Claudio Bettini, Nicolò Cesa-Bianchi

19/1/2001 Strategie di personalizzazione per negozi virtuali adattativi

Liliana Ardissono, Anna Goy, Dipartimento di Informatica, Università di Torino

Claudio Bettini, Piero Andrea Bonatti, Nicolò Cesa-Bianchi

25/1/2001 Dalla Realtà alla Realtà Virtuale

Ing. N. Alberto Borghese, Laboratorio di Analisi del Movimento e Realtà Virtuale, MAVR - Istituto Neuroscienze e Bioimmagini - CNR

Paola Campadelli

30/1/2001 "DAL MODELLO DI PROCESSO AL GOVERNO DEL PROGETTO"

Prof. Giuseppe Visaggio, Università di Bari- Dipartimento di Informatica

Giovanni Degli Antoni

30/1/2001

Esperienze di progettazione e mantenimento di siti web: metodologie e problematiche, case history.

Stefano Mantegazza, Diana Eugeni, Giuseppe Alleva, della società ETNOTEAM

Maria Alberta Alberti

1/2/2001 A Framework for Policy-based Network Management

Jorge Lobo, PhD, Bell Labs - Lucent Technologies http://www.bell-labs.com/user/jlobo1/

Alessandro Provetti

6/2/2001 "Progetto di teledidattica on-line dei dipartimenti DSI Milano e DTI Crema"

Prof.ssa Elisa Bertino e Prof. Scarabottolo, Dipartimento di Scienze dell'Informazione Milano e Dipartimento di Tecnologie dell'Informazione Crema

Maria Alberta Alberti

13/2/2001 "Ricostruzione 3D di complessi proteici mediante tomografia elettronica"

Dott. Salvatore Lanzavecchia, Dipartimento di Chimica Strutturale dell' Universita' degli Studi di Milano

Paola Campadelli

19/2/2001 "Tipi di Strutture, Specie Permutazionali e Pletismo"

Prof. Giancarlo Meloni, Dipartimento di Matematica - Università degli Studi di Milano

Ottavio Mario D'Antona

21/2/2001 On the Approximation of two Location Problems having Disturbance or Facility Constraints

Prof.ssa Giulia Galbiati, Dipartimento di Informatica e Sistemistica - Universita' degli Studi di Pavia

Alberto Bertoni

28/2/2001

L'indice effettivo di rifrazione nel caso della diffusione, in presenza di gravità e dell'effetto Bohm-Aharonov.

Prof. Halil Sykja, Università di Tirana - Facoltà di Scienze Naturali- Dipartimento di Fisica

Giovanni Degli Antoni

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

DATA TITOLO RELATORE PERSONA DI

RIFERIMENTO

13/3/2001 "An overview of Music Information Retrieval (MIR) systems"

J. Stephen Downie, PhD Assistant Professor - Graduate School of Library and Information Science and Fellow National Center for Supercomputing Applications University of Illinois at Urbana-Champaign

Emanuele Pollastri

13/3/2001

"La ricchezza e complesita' del concetto di Comunita' nelle scienze sociali come base per progettare quelle virtuali"

Prof. Guido Martinotti, Dipartimento di Sociologia - Università degli Studi di Milano Bicocca

Fiorella De Cindio

15/3/2001 "A Scalable Architecture for Replication on the Web"

Peter Scheuermann, Department of Electrical and Computer Engineering (Northwestern University) Evanston, Il.60208

Elisa Bertino

20/3/2001 Analyzing the Analysis of Security Protocols

Dieter Gollmann, Microsoft Research Elisa Bertino

20/3/2001 Tecniche di Watermarking Fabien Petitcolas, Microsoft Research Elisa Bertino

28/3/2001 Workflow Management nella Pubblica Amministrazione

Dott. Enrico Sartirana, Provincia di Milano

Silvana Castano

30/3/2001 "Cosa vuol dire essere studenti universitari al giorno d'oggi" Prof. Giovanni Degli Antoni, DSI Giovanni Degli Antoni

4/4/2001 Progetto di un Sistema Documentale Web-based nella Pubblica Amministrazione

Dott. Enrico Sartirana, Provincia di Milano Silvana Castano

5/4/2001 "Analyzing Specifications Based on Message Sequence Charts"

Prof.ssa Anca Muscoll, Lab. d'Informatique Algorithmique Fondaments et Applications dell'Università di Parigi 7

Massimiliano Goldwurm

19/4/2001 Architecting Software Systems with Process Algebra

Marco Bernardo, Dipartimento di Informatica Universita` di Torino Ottavio Mario D'Antona

24/4/2001 User Profiling, On Line Recommendation, Single SignOn

Massimo Maffioli, Reply Technology Fiorella De Cindio

7/5/2001 Le implicazioni organizzative dei Progetti basati su S/I integrati (ERP)

Ing. S. Zausa, Gruppo ENI Silvana Castano, Sabino Illuzzi

14/5/2001 La gestione della trasformazione/cambiamento nelle aziende

Dott. G. Crevani, Consulente esperto di organizzazione aziendale

Silvana Castano, Sabino Illuzzi

24/5/2001 "Automated Learning: New Connectionist Algorithms."

Asim Roy, Arizona State University, Tempe Bruno Apolloni

24/5/2001 "Hybrid models for autonomous agents" Ron Sun, University of Missouri Bruno Apolloni

30/5/2001 Analisi delle varie metodologie di realizzazione pratica di sistemi per l'elaborazione numerica dei segnali.

Ing. A. Zecchi Alberto Bertoni

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

DATA TITOLO RELATORE PERSONA DI

RIFERIMENTO

5/6/2001 Security & Privacy in Cyberspace Prof. R.P. Van de Riet, Vrije Universiteit, Amsterdam Elisa Bertino

11/6/2001 "Reti neurali e Pattern Recognition: Tecniche di PCA e ICA"

Prof. Roberto Tagliaferri, DMI - Università di Salerno Alberto Bertoni

14/6/2001 Combining Decision Procedures for the Word Problem

Prof. Cesare Tinelli, assistant professor al Department of Computer Science dell'Universita' di Iowa, USA

Silvio Ghilardi

11/7/2001 Temporal logics of computations and hybrid Ockhamist temporal logics

Prof. V. GORANKO, Rand Afrikaans University di Johannesburg

Silvio Ghilardi

12/7/2001 Almost sure validities, 0-1 laws, and modal logic

Prof. V. GORANKO, Rand Afrikaans University di Johannesburg

Silvio Ghilardi

12/7/2001 Coalition game logics and alternating temporal logics

Prof. V. GORANKO, Rand Afrikaans University di Johannesburg

Silvio Ghilardi

16/7/2001 Elaborazione corticale dell’informazione visiva: modelli ed architetture

Dott. Silvio Sabadini, PSPC Research Group-Dibe Università di Genova

Paola Campadelli

26/9/2001 Modular Models for Managing Access Controls

Arnon Rosenthal, The MITRE Corporation - Bedford, MA, USA Elisa Bertino

28/9/2001 Topics in Categorical Logic prof. M. Zawadowski, Dipartimento di Matematica dell'Università di Varsavia

Silvio Ghilardi

9/10/2001

1. Broadband and Broadcast - A Strategic Outlook 2. e-Book, e-Publishing and Mobile Communication

Jak Boumans, Utrecht, NL Andrea Perego

18/10/2001 STABILITA` DEL CALCOLO QUANTISTICO IN PRESENZA DI IMPERFEZIONI

Prof. Giuliano Benenti, Universita` degli Studi dell'Insubria, Sede di Como

Alberto Bertoni

5/11/2001 "Facing Indeterminacy in learning to win" Prof. Bruno apolloni, DSI Bruno Apolloni

6/11/2001 Arbitration Games.

Prof. Stef H. Tijs, Faculty of Economics and Business Administration Tilburg University, The Netherlands

Bruno Apolloni

12/12/2001 Algoritmica per il Web: applicazione ai motori di ricerca

Massimo Santini, Università di Modena Claudio Bettini

14/12/2001 Sistemi per transazioni finanziarie via cellulare

Antonio Fabiano, Mobilmat spa Claudio Bettini, Nicolò Cesa-Bianchi

18/12/2001 "Introduzione a Bluetooth" Ing. Marco Bianchessi, ST Microelectronics di Agrate Brianza Gian Paolo Rossi

18/12/2001 "Secure Publishing Service for Dott.ssa Barbara Carminati, Elisa Bertino

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

DATA TITOLO RELATORE PERSONA DI

RIFERIMENTO

XML documents" Dottoranda - DSI

19/12/2001 "Aspetti della trasmissione ed elaborazione dell'informazione nel Sistema Nervoso Centrale"

Prof. Luigi F. Agnati, Universita' di Modena, Dipartimento di Scienze Biomediche

Bruno Apolloni

19/12/2001 Strategie di personalizzazione per servizi Web adattativi

Liliana Ardissono e Anna Goy, Università di Torino

Piero Andrea Bonatti

21/12/2001 Sistemi ad agenti intelligenti Prof. Andrea Omicini, DEIS - Universita' di Bologna Piero Andrea Bonatti

CICLI DI SEMINARI

TITOLO DOCENTE

RESPONSABILE DATA E LUOGO RELATORE

"Tecnologie ed applicazioni emergenti per il web" svolto nell'ambito del corso di "Tecnologie web per terminali fissi e mobili”

- Prof. Claudio Bettini - Prof. Piero A. Bonatti - Prof. Nicolò Cesa-Bianchi

13/12/00 DSI 15/12/00 DSI 20/12/00 DSI 17/01/01 DSI 19/01/01 DSI

- Giovanni Colombo, CSELT - Vittorio Piccinini, IBM Italia - Andrea Omicini, DEIS Univ.BO - Antonio Fabiano, Banca Sella - Liliana Ardissono, Dipartimento di Informatica, Univ. To

"Sistemi Integrati di Gestione - SAP/R3" svolto nell'ambito del corso di "Sistemi informativi distribuiti"

- Prof.ssa Silvana Castano

24/04/01 DSI 08/05/01 DSI 15/05/01 DSI 22/05/01 DSI

- Dr. Luca Zoia, telecom Italia Lab

"Strumenti semantici per il trattamento di concetti" svolto nell'ambito del corso di "Informatica Applicata ai testi elettronici"

- Prof. Giovanni Degli Antoni

06/12/01 DSI 13/12/01 DSI

- Dr. Valerio Abate, Invention Machine Italy

"An introduction to contents and technologies for interactive communication" svolto nell'ambito del corso di "Informatica Applicata ai testi elettronici"

- Prof. ssa Elisa Bertino - Dr. Cesare Massarenti

04/06/01 DSI/ Sesto S. Giovanni 05/06/01 DSI/ Sesto S. Giovanni

- Prof. Nick Clarke Manchester Multimedia Centre and Network Manchester Metropolitan University Manchester (UK)

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

WORKSHOP

TITOLO DOCENTE

RESPONSABILE DATA E LUOGO RELATORE

"Linguaggi per la catalogazione elettronica dei manoscritti" svolto in collaborazione con: - Dipartimento di studi medioevali, umanistici e rinascimentali;

- Il progetto UE Master M.A.T.S.F.E.R; - Biblioteca Ambrosiana di Milano.

- Prof.ssa Maria Alberta Alberti

26-27/01/01 DSI

- Maria Alberta Alberti, DSI Università degli Studi di Milano - Lou Burnard, Oxford University e Progetto MASTER - Ernesto Damiani, DTI Università degli Studi di Milano - Silvana Castano, DSI Università degli Studi di Milano - Matt Driscoll, Arnamagnaean Institute, Copenhagen e Progetto MASTER - Peter Robinson, De Montfort University e Progetto MASTER

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

INIZIATIVE

TITOLO DOCENTE

RESPONSABILE DATA E LUOGO RELATORE

"Strumenti per leggere e pensare soluzioni" svolto in collaborazione con: - Dipartimento di tecnologie dell’informazione Crema;

- Dottorato di Ricerca in Informatica; - Invention Machine Italy.

- Prof. Giovanni Degli Antoni

18/04/2001 DSI

- P.E. Sergei Ikovenko –Chief Specialist – IMC Director Adv

"Corso di perfezionamento in contenuti e tecnologie informatiche e multimediali per la televisione digitale"

- Prof.ssa Elisa Bertino

08/01/2001 06/07/2001 Sede del corso: Università degli Studi di Milano presso: Officina Multimediale Concordia Viale Italia, 548 20099 Sesto San Giovanni (MI) (Metro Sesto-Rondò e Sesto-FS)

- Dr. Cesare Massarenti

Congressi, convegni, conferenze, workshops organizzati da membri della struttura Daniele Mundici • Chairman del comitato di programma di: The Logic of Soft Computing, Congresso internazionale, Gargnano

Brescia, 18-2 novembre 2001. Elisa Bertino: Membro del comitato di programma delle seguenti conferenze: • 17th IEEE Int. Conference on Data Engineering, Heidelberg (Germany), April 2-6, 2001 (vice-program chair); • 5th International Symposium on Autonomous Decentralized Systems, Dallas (Texas), March 26-28, 2001; • International IEEE Workshop on Research Issues on Data Engineering: Document Management for Data Intensive

Business and Scientific Applications Object Management (RIDE-DM), Heidelberg (Germany), April 1-2, 2001; • 7th International Conference on Database Systems for Advanced Applications (DASFAA), Hong Kong, April 18-

20, 2001; • 6th ACM Symposium on Access Control Models and Technologies, Chantilly (Virginia, USA), May 3-4, 2001; • 15th European Conference on Object-Oriented Programming (ECOOP), Budapest (Hungary), June 18-22, 2001; • 7th International Symposium on Spatial and Temporal Databases, Los Angeles (Calif., USA), July 12-15, 2001; • Third International Workshop on Advanced Issues in E-Commerce and Web-based Information Systems, San Jose

(Calif., USA), June 21-22, 2001;

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

• Eighth International Symposium on Temporal Representation and Reasoning (TIME-01), Cividale del Friuli (Italy), June 14-16, 2001;

• International Security Conference (ISC), Malaga (Spain), October 1-3, 2001; • International Workshop on Foundations of Models for Information Integration (FMII-2001), 10th Workshop in the

Series Foundations of Models and Languages for Data and Objects (FMLDO), Viterbo (Italy), 16-18 September, 2001;

• 7th ACM Conference on Information and Knowledge Management (CIKM 2001), Atlanta (Georgia, USA), November 5-10, 2001.

Elena Pagani : • Sesto Workshop su Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi Como, 10-12 settembre 2001; Gian Paolo Rossi: • Sesto Workshop su Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi Como, 10-12 settembre 2001; Fiorella De Cindio: • Seminario "Sviluppo di tecnologie e servizi per la valorizzazione delle comunita' locali nella societa'

dell'informazione” 19 aprile 2001 - ore 9,30 Sala del Gonfalone Palazzo Pirelli - Via Fabio Filzi - Milano; • Seminario "Evoluzione e scenari futuri della telematica civica" - Palazzo Bagatti Valsecchi Via S. Spirito, 10 –

Milano 2 luglio 2001. Claudio Bettini : • convegno internazionale: "Eighth International Symposium on Temporal Representation and Reasoning" (TIME-

01), svoltosi nei giorni 14-16 giugno 2001 a Cividale del Friuli (UD), Italia. Gli atti sono stati pubblicati da IEEE Computer Society, Los Alamitos, California.

Alberto Bertoni : Membro del comitato scientifico delle seguenti Conferenze : • Conferenza Internazionale "10th Symposium on Theoretical Aspects of Computer Science, Dresden, Germany,

February 2001" (Atti su LNCS, Springer Verlag); • Conferenza Neural Nets WIRN2001, Vietri, Maggio 2001 (Atti su Perspectives in Neural Computing, Springer

Verlag); • Conferenza 7th Italian Conference ICTCS 2001, Torino, Ottobre 2001 (Atti su LNCS, Springer Verlag). Paola Campadelli: Membro del comitato di programma delle seguenti Conferenze : • IJCNN 2002 ( International Joint Conference on Neural Networks, part of the 2002 World Congress on

Computational Intelligence, Honolulu, Hawaii, May 12-17 2002); • WIRN 2001 (12° Italian Workshop on Neural Net, Vietri 17-19 maggio 2001). Bruno Apolloni: • organizzatore del convegno nazionale WIRN 2001 che si è tenuto in Maggio a Vietri sul Mare (SA). Sivana Castano: • organizzatore del “XXXIX Congresso Annuale AICA 2001” – Como, 19-21 settembre 2001; Membro del comitato di programma delle seguenti Conferenze : • CAISE’01 13th Conference on Advanced Information Systems Engineering, Interlaken, Switzerland, June; • ACM CIKM 2001, 10th International Conference on Information and Knowledge Management, Atlanta-Georgia,

November 5-10, 2001; • FMMII 2001 First Workshop on Foundations of Models for Information Integration, Viterbo, Italy, Sept. 2001.

INFORMAZIONI ANALITICHE

Afferenze a consorzi o reti di ricerca nazionali

Gian Paolo Rossi, Fiorella De Cindio, Elena Pagani:

• TECNICHE PER IL CONTROLLO DELLA QUALITA' DI SERVIZIO IN RETI IP MULTI-DOMINIO.

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

Progetto di ricerca nazionale inter-universitario co-finanziato dal MIUR per il bienno 2001-2002, coordinato dal Prof. Marco Listanti dell'Universita' di Roma "La Sapienza". Al progetto partecipano in totale 6 poli universitari italiani. Il Prof. Gian Paolo Rossi e' coordinatore dell'Unita' di Ricerca di Milano, cui afferiscono la Prof.ssa Fiorella DeCindio e la Dott.ssa Elena Pagani. L'obiettivo della UR consiste nello studio del problema del trasporto di flussi multicast con QoS in reti IP multi-dominio.

Bruno Apolloni:

• Presidente della SIREN (Sopcietà Italiana Reti Neuroniche), società fondata nel 1988 dal Prof. Edoardo Caianiello per lo studio delle reti neurali sia come paradigma di calcolo che come modello computazionale delle attività cerebrali.

Afferenze a consorzi o reti di ricerca internazionali Elisa Bertino: • afferente al consorzio EUFORBIA finanziato dalla EU - L'obiettivo delle attività del consorzio è lo sviluppo di

tecniche di controllo degli accessi e di filtering per pagine web; • afferente al consorzio PANDA finanziato dalla EU - L'obiettivo delle attività del consorzio è lo sviluppo di

tecniche di modellazione e di gestione di patterns in ambito basi di dati. Daniele Mundici: • e' stato coordinatore nazionale del Progetto bilaterale Italia-Austria su Logica a Piu' Valori. Attivita' di

cooperazione scientifica e tecnologica sui temi del progetto. Partecipazioni a valutazioni di progetti di ricerca nazionali Daniele Mundici: • nell'ambito del GNSAGA -INDAM ha valutato una dozzina di progetti nazionali su vari temi matematici e

informatici. Partecipazioni a valutazioni di progetti di ricerca internazionali Daniele Mundici: • ha valutato progetti per varie istituzioni internazionali, quali INTAS, Landau Foundation, etc. Enti di ricerca convenzionati per programmi di collaborazione scientifica Elisa Bertino • Ente: AIPA - Descrizione attività: Sviluppo di metodi di cooperazione per l'interscambio nei sistemi di basi di dati

della pubblica amministrazione. Membri di comitati editoriali di riviste e/o collane scientifiche internazionali Elisa Bertino Membro dei comitati editoriali delle seguenti riviste internazionali: • Data & Knowledge Engineering journal (Elsevier Science Publishers); • Parallel and Distributed Database Journal (Kluwer Publ.); • International Journal of Information Technology (World Scientific); • International Journal of Cooperative Information Systems (World Scientific); • ACM Transactions on Information and Systems Security (ACM Press);

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

• Science of Computer Programming (North-Holland); • IEEE Intenet Computing (IEEE Computer Society Press); • International Journal of Information Security (Springer). Membro dell'advisory board delle seguenti riviste: • Journal of Computer Security (IOS Press); • IEEE Transactions on Knowledge and Data Engineering (IEEE Computer Society Press). Daniele Mundici Managing Editor di: • Studia Logica, Kluwer, Dordrecht; • Advances in Applied Mathematics, Academic Press, New York; • Trends in Logic, (Book Series Editor) Kluwer, Dordrecht. Alberto Bertoni Membro dell'Editorial Board della Rivista Internazionale : • Theoretical Informatics and Applications, EDP Sciences . Pubblicazioni recensite da membri della struttura Daniele Mundici • Le numerose recensioni di Daniele Mundici sono pubblicate sullo Zentralblatt fuer Mathematik. Elena Pagani • IEEE Transactions on Aerospace and Electronic Systems - Special Issue on Command, Control and

Communication Systems; • SPECTS 2001 Conference; • Journal of Mobile and Wireless Internet; • WINET (Wireless Networks) Journal; • IEEE Infocom 2002 Conference; • ICC 2002 Conference MONET (Mobile Ad Hoc Networks) Journal. Gian Paolo Rossi • Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS'01); • IEEE Infocom 2002. Daniele Marini • Test to the reciprocity law in digital photography - Journal of Electronic Imaging, Washington USA; Claudio Bettini • Annals of Mathematics and Artificial Intelligence, Kluwer.; • Information Systems, Elsevier; • ACM Transactions on Database Systems, ACM Press; • IEEE Transactions on Knowledge and Data Engineering, IEEE Computer Society.

Paola Campadelli

• Pattern Recognition (Elsevier Science); • Neural Networks (Pergamon).

Sivana Castano

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

• IEEE Transactions on Data and Knowledge Engineering; • Data and Knowledge Engineering; • Information Systems; • Journal of Computer Security; • CAISE’01 13th Conference on Advanced Information Systems Engineering, Interlaken, Switzerland, June 2001; • ACM CIKM 2001, 10th International Conference on Information and Knowledge Management, Atlanta-Georgia,

November 5-10, 2001; • FMMII 2001 First Workshop on Foundations of Models for Information Integration, Viterbo, Italy, Sept. 2001. Posizioni di responsabilità: coordinatori programmi ricerca nazionali Daniele Mundici • Segretario del GNSAGA dell' INDAM, Istituto Nazionale Alta Matematica "Francesco Severi " con sede in Roma. Giorgio Valle • Coordinatore del programma di ricerca nazionale”Modelli e tecnologie per una mobilità personale compatibile:

studio di un sistema innovativo di trasporto condiviso”. Lo studio di un modello di mobilità personale compatibile nelle aree urbane, alternativo a quello attuale basato sull' impiego dell'automobile privata ha forti motivazioni motivazioni ambientali. In sintesi, la ricerca tratta di come offrire un trasporto con posto prenotato su autoveicoli di piccola capienza, che garantisca al passeggero un orario di arrivo predeterminato all'indirizzo desiderato ed in funzione del quale viene indicato all' utente l' orario di partenza. Questo vale sia per il traffico dei pendolari durante la settimana lavorativa sia per quello di svago durante il fine-settimana.

Alberto Bertoni • Coordinatore locale del progetto Cofin "Linguaggi Formali e Automi: teoria ed applicazioni. Bruno Apolloni • Coordinatore locale del progetto ex 40% dal titolo Processi Stocastici che riunisce più sedi nazionali sotto il

coordinamento del Prof. Gandolfi (Università di Milano Bicocca) per lo studio dei Processi Stocastici sul piano sia teorico che applicativo, con particolare riferimento ad applicazioni nel campo informatico. Tali applicazioni riguardano sia i processi di apprendimento che il Quantum Computing.

Posizioni di responsabilità: coordinatori programmi ricerca internazionali

Daniele Mundici

• Coordinatore del Progetto bilaterale Italia-Argentina su Logica a Piu' Valori, firmato a Buenos Aires nel dicembre 2001---a livello di Ministeri degli Esteri. Attivita' di cooperazione scientifica e tecnologica sui temi del progetto.

Bruno Apolloni

• Coordinatore locale del progetto UE ORESTEIA. Tale progetto rientra nel V programma quadro, nel filone del Diappearing Computer, ed è volto allo studio ed implementazione prototipale di cloni elettronici in grado di replicare attività umane abitudinarie e ripetitive. Ciò è reso possibile da nanotecnologie che consentono di dotare l'utente di microsensori e low power transmitters che rilevino segnali biologici rilevanti (wearable non invasive computers) e dall'implemntazione di tecniche di intelligenza artificiale che consentano a microcalcolatori di apprendere le abitudini e preferenze degli utenti nonche di reagire in maniera efficace agli stimoli ambientli ed alle risposte fisiologiche dell' utente. Fanno parte del consorzio il King College di Londra, l'Imperial College di Londra, Il Queen College di Belfast, lo NTUA di Atene e la ST di Agrate Brianza.

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

5. Direzione di riviste, collane o rilevanti opere collettive a carattere scientifico che fanno capo a docenti della struttura;

partecipazioni a comitati scientifici responsabili di iniziative editoriali

Elisa Bertino • Co-Editor in Chief, The VLDB Journal, Springer.

6. Risultati dell'attività di ricerca

Riassunto Macro-Settore Scienze Matematiche e Informatiche

Articoli completi in atti di congresso con revisori E 2 Articoli su rivista di livello elevato E 2 Libri di divulgazione scientifica E 1 Libri per la didattica I 1

Macro-Settore Scienze Mediche

Articoli su riviste scientifiche ISI 1 Macro-Settore Scienze Storiche,Filosofiche,Pedagogiche e Psicologiche

Libri di ricerca originale E 1 Macro-Settore Scienze e Ingegneria dell'Informazione

Articoli in atti di congresso E 54 Articoli in atti di congresso I 4 Articoli su altre riviste E 2 Articoli su altre riviste I 2 Articoli su rivista di livello elevato 25 Articoli su rivista di livello medio 8 Capitoli di libro E 2 Capitoli di libro I 1 Curatele di collane di atti di convegni partecipazioni a comitati di redazione 2 Libri ad alta divulgazione E 1 Libri ad alta divulgazione I 1 Rapporti interni 2

Elenco Riviste - Apolloni Bruno, Antonio Piccolboni, Enrico Sozio; A hybrid symbolic subsymbolic controller for complex dynamic systems; Neurocomputing; 2001; Elsevier; vol. 37; pagg. 127-163.

- Apolloni Bruno, Dario Malchiodi; Gaining degrees of freedom in subsymbolic learning; Theoretical Computer Science; 2001; Elsevier; vol. 255; pagg. 295-321.

- Bertino Elisa, Catania Barbara, Ferrari Elena; A Nested Transaction Model for Multilevel Secure Database Management Systems; ACM Transactions on Information and System Security; 2001; ACM Press; vol. 4; pagg.

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

321-370. - Bertino Elisa, Castano Silvana, Ferrari Elena; Author-X: a Comprehensive System for Securing XML Documents; IEEE Internet Computing; 2001; IEEE Computer Society Press; vol. 5; pagg. 21-31.

- Bertino Elisa, Catania Barbara, Roberta Gori; Enhancing the Expressive Power of the U-Datalog Language; Journal of Theory and Practice of Logic Programming; 2001; Oxford Press; vol. 1; pagg. 105-122.

- Bertino Elisa, Catania Barbara, Zarri Gian Piero; Metadata, Intelligent Indexing, and Repository Management for Multimedia Digital Libraries; Fundamenta Informaticae; 2001; vol. 47; pagg. 155-173.

- Bertino Elisa, A.K.Elmagarmid, M.Hacid; Quality of Service in Multimedia Digital Libraries; ACM Sigmod Record ; 2001; ACM Computer Society; vol. 30; pagg. 35-40.

- Bertino Elisa, Bellettini Carlo, Ferrari Elena; Role Based Access Control Model; Information Security Technical Report; 2001; Elsevier Science; vol. 6; pagg. 21-29.

- Bertino Elisa, Bonatti Piero Andrea, Ferrari Elena; TRBAC: A Temporal Role-based Access Control; ACM Transactions on Information and System Security; 2001; ACM Press; vol. 4; pagg. 191-233.

- Bertino Elisa, Ferrari Elena, Carminati Barbara; XML Security; Information Security Technical Report; 2001; Elsevier Science; vol. 6; pagg. 44-58.

- Bertoni Alberto, Campadelli Paola, Grossi Giuliano; An approximation algorithm for the Maximum Cut problem and its experimental analysis; Discrete Applied Mathematics; 2001; vol. 110.

- Bertoni Alberto, Carpentieri Marco; Analogies and Differences between Quantum and Stochastic Automata; Theoretical Computer Science; 2001; vol. 262; pagg. 69-81.

- Bertoni Alberto, Marco Carpentieri; Regular Languages Accepted by Quantum Automata; Information and Computation; 2001; vol. 165; pagg. 174-182.

- Bettini Claudio, Aha D., Birmingham W., Bollacker K., Lesperance Y., Wagnerg G.; AAAI 2000 Workshop Reports; AI Magazine; 2001; AAAI Press, Menlo Park, CA; vol. 22; pagg. 127-135.

- Bettini Claudio; An investigation of time granularity; Bullettin of the Italian Association for Artificial Intelligence, AI*IA Notizie; 2001; vol. XIV.

- Borghese Nunzio Alberto, Rigiroli Paolo, Cerveri Pietro; A new method for calibrating a video camera pair using only a rigid bar; Medical & Biological Engineering & Computing; 2001; vol. 39; pagg. 76--81.

- Campadelli Paola, Raimondo Schettini, Silvia Zuffi; A System for the automatic selection of conspicuous color set for qualitative data display; IEEE Transaction on Geoscience and Remote Sensing ; 2001; vol. 39; pagg. 2283--2287.

- Rigiroli Paolo, Campadelli Paola, Pedotti Antonio, Borghese Nunzio Alberto; Mesh Refinement with Colour Attributes.; Computers & Graphics; 2001; vol. 25; pagg. 449--461.

- Castano Silvana, De Antonellis Valeria, Melchiori Michele; An XML-based Integration Scheme for Web Datasources; ISI Journal; 2001; HERMES; vol. 6.

- Castano Silvana, De Antonellis Valeria; Global Viewing of Heterogeneous Data Sources; IEEE Transactions on Knowledge and Data Engineering; 2001; IEEE Computer Society; vol. 13; pagg. 277-297.

- Castano Silvana, Casati Fabio, Fugini Maria Grazia; Managing Workflow Authorization Constraints Through Active Database Technology; Information Systems Frontiers; 2001; Kluwer Academic Publishers; vol. 3; pagg. pp. 319-338.

- Castano Silvana, Bergamaschi Sonia, Beneventano Domenico, Vincini Maurizio; Semantic Integration of Heterogeneous Information Sources; Data and Knowledge Engineering ; 2001; Elsevier; vol. 36.

- Cerveri Pietro, Pedotti Antonio, Borghese Nunzio Alberto; Combined evolution strategies for dynamic calibration of video based measurement systems; IEEE Trans. Evolutionary Computation; 2001; vol. 5; pagg. 271--282.

- D'Antona Ottavio, Ca rlo Mereghetti, Fabio Zamparini; The 224 non-chordal graphs on less than 10 vertices whose chromatic polynomials have no complex roots; Discrete Mathematics; 2001; Elsevier; vol. 226; pagg. 387-396.

- Ferrari Mauro, A. Ciabattoni; Hypersequent calculi for some intermediate logics with bounded Kripke models; Journal of Logic and Computation ; 2001; UK; vol. 11; pagg. 283-294.

- Ferrari Stefano Francesco, Piuri Vincenzo, Borghese Nunzio Alberto; Multi-resolution Models for Data Processing: an Experimental Sensitivity Analysis; IEEE Trans. on Instrumentation & Measurement; 2001; vol. 50; pagg. 995--1002.

- Fiorentini Camillo, Ferrari Mauro, Pierangelo Miglioli; Extracting information from intermediate semiconstructive HA-systems; Mathematical Structures in Computer Science; 2001; UK; vol. 11; pagg. 589--696.

- Gerla Brunella, Antonio Di Nola; A discrete free MV-algebra over one generator; Journal of Applied non-classical logic; 2001; vol. 11; pagg. 331-339.

- Gerla Brunella; Rational £ukasiewicz logic and DMV-algebras; Neural Network World; 2001; vol. 11; pagg. 579-594.

- Haus Goffredo, Maria Luisa Pelegrin Pajuelo; Music Processing Technologies for rescuing Music Archives at Teatro alla Scala and Bolshoi Theatre; Journal of New Music Research; 2001; Swets & Zeitlinger, Amsterdam.

- Manara Corrado, Paolo Amato; Global defuzzification methods; Neural Network World; 2001; vol. 11; pagg. 539-

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

545. - Marini Daniele, Rizzi Alessandro; An Algorithm for Unsupervised Color Correction of Digital Pictures; ST Journal of System Research; 2001; ST Microelectronics; vol. 2; pagg. 1,10.

- Mundici Daniele, G.Panti; Decidable and undecidable prime theories in infinite-valued logic; Annals of Pure and Applied Logic; 2001; Elsevier; vol. 108; pagg. 269-278.

- Mundici Daniele, Roberto Cignoli; Partial isomorphisms on totally ordered abelian groups and Hajek's completeness theorem; Multiple Valued Logic; 2001; vol. 6; pagg. 89-94.

- Pagani Elena, Rossi Gian Paolo, Borella Andrea, Cancellieri Giovanni; Implementation Schemes for Multicast Bandwidth Brokers in Multidomain Networks; International Journal of Computer and Telecommunications Networking ; 2001; Elsevier Science B.V. - Netherlands; vol. 37; pagg. 519-540.

- Perani Daniela, Fazio Ferruccio, Borghese Nunzio Alberto, Tettamanti Marco, Ferrari Stefano Francesco, Gilardi Maria Carla, Decety Jean; Different brain correlates for watching real and virtual hand actions; NeuroImage; 2001; vol. 14; pagg. 749--758.

- Pighizzini Giovanni; How hard is computing the edit distance?; Information and Computation; 2001; vol. 165; pagg. 1-13.

- Pighizzini Giovanni, Mereghetti Carlo; Optimal simulations between unary automata; SIAM Journal on Computing; 2001; vol. 30; pagg. 1976-1992.

- Tanzi Dante; Music negotiation: routes in user-based description of music; Organised Sound ; 2001; Cambridge University Press; vol. 2; pagg. 111-115.

- Tanzi Dante; Observation about music and decentralized environments; Leonardo; 2001; MIT Press - Cambridge MA ,USA; vol. 5; pagg. 431-436.

Libri - Bertino Elisa, Catania Barbara, Zarri Gian Piero; Intelligent Database Systems; 2001; Addison-Wesley and ACM Press.

- Marini Daniele, Bertolo Maresa, Rizzi Alessandro; Comunicazione Vis iva Digitale: fondamenti di Eidomatica; 2001; Addison Wesley / Milano; 590.

Contributi in Volume (anche Curatele e Editor) - Alberti Maria Alberta, Marini Daniele, Evi Paolo; Modelling Constrained Geometric Objects with OBJSA Nets; Concurrent Object-Oriented Programming and Petri Nets; 2001; Springer, Berlin; Advances in Petri Nets.

- Bertino Elisa, Ferrari Elena, Evi Pitoura; An Access Control Mechanism for Large Scale Dissemination Systems; Proc. of International IEEE Workshop on Research Issues on Data Engineering: Document Management fo ; 2001; IEEE Computer Society Press.

- Bettini Claudio, Angelo Montanari; Co-editor degli atti del convegno TIME-01; Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning; 2001; IEEE Computer Society, Los Alamitos, CA.

- Borghese Nunzio Alberto; Hierarchical Radial Basis Function Networks; Basis Function Networks 1. Recent Developments in Theory and Applications,; 2001; Springer-Verlag; 51--65.

- De Cindio Fiorella, E. Battiston, A. Chizzoni; CLOWN as a testbed for concurrent object-oriented concepts; Concurrent Object-Oriented Programming and Petri Nets; 2001; Springer, Berlin; Lecture Notes in Computer Science 2001.

- De Cindio Fiorella, Gul. A. Agha, G. Rozenberg; Concurrent Object-Oriented Programming and Petri Nets; 2001; Springer, Berlin; Lecture Notes in Computer Science.

- Ghilardi Silvio; Substitution, quantifiers and identity in modal logic; New Essays in Free Logic; 2001; Kluwer; Applied Logic Series.

- Mundici Daniele, F.Cicalese U Vaccaro; Rota-Metropolis cubic logic and Ulam-R{\'e}nyi games,; Algebraic Combinatorics and Computer Science: a tribute to GC. Rota; 2001; Springer-Verlag Milano; 197-244.

- Palano Beatrice, Santini Massimo, Goldwurm Massimiliano; On the circuit complexity of random generation problems for regular and context -free languages; Proceedings STACS 2001; 2001; Springer; LNCS n.2010, 305-316.

- Ripamonti Laura Anna, De Cindio Fiorella, G. Casapulla; Community Networks and Access for All in the era of the free Intenet: “Discover the treasure” of the community; Community Informatics: Shaping Computer-Mediated Social Relations; 2001; Routledge, London.

Relazioni ai Congressi/Abstract - Aguzzoli Stefano, Paolo Avesani, Paolo Massa; Compositional CBR via collaborative filtering; ICCBR'01; Proceedings of ICCBR'01 workshop on CBR in electronic commerce; 2001; Vancouver; Naval Research

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

Laboratory. - Aguzzoli Stefano, Paolo Avesani, Paolo Massa; Compositional Recommender Systems Using Case-Based Reasoning Approach; ACM SIGIR'01; Proceedings of ACM SIGIR'01 Workshop on Recommender Systems; 2001; New Orleans.

- Aguzzoli Stefano, Mundici Daniele; Weierstrass approximations by formulas with one quantified variable; 31 IEEE Symposium Multiple Valued Logic; IEEE 13 ISMVL SYMPOSIUM; 2001; Varsavia; IEEE; pagg. 361-366.

- Alberti Maria Alberta, Barbero Giliola, Pasini Cesare; From Parchment to the Network: Manuscripts Management and Cataloguing; International Cultural Heritage Informat; Cultural heritage and technologies in the third millennium; 2001; Milano; Politecnico di Milano, Archives & Museums Informatics Milano; pagg. 213-222.

- Bertino Elisa, Guerrini Giovanna - T.S.Cheng, S.K.Gadia, G.Guerrini; A Linguistic Framework for Multidimensional Data; Time-01, Eight International Workshop on; 2001; Cividale del Friuli (Italy); IEEE Computer Society Press.

- Bertino Elisa, Ferrari Elena, Perlasca Paolo, Catania Barbara; A Logical Framework for Reasoning about Access Control Models; 6th ACM Symposium on Access Control Mode; 2001; Chantilly (VA, USA); ACM Press.

- Bertino Elisa, E. Dasseni, V.Verykios, A.K.Elmagarmid; Hiding Association Rules by Using Confidence and Support; 4th International Information Hiding Wor; Lecture Notes in Computer Science; 2001; Pittsburgh (USA); Springer.

- Bertino Elisa, Catania Barbara, Perlasca Paolo; Introducing Cooperation and Action in Amalgamated Knowledge Bases; 7th International Conference on Database; 2001; Hong Kong; IEEE Computer Society Press.

- Bertino Elisa, Ferrari Elena, Guerrini Giovanna, Merlo Isabella; Navigating Through Multiple Temporal Granularities; Time-01, Eight International Workshop on; Proceedings; 2001; Cividale del Friuli (Italy); IEEE Computer Society Press.

- Bertino Elisa, Castano Silvana, Ferrari Elena; On Specifying Security Policies for Web Documents with an XML-based Language; 6th ACM Symposium on Access Control Mode; 2001; Chantilly (VA, USA); ACM Press.

- Bertino Elisa, Carminati Barbara, Ferrari Elena; Secure Publishing Services for Digital Libraries of XML Documents; Information Security Conference; Lecture Notes in Computer Science; 2001; Malaga (Spain); Springer.

- Bertino Elisa, Castano Silvana, Ferrari Elena; Securing XML Documents: the Author-X Project Demonstration; ACM SIGMOD Conference 2001; 2001; Santa Barbara - CA- USA; ACM.

- Bertoni Alberto, Goldwurm Massimiliano, Lonati Violetta, Christian Choffrut; Asymptotic evaluation of the number of occurrences of a symbol in words of regular languages; Words 2001; Proceedings Words 2001; 2001; Palermo; Università degli Studi di Palermo.

- Bertoni Alberto, Campadelli Paola, Grossi Giuliano; Solving Min Vertex Cover with Iterated Hopfield Networks; XI Italian Workshop on Neural Nets; 2001; Vietri.

- Bettini Claudio, Cesa Bianchi Nicolo; An Architecture for Advanced Bookmark Management; WSDAAL; Atti del Workshop su Sistemi distribuiti, algoritmi, architetture e linguaggi; 2001; Como.

- Bettini Claudio, Wang X. Sean, Jajodia Sushil, X. S. Wang, S. Jajodia; Minimizing agent synchronization in workflow systems with temporal constraints; Sistemi Evoluti per Basi di Dati; Sistemi Evoluti per Basi di Dati, Atti del IX Convegno Nazionale; 2001; Venezia; 339-346.

- Bettini Claudio; Semantic compression of temporal data; Web-Age Information Management; Proc. of the Second International Conference on Web-Age Information Management; 2001; Springer; LNCS 2118 pagg. 267-278.

- Boldi Paolo, Vigna Sebastiano; An effective characterization of computability in anonymous networks; DISC 2001; Distributed Computing. 15th International Conference, DISC 2001; 2001; Lisbona; Springer-Verlag; Lecture Notes in Computer Science.

- Boldi Paolo, Vigna Sebastiano, Bruno Codenotti, Massimo Santini; Trovatore: Towards a highly scalable distributed web crawler.; WWW2001; Poster Proc. of Tenth International World Wide Web Conference; 2001; Hong Kong.

- Boldi Paolo, Vigna Sebastiano, Chrarles Meyssonnier; delta-approximable functions; CCA 2000; Proc. CCA 2000 (Computability and Complexity in Analysis); 2001; Swansea, UK; Springer-Verlag; Lecture Notes in Computer Science.

- Borghese Nunzio Alberto, Ferrigno Giancarlo, Rigiroli Paolo; Incremental calibration for motion analysis; ISB2001; Proc. XVIIIth Congress of the International Society of Biomechanics; 2001; Zurigo; pagg. 96.

- Borghese Nunzio Alberto, Rigiroli Paolo; Reproduction of facial emotions in real-time; ISB2001; Proc. XVIIIth Congress of the International Society of Biomechanics; 2001; Zurigo; pagg. 207.

- Bruschi Danilo, Rosti Emilia; AngeL: a tool to disarm computer systems; New security paradigm workshop; NSPW01: Proceedings of the New security paradigm workshop; 2001; cloudcroft, new mexico, USA; ACM press, New York, USA; pagg. 145.

- Bruschi Danilo, Rosti Emilia, S. Basagni, K. Herrin; Secure pebblenets; ACM Symposium on mobile ad-hoc networks; MOBIHOC 2001; 2001; long beach, california, usa; ACM press, new york, USA; pagg. 303.

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

- Campadelli Paola, R. Schettini, S. Zuffi; A System for the Automatic Selection of Conspicuous Coloe Sets for Qualitative Data Display and Visual Interface Design; Color Imaging: Device-Independent Color; Proccedings of SPIE; 2001; R. Eschbach, G.G. Marcu eds; pagg. 272-277.

- Castano Silvana, De Antonellis Valeria; An XML-based Interorganizational Knowledge Mediation Scheme to Support B2B Solutions; IFIP 2.6 Working Conf. on Data Semantics; SEMANTIC ISSUES IN e-COMMERCE SYSTEMS - Proc. of 9th IFIP 2.6 Working Conference (DS-9); 2001; Hong Kong; IFIP.

- Castano Silvana; Data Integration for Web-based Systems; 7th ReTIS Int. Conference; Proc. of 7th ReTIS Int. Conf.: DATA and DOCUMENT REENGINEERING FOR THE WEB; 2001; Lyon (France).

- Castano Silvana, De Antonellis Valeria, Melchiori Michele; Designing a Three-Layer Ontology in a Web-based Interconnection Scenario; DEXA-WEBH'01 Workshop; A. Min Tjoa, Roland Wagner (Eds.): 12th Intl Workshop on Database and Expert Systems Applications; 2001; Munich, Germany; IEEE Computer Society.

- Castano Silvana, Melchiori Michele, Vincini Maurizio; Towards a Comprehensive Methodological Framework for Semantic Integration of Heterogeneous Data Sources; Int. Workshop KRDB 2001; Proceedings of the 8th Int. Work. on Knowledge Representation meets Databases (KRDB01); 2001; Rome - Italy; CEUR Workshop Proceedings.

- Ciocca Gianluigi, Schettini Raimondo, Zuffi Silvia, Marini Daniele, Rizzi Alessandro; Retinex Preprocessing of Uncalibrated Images for Color Based Image Retrieval; CBMI 2001; Second International IEEE Workshop on Content Based Multimedia and Indexing; 2001; Brescia.

- Fiorentini Camillo, Ferrari Mauro, A. Avellone; A formal framework for synthesis and verification of logic programs; Logic Based Program Synthesis and Transf; LOPSTR 2000, Selected Papers; 2001; London; K. K. Lau; Lecture Notes in Computer Science pagg. 1-17.

- Fiorentini Camillo, Ornaghi Mario, Ferrari Mauro; Extracting exact time bounds from logical proofs; ogic Based Program Synthesis and Transfo; Preproceeding of LOPSTR'01; 2001; Larnaka; A. Pettorossi; pagg. 132-140.

- Gerla Brunella, Aguzzoli Stefano, Paolo Avesani; A logical framework for fuzzy collaborative filtering; FUZZ-IEEE 2001; Proceedings of the 10th IEEE international conference on fuzzy systems; 2001; Melbourne; IEEE.

- Gerla Brunella; Subjective interpretation of probability of fuzzy events; FUZZ IEEE 2001; Proceedings of the 10th IEEE International Conference on Fuzzy Systems; 2001; Melbourne; IEEE.

- Goldwurm Massimiliano; Counting problems and random generation for context -free languages; CASCOM 2001; Proceedings GASCOM 2001; 2001; Certosa di Pontignano (Siena); Università degli Studi di Siena.

- Grossi Giuliano, A. Provetti, V. Kreinovich, L. Tari; The Prospect for Answer Sets Computation by a Genetic Model; AAAI Spring Symposium; 2001; Stanford, CA.

- Haus Goffredo, Longari Maurizio; Music Information Description by Mark-Up Languages within DB-Web Applications; IEEE 2001 Wedelmusic Conference; Proceedings of the IEEE 2001 Wedelmusic Conference; 2001; Firenze; IEEE Computer Society Press; pagg. 71-78.

- Haus Goffredo, Maria Luisa Pelegrin Pajuelo; Preserving Music Archives: the Scala and Bolshoi Case Studies; 3rd International Congress on Science an; Proceedings of the 3rd International Congress on Science and Technology for the Safeguard of Cultura; 2001; Alcala de Henares (Spagna).

- Haus Goffredo, Diana Loretta, Ferrari Elena, Elena Ferrari; Saving the Multimedia Musical Heritage of Teatro alla Scala for Querying in a Web-Oriented EnvironmentEnvironment; IEEE 2001 Wedelmusic Conference; Proceedings of the IEEE 2001 Wedelmusic Conference; 2001; Firenze; IEEE Computer Society Press; pagg. 52-59.

- Lanzarotti Raffaella, Campadelli Paola, G. Baldini, P.Piccoli; Automatic Monitoring of Waste-Water in Industrial Plants Basins; ICIP-2001; 2001; Tessalonica; IEEE Computer Society Press; pagg. 297--300.

- Lanzarotti Raffaella, Borghese Nunzio Alberto, Campadelli Paola; Automatic features detection for overlapping face images on their 3D range models; ICIAP01; Proceedings ICIAP01; 2001; Palermo; pagg. 316--321.

- Manara Corrado, Paolo Amato; Logical Foundations for Constraints on Fuzzy Sets in Soft Computing: MV-Partition and Refinement; FUZZ IEEE 2001; Proceedings of the 10th IEEE International Conference on Fuzzy Systems; 2001; Melbourne; IEEE.

- Marini Daniele, Rizzi Alessandro, Rossi Maurizio; Color Appearance for Photorealistic Image Synthesis ; Electronic Imaging 2001; proc. SPIE; 2001; San Jose; 208,215 pagg. 460.

- Marini Daniele, Rizzi Alessandro, Ciocca Gianluigi, Schettini Raimondo, Zuffi Silvia, 4; On prefiltering with retinex in color image retrieval; Electronic Imagini 2001; Proc. SPIE; 2001; San Jose; 140,147 pagg. 446.

- Marini Daniele, Rizzi Alessandro, Rossi Maurizio; Photorealistic Rendering over the Internet for Restoration Support of Ancient Buildings; Electronic Imaging 2001; Proc. SPIE 2001; 2001; San Jose; 226,235 pagg. 446.

- Mereghetti Carlo, Pighizzini Giovanni, Geffert Viliam; Converting two-way nondeterministic unary automata in simpler automata; Matematical Foundations of Comp. Science; Matematical Foundations of Comp. Science 2001; 2001; Marianske Lazne, Czech Republic; Springer; Lecture Notes in Computer Science pagg. 398-407.

- Mereghetti Carlo, Palano Beatrice, Pighizzini Giovanni; On the Succinctness of Deterministic, Nondeterministic, Probabilistic and Quantum Finite Automata; DCAGRS; Descriptional Complexity of Automata, Grammars and Related Structures; 2001; Vienna; Otto-von Guericke-Universitat Magdeburg; pagg. 141-148.

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

- Pagani Elena, Rossi Gian Paolo; A Framework for the Admission Control of QoS Multicast Traffic in Mobile Ad Hoc Networks; 4th ACM Intl. WoWMoM; Proc. WoWMoM; 2001; Roma (Italy); ACM - New York, NY (USA); pagg. 3-12.

- Pagani Elena, Rossi Gian Paolo, Maggiorini Dario; A Multicast Transport Service with Bandwidth Guarantees for Diff-Serv Networks; Intl. Workshop on QoS-IP; Proc. QoS-IP - Lecture Notes in Computer Science; 2001; Roma (Italy); Springer - Berlin (Germany); pagg. 129-140.

- Pagani Elena, Rossi Gian Paolo; Analysis and Evaluation of QoS-Sensitive Multicast Routing Policies; 1st Intl. Conf. on Networking (ICN'01); Proc. ICN'01 - Lecture Notes in Computer Science; 2001; Colmar (France); Springer - Berlin (Germany); pagg. 468-477.

- Pagani Elena, Rossi Gian Paolo; Implementing On-line Techniques to Allocate File Resources in Large Distributed Systems; 9th IEEE Euromicro Workshop PDP; Proc. Euromicro PDP'01; 2001; Mantova; IEEE Computer Society - Piscataway, NJ (USA); pagg. 377-384..

- Pagani Elena, Rossi Gian Paolo, Borella Andrea, Cancellieri Giovanni; Quality-of-Service Guarantees for Multicast Traffic in Heterogeneous Multi-Service Networks; Intl. Wkshop on QoS-IP; Proc. QoS-IP - Lecture Notes in Computer Science; 2001; Roma (Italy); Springer - Berlin (Germany); pagg. 97-112.

- Ripamonti Laura Anna, De Cindio Fiorella, F.Gnecchi, C. Mariani; Siti civici e comunità virtuali locali come strumento di comunicazione pubblica; XXXIX Congresso Annuale AICA; Tecnologie, Innovazione e Societa'; 2001; Como.

- Rossi Maurizio, Marini Daniele; Chromatic adaptation post-filtering in image synthesis reproduction of ancient building for restoration support; ICHIM 2001; Proc. ICHIM 2001; 2001; Milano; 155,168.

- Tanzi Dante; Music negotiation: routes in user-based description of music; Music without Walls? Music Without Instr; Proceedings; 2001; Leicester - U.K.; De Montfort University.

- Torelli Mauro, De Stefano Stefania Giovanna, D'Antona Ottavio, Davide Rebatto; On Polynotopes; Discrete Models; 2001; Parigi.

- Torelli Mauro; Trees as sets of positive integers; Fun with Algorithms 2; Fun with Algorithms 2; 2001; Isola d'Elba; Carleton Scientific/Waterloo Canada; pagg. 229-237.

Rapporti - Bruschi Danilo, Rosti Emilia, A. Curti; A quantitative study of public key infrastructures; 2001; dipartimento di scienze dell'informazion.

- Bruschi Danilo, Rosti Emilia, S. Crucitti; Authenticating network devices using X.509 certificates; 2001; dipartimento di sceinze dell'informazion.

- De Stefano Stefania Giovanna, Torelli Mauro, D'Antona Ottavio, Davide Rebatto; I polinotopi; 2001.

7. Centri di ricerca con sede nel dipartimento o istituto, consorzi per la ricerca cui partecipa la struttura

1. RCM (resp. Prof.ssa De Cindio, F.) La Rete Civica di Milano (RCM) si pone l'obiettivo di mettere a disposizione dei cittadini milanesi un ambiente telematico efficace e facile da usare per favorire la comunicazione tra soggetti diversi: cittadini e loro associazioni di fatto e di diritto, Enti Pubblici e società che ne sono emanazione, aziende che operano nei vari settori di mercato, operatori dell'informazione. RCM e il Laboratorio di Informatica Civica hanno instaurato nel corso degli anni di attività dal '94 ad oggi feconde collaborazioni con la Pubblica Amministrazione Locale, tra cui quelle con Regione Lombardia, Provincia e Camera di Co mmercio di Milano, Direzione Scolastica della Lombardia e Comune di Milano. L'attività svolta ha contribuito ad ampliare gli spazi della democrazia, della trasparenza , della conoscenza e della collaborazione, richiamandosi alle radici più forti della tradizione municipale ambrosiana, e il riconoscimento di ciò da parte delle autorità cittadine, ha portato al conferimento dell'Ambrogino d'oro 2001 alla Prof.ssa Fiorella De Cindio, presindente della Fondazione RCM e responsabile del Laboratorio di Informatica Civica. 2. CERT-IT (resp. Prof.ssa Rosti, E. - Prof. Bruschi, D.) L'attività` del CERT-IT, Computer Emergency Response Team Italiano, durante il 2001 e` stata principalmente quella di gestione degli incidenti informatici e diffusione d'informazione riguardante la sicurezza informatica mediante la gestione di una mailing list d'interesse. In occasione delle segnalazioni di incidenti, il CERT-IT ha fornito supporto per

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

via telematica del tutto gratuita ai gestori delle macchine attaccate sia nella fase di analisi dell'accaduto, sia in quella di ripristino dei servizi in modo sicuro. Inoltre, il CERT-IT e` stato attivo presso il FIRST, il Forum of Incident Response and Security Teams, di cui e` membro, partecipando alla selezione del programma tecnico della conferenza annuale del FIRST e partecipando allo Steering Committee dello stesso.

8. Partecipazione dei componenti della struttura ad organi di governo, coordinamento, gestione, ecc. della facoltà e/o dell'ateneo

NOMINATIVO ORGANO DI APPARTENENZA

Elisa Bertino

- Commissione di Ateneo per le Strategie Informatiche.

Gian Paolo Rossi

- Presidenza del Consiglio di Coordinamento Didattico di Informatica.

Daniele Marini

- Consiglio Universitario Nazionale. - Commissione per l'Incentivazione della Didattica, Facolta' di Sc. Mat.Fis. Nat.

Alberta M. Alberti

- Commissione d’Ateneo Comitato per la disabilità e handicap. - Commissione per l'Incentivazione della Didattica, Facolta' di Sc. Mat.Fis. Nat.

Paola Campadelli

- Commissione di ateneo per la ricerca scientifica

Silvana Castano

- Membro Comitato d'Area n. A06. - Coordinatore Laurea Specialistica “Tecnologie dell’Informazione e della Comunicazione.

9. Dati di contesto didattico

No. totale insegnamenti tenuti da docenti afferenti alla struttura 275

No. insegnamenti corsi di laurea 220 No. insegnamenti corsi di diploma universitario 55

No. insegnamenti corsi di scuole di specializzazione 8

No. insegnamenti corsi di scuole di perfezionamento 2

No. insegnamenti corsi di dottorati 4 No. insegnamenti corsi di scuole post-laurea 0

No. corsi di aggiornamento 0

No. totale esami tenuti da docenti afferenti alla struttura 2156 No. esami profitto corsi di laurea 0

No. esami profitto corsi di diploma universitario 0

No. esami profitto scuole di specializzazione 15

No. esami profitto scuole di perfezionamento 0 No. tesi di laurea 203

No. tesine di diploma 49

No. tesi di specialità 0

No. dottorati di ricerca con sede amministrativa presso la struttura 5 No. dottorati di ricerca con sede amministrativa esterna 0

No. dottori di ricerca che hanno conseguito il titolo 4

No. di tirocinanti 200

No. programmi di tutoraggio 0 No. professori a contratto, lettori e docenti di corsi di sostegno 9

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

10. Commento conclusivo del direttore

Presentazione Il Dipartimento di Scienze dell'Informazione, istituito nel gennaio del 1986, con la trasformazione in dipartimento dell'Istituto di Cibernetica operante fin dal 1977 nell'ambito dell'Università degli Studi di Milano, è sede di un'intensa attività di ricerca sugli aspetti sistemistici, architetturali, applicativi dell’informatica e delle reti di calcolatori nonché sugli aspetti teorici e fondazionali. Un aspetto caratterizzante dell'attività di ricerca svolta è la forte connessione con la realtà produttiva e sociale. L'attività di ricerca ha notevoli ricadute sul contesto industriale, culturale e sociale, come evidenziato dai vari progetti di informatica applicata che vedono coinvolti componenti del dipartimento, tra cui il progetto di salvataggio degli archivi fonici del Teatro alla Scala di Milano (diretto dal prof. Haus), e da varie associazioni e fondazioni che fanno capo al dipartimento, tra cui il CERT-IT, Computer Emergency Response Team Italiano (diretto dal prof. Bruschi) e la Fondazione Rete Civica di Milano (presidente prof.ssa De Cindio). Di particolare rilevanza durante il 2001 è stata l'attenzione posta dal Dipartimento alle tematiche della multimedialità, della comunicazione, e della sicurezza. Sono state infatti messe a punto varie iniziative tra cui un Master in Esperto in Televisione Digitale e Tecnologie Interattive e un Master in Sicurezza delle Tecnologie dell’Informazione e della Comunicazione. Entrambi i master, che hanno preso l’avvio nel Gennaio 2002, sono stati finanziati dal Fondo Sociale Europeo. Il 2001 ha inoltre visto l’avvio di una nuova laurea triennale in Comunicazione Digitale. L'obiettivo di questo nuovo corso di laurea è la formazione di esperti con ampie competenze per la progettazione, lo sviluppo e la gestione della comunicazione attraverso sistemi informatici e multimediali. Percorsi Formativi A partire dall'anno accademico 2001-2002 il corso di laurea ed il corso di diploma in Informatica sono stati riorganizzati sulla base dei decreti di area, dando luogo alla nuova laurea triennale in Informatica. Dei corsi preesistenti (laurea quinquennale in informatica e di diploma in informatica) non è stato attivato per l’a.a. 2001-2002 il primo anno, mentre sono stati attivati tutti gli altri anni. I corsi di studio che pertanto fanno capo al Dipartimento sono i seguenti:

• Corso di laurea triennale in informatica (1244 studenti iscritti) • Corso di laurea triennale in comunicazione digitale (241 studenti iscritti) • Corso di laurea quinquennale in informatica (692 studenti iscritti) • Corso di diploma in informatica (329 studenti iscritti) • Corso di dottorato in informatica (37 dottorandi).

Presidente del Consiglio di Coordinamento Didattico per l’area Informatica è il prof. Gian Paolo Rossi. Coordinatore del Dottorato è il Prof. Degli Antoni. Oltre agli insegnamenti fondamentali, i corsi di laurea e di diploma prevedono numerosi insegnamenti complementari nonché svariati orientamenti, al fine di completare la formazione degli studenti anche sulla base delle odierne professionalità nell'ambito delle tecnologie dell'Informatica e delle Comunicazione. Il Dipartimento ha inoltre attivato un servizio stage (a partire dall'Aprile 1999), il cui obiettivo è da un lato fornire una banca dati con tutte le offerte di stage presso aziende nei settori dell'informatica, delle telecomunicazioni, dei servizi e dall'altro seguire gli studenti durante l'attivazione e lo svolgimento del progetto di stage. Gli stage attivati tramite il servizio stage del Dipartimento sono stati per il 2001 più di 200. Dal 1984 il Dipartimento, inizialmente nell'ambito di un consorzio con il Dipartimento di Informatica dell'Università di Torino e successivamente in modo autonomo, gestisce anche il dottorato in informatica, di cui è stato attivato nell'anno accademico 2001-2002 il 17° ciclo. Il Dipartimento partecipa inoltre alla Scuola Interuniversitaria Lombarda di Specializzazione per l'Insegnamento Secondario - Sezione di Milano, nel cui ambito è prevista l'abilitazione per la classe di concorso 42/A Informatica, le cui attività di didattica e tirocinio sono coordinate dal Prof. Ottavio D'Antona del nostro Dipartimento. Un'altra rilevante partecipazione del Dipartimento alle attività didattiche istituzionali dell'Ateneo è nell'ambito del Master in Metodologie dell'Informatica e della Comunicazione per le Scienze Umanistiche, organizzato dalla Facoltà di Lettere e Filosofia dell'Ateneo in collaborazione con il Dipartimento. Nell'ambito di tale master, docenti afferenti al Dipartimento hanno

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

svolto attività didattica su tutti gli aspetti di base delle discipline informatiche, tra cui i sistemi operativi, la programmazione, le basi di dati, i sistemi informativi, le reti di calcolatori. Oltre ad iniziative formative in ambito prettamente universitario, il Dipartimento ha anche posto attenzione ad altre iniziative di formazione in collaborazione con soggetti esterni all'Università. In questo ambito, si segnala il corso IFTS 2000-2001 "Web Administrator per e-business" (direttore di progetto: prof.ssa Bertino, partecipanti: Università degli Studi di Milano, Liceo Scientifico Statale “G. Marconi”, C.F.P. Vigorelli, Microsoft, Oracle). Tale progetto, finanziato dalla Regione Lombardia per un totale di 500 Milioni, ha preso l'avvio nel settembre 2001 e si è concluso nella primavera del 2002. Nuovi Corsi di Laurea Triennale Un aspetto che ha caratterizzato le attività del Dipartimento nel corso dell'anno 2001 è stata la progettazione di altri due nuovi corsi di laurea triennali che prenderanno l’avvio nell’a.a. 2002-2003, rispettivamente il corso di Laurea in Scienze e Tecnologie della Comunicazione Musicale ed il corso di Laurea in Informatica per le Telecomunicazioni. Il primo ha l’obiettivo di formare figure professionali qualificate ad operare nell’area della comunicazione musicale per l’editoria, i nuovi media, la produzione musicale, il commercio elettronico, la radio e la televisione, la pubblicità, la comunicazione d’impresa, i beni culturali e gli ambiti pedagogici e formativi. Il secondo ha l’obiettivo di formare laureati con specifiche competenze nell’area delle telecomunicazioni e delle reti di calcolatori – aree che sono oggi cruciali per chiunque si occupi di sistemi ed applicazioni informatiche. Laboratori per la Didattica Il SiLab è il laboratorio didattico aperto a tutti gli studenti dei corsi di laurea e di diploma del Dipartimento: già all’iscrizione al primo anno gli studenti possono chiedere la login di accesso. Il laboratorio dispone di circa 150 posti di lavoro ed ultimamente è stato notevolmente migliorato nella dotazione, nella flessibilità, nella gestione e nella sicurezza. Le postazioni sono sostanzialmente dei pc dove risiedono tutte le risorse software necessarie agli studenti offrendo, a scelta, la piattaforma Microsoft (Windows 2000) o Unix. L’area strutture Informatiche oltre ad aver effettuato notevoli migliorie al su menzionato Silab ha studiato e realizzato anche una serie di progetti di aule informatizzate per rendere più incisiva e moderna l’attività didattica del Dipartimento. Sono così state realizzate due nuove aule corsi: l’aula delta e gamma. E’ stato subito evidente che l’utilizzo solo in tal senso sarebbe stato riduttivo: infatti sono ampiamente utilizzate anche per le esercitazioni di vari insegnamenti dei corsi di Laurea e di diploma. La differenza principale con il SiLab, oltre che nella capienza (25 e 20 postazioni rispettivamente), è che, in queste due aule, l’attività di laboratorio da parte degli studenti avviene esclusivamente con la presenza di un docente, non richiesta invece nel primo. Tali aule sono dotate di un pc per il docente e di videoproiettori. Anche le due aule corsi preesistenti, l’aula beta e alfa sono state migliorate. Mentre per la beta si è provveduto solo a una modernizzazione delle apparecchiature video, l’aula alfa è stata arricchita di sofisticate apparecchiature multimediali che permettono al docente non solo di effettuare corsi dove tale tecnologia è oramai necessaria, ma ha anche permesso di effettuare corsi in videoconferenza, per ora con il Polo di Crema che si è dotato di un’apparecchiature di videoconferenza, dove il docente può interagire con gli studenti in remoto non solo con l’audio ma anche con il video in qualità televisiva. L’ulteriore sviluppo previsto è la registrazione in formato elettronico di tali corsi, permettendo la fruizione in remoto e in differita delle lezioni. Struttura Gestionale del Dipartimento Sono organi del Dipartimento il Direttore, il Consiglio di Dipartimento, la Giunta. La Giunta in carica nel 2001 è costituita dai seguenti componenti: Elisa Bertino (Direttore del Dipartimento), Danilo Bruschi, Paola Campanelli, Sergio De Stasio, Ottavio D'Antona (Vicedirettore del Dipartimento), Diego De Falco, Stefano Giudici, Gianfranco Prini, Sebastiano Vigna. Collaborazioni con enti esterni Il Dipartimento ha varie collaborazioni con enti esterni sia pubblici, come MURST, CNR, AIPA (Autorità per l'Informatica nella Pubblica Amministrazione) che privati, tra cui numerose aziende attive nei settori dell’informatica e delle telecomunicazioni, quali: Telcordia, Microsoft Research, SGS-THOMSON Microelectronics. Progetti a supporto dell’amministrazione e della gestione del Dipartimento

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

Ai fini di fornire servizi sempre più efficienti, il Dipartimento ha avviato nel 2001 vari progetti volti ad automatizzare vari aspetti della gestione ordinaria del Dipartimento. Il coordinamento per la progettazione, sviluppo e realizzazione di tali progetti è stato affidato al Rag. Giudici Stefano, Segretario amministrativo, la cui competenza, professionalità e disponibilità dimostrata in tutti questi anni hanno fatto sì che molti servizi venissero riorganizzati, migliorati e riqualificati con iniziative, atte a snellire e velocizzare le procedure amministrativo contabili e dei servizi generali apprezzate da tutto il personale docente afferente al Dipartimento

Sito Amministrazione.

Il sito è strutturato come segue: Home Page contenente, oltre i link delle varie pagine, una sezione relativa alle “news”. In quest’ultima vengono

evidenziate le principali scadenze amministrative e altre notizie di rilevante importanza.

Partendo dalla home page, dei link conducono alle pagine relative ai singoli servizi forniti dall’amministrazione, e cioè Contabilità, Patrimonio, Missioni, Convenzioni, Servizi Generali e Servizio Posta.

All’interno delle stesse sono evidenziati il personale di riferimento, le attività svolte, una sezione dedicata ai regolamenti, una sezione relativa alla modulistica scaricabile. Inoltre è presente una sezione contenente dei link di pubblica utilizza e una sezione in “evidenza”.

Risultati attesi: Il sito internet è stato ideato e predisposto allo scopo di mettere a disposizione del personale interno ed esterno le

informazioni riguardanti i contenuti, i regolamenti e i servizi forniti dagli uffici amministrativi. Inoltre è stata pubblicata sul sito, e resa scaricabile, tutta la modulistica indispensabile per espletare una pratica (es. commesse per prestazione, dichiarazione dati amministrativi, ecc.).

Database per contratti e convenzioni.

Il Database, creato con il programma File Maker, ha avuto come principale obiettivo quello di centralizzare le informazioni riguardanti:

• gli schemi o tipologie contrattuali per convenzioni e contratti; • il responsabile scientifico; • le modalità dei pagamenti; • le eventuali condizioni per la utilizzazione e la pubblicazione dei risultati.

Risultati attesi: La segreteria amministrativa, allo scopo di razionalizzare e velocizzare le procedure amministrative, ha ritenuto opportuno predisporre una banca dati relativa ai contratti e alle convenzioni stipulati dai docenti del Dipartimento.

Attraverso questo sistema è stata data la possibilità all’utente (docente, personale tecnico, ecc.) di interrogare la banca dati in tempo reale e conoscere lo stato di avanzamento della propria pratica riguardante l’attività di ricerca (es.: data approvazione del C.d.A, ripartizione del c/terzi, pagamento fatture, ecc.) ed allo stesso tempo si è permesso all’operatore di interagire e comunicare con gli uffici centrali attraverso lo scambio informazioni corrette e non più sommarie.

SIPD (Sistema Informatico Patrimonio Dipartimentale).

In particolare, in relazione alle attrezzature hardware e TLC, il Dipartimento di Scienze dell’Informazione, deve gestire contemporaneamente il Patrimonio (fornitori, valore dei beni, fondi di acquisto ripartiti per sezioni, nn. e date dei buoni d’ordine, delle fatture, dei mandati, emissione dei buoni di carico e compilazione del registro patrimoniale) e l’Inventario Tecnico dei beni (costruttori, modelli, nn. di serie, collocazione fisica e sue modificazioni).

Si tratta di una massa notevole di dati che al momento viene gestita mediante il Registro Patrimoniale (scritto a

mano) ed un foglio excel approntato in collaborazione tra Segreteria Amministrativa e Strutture Informatiche. Si è pertanto ritenuto non procrastinabile l’introduzione di un sistema informatico per la gestione di questi dati. Si tenga presente che molte attrezzature tutt’ora in uso presso il Dipartimento risalgono alla fine degli anni ’70 e

alla prima metà degli anni ’80, per cui il recupero delle pratiche cartacee relative (più che altro la loro gestione) è particolarmente onerosa e costringe a notevoli sprechi di tempo e di risorse umane.

Relazione annuale 2001 – Dipartimento di Scienze dell’Informazione

Risultati attesi: I servizi della Segreteria Amministrativa e delle Strutture Informatiche hanno collaborato fattivamente alla

stesura del piano del sistema informatico che si impernia su un database nel quale verranno inseriti tutti i dati, sia “tecnici” che “amministrativo-patrimoniali” dei beni al momento rinvenuti in Dipartimento.

Il Sistema informatico in rapida sintesi dovrà: • gestire ogni singolo bene a partire dalla sua consegna in dipartimento, seguendone gli spostamenti fisici e di responsabile (la persona cui il Direttore affida in consegna il bene: ad esempio il responsabile di un laboratorio); • gestire la produzione e stampa dei buoni di carico e scarico nel formato e nel numero di copie richiesto dalla normativa vigente; • gestire la stampa del registro patrimoniale nel formato e nel numero di copie richiesto dalla normativa vigente; nonché il calcolo della situazione patrimoniale; • gestire l’anagrafica dei fornitori, dei costruttori, delle persone cui il Direttore affida in consegna i beni, dei locali presso i quali si trovano i beni; • essere in grado di gestire inventario e patrimonio di più centri di costo differenti e tenerne una contabilità ed un inventario separati. • gestire le procedure patrimoniali relative ai casi di comodato, leasing, locazione dei beni • gestire le manutenzioni dei beni con un sistema di registrazione dei contratti di manutenzioni, tempi e scadenze delle stesse, allerta nel caso la ditta erogatrice della manutenzione non rispetti le condizioni contrattuali, ecc. • gestire gli spostamenti fisici del bene (mantenendone lo “storico”) mediante modifica dei dati da parte degli operatori preposti; • essere accessibile via browser sia per gli operatori che per gli utenti (fornendo, ad esempio, ad ogni responsabile di locali, l’elenco delle macchine di sua pertinenza, il loro valore, i dati delle garanzie e delle manutenzioni, ecc.) • stampare l’elenco dei beni che deve essere affisso in ogni locale secondo la normativa vigente.