Primo Workshop Annuale del
Dipartimento di Informatica
Università Ca' Foscari di Venezia
giovedì, 2 marzo 2006
Il workshop vuole essere un'occasione di incontro informale tra docenti, dottorandi e studenti per presentare l'attività di ricerca svolta nel Dipartimento di Informatica di Ca' Foscari. L'obiettivo è, da un lato, quello di promuovere la collaborazione fra i diversi gruppi di ricerca del Dipartimento, dall'altro quello di rendere gli studenti più partecipi della vita universitaria ed orientarli nella scelta dell'argomento della tesi di laurea. D'altra parte, l'iniziativa vuole essere anche un'occasione per offrire una panoramica dell'attività di ricerca del Dipartimento al mondo imprenditoriale al fine di incentivare collaborazioni scientifiche o industriali.
Programma
| 09:00 | - | 09:10 | Apertura dei lavori A. Bossi, M. Pelillo, R. D'Orsi (Club TI Triveneto) |
| Sessione I (Chairman: A. Celentano) | |||
| 09:10 | - | 09:30 | Knowledge Discovery e Data Mining S. Orlando, A. Raffaetà [Abstract] [Slides] |
| 09:30 | - | 09:50 | Pattern discovery e analisi di biosequenze N. Cocco, M. Simeoni [Abstract] [Slides] |
| 09:50 | - | 10:10 | Clustering e segmentazione di immagini M. Pelillo, M. Pavan, A. Torsello [Abstract] [Slides] |
| 10:10 | - | 10:30 | Salviamo Venezia con l'acqua F. Sartoretto [Abstract] [Slides] |
| 10:30 | - | 11:00 | Coffee break |
| Sessione II (Chairman: S. Orlando) | |||
| 11:00 | - | 11:20 | Algebre Booleane e lambda calcolo Antonino Salibra [Abstract] |
| 11:20 | - | 11:40 | Il problema della sicurezza del flusso delle informazioni A. Bossi, R. Focardi, S. Rossi [Abstract] [Slides] |
| 11:40 | - | 12:00 | Sistemi di tipi per la sicurezza in sistemi distribuiti M. Bugliesi, R. Focardi, M. Maffei [Abstract] [Slides] |
| 12:00 | - | 12:20 | L'astrazione nella verifica formale del software P. Baldan, A. Cortesi [Abstract] [Slides Baldan] [Slides Cortesi] |
| 12:20 | - | 14:30 | Pausa pranzo |
| Sessione III (Chairman: F. Dalla Libera) | |||
| 14:30 | - | 14:50 | Interfacce per basi di dati e Integrazione di
Sistemi Informativi R. Orsini, A. Roncato [Abstract] [Slides] |
| 14:50 | - | 15:10 | Interagire e fruire contenuti in uno spazio tridimensionale semantico F. Pittarello, A. Celentano [Abstract] [Slides] |
| 15:10 | - | 15:30 | Sistemi context-aware per la fruizione di informazioni multimodali complesse A. Celentano, O. Gaggi [Abstract] [Slides] |
| 15:30 | - | 16:00 | Coffee break |
| Sessione IV (Chairman: A. Cortesi) | |||
| 16:00 | - | 16:20 | Web 2.0: Web come piattaforma F. Dalla Libera [Abstract] [Slides] |
| 16:20 | - | 16:40 | Web 3.0: Quando la zia fa surfing M. Marchiori (Università di Padova) [Abstract] |
| 16:40 | Conclusione dei lavori | ||