Il DI a un anno dalla sua creazione: aree di ricerca e prospettive
Dipartimento di Informatica
Sala Lauree – Sede di Milano
lunedì 27 maggio 2013
Programma della giornata
Ore 9:30 Apertura dei lavori
Goffredo Haus (Direttore del Dipartimento)
Silvana Castano (Organizzazione workshop)
Sessione I – Chair Silvana Castano
Divulgazione e Didattica dell'Informatica
Carlo Bellettini, Paolo Boldi, Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo, Massimo
Santini
Architetture Digitali per l'Elaborazione dei Segnali
Federico Pedersini, Giuliano Grossi, Raffaella Lanzarotti
Internet of Things
Bruno Apolloni, Simone Bassis, Dario Malchiodi
Analisi Statistica dei Dati
Bruno Apolloni, Simone Bassis, Anna Maria Zanaboni
Linguaggi di Programmazione (Design e Implementazione) e Evoluzione del Software
Walter Cazzola, Lorenzo Capra
Interactions and Data Management
Marco Mesiti, Paolo Perlasca, Stefano Valtolina
Informatica Sociale
Fiorella De Cindio, Andrea Trentini
Algoritmica per il Web e le Reti Sociali
Paolo Boldi, Massimo Santini, Sebastiano Vigna
Informatica Industriale e Ambientale e Sistemi Biometrici
Stefano Ferrari, Vincenzo Piuri, Roberto Sassi, Fabio Scotti
Ricerca Operativa
Alberto Ceselli, Roberto Cordone, Giovanni Righini, Marco Trubian
Fattori Percettivi e Tecniche Avanzate di Visualizzazione, Imaging e Computer Graphics
Daniele Marini, Alessandro Rizzi, Maria Alberta Alberti, Davide Gadia
Apprendimento Automatico: Teoria e Applicazioni
Paola Campadelli, Elena Casiraghi, Nicolò Cesa-Bianchi, Dario Malchiodi, Matteo Ré, Giorgio Valentini
Computer Networks
Gian Paolo Rossi, Elena Pagani, Sabrina Gaito
Sicurezza, Privatezza e Protezione Dati
Sabrina De Capitani di Vimercati, Sara Foresti, Pierangela Samarati
Informatica Musicale
Goffredo Haus, Luca A. Ludovico
Ore 11:15 Break
Ore 11:30 Sessione II – Chair Goffredo Haus
Mobile and Pervasive Computing
Claudio Bettini, Sergio Mascetti
Knowledge Management
Ernesto Damiani, Paolo Ceravolo, Gabriele Gianini
Secure Service Oriented Architecture
Ernesto Damiani, Claudio Agostino Ardagna, Marco Anisetti, Chiara Braghin, Stelvio Cimato
Complessità Descrizionale di Sistemi Formali
Giovanni Pighizzini, Carlo Mereghetti, Beatrice Palano, Alberto Bertoni
Metodi Formali (in Ingegneria del Software)
Elvinia Riccobene, Chiara Braghin
Logica@Comelico
Stefano Aguzzoli, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi
Applied Intelligent Systems
N. Alberto Borghese, Iuri Frosio
Problemi di clustering vincolato
Alberto Bertoni, Massimiliano Goldwurm
Algoritmi per la Sintesi Logica
Valentina Ciriani, Roberto Cordone, Gabriella Trucco
Database and Web Data Management
Silvana Castano, Alfio Ferrara, Stefano Montanelli
Elaborazione di Segnali e Immagini Biomedicali
Roberto Sassi
Crittografia e Sicurezza
Andrea Visconti
Fisica Computazionale
Rita Pizzi
Bioinformatica
Gabriella Trucco
Systems Biology
Daniela Besozzi
Sistemi per il Trattamento dell' Informazione Geo-Spaziale
Maria Luisa Damiani
Digital Signal Processing & Real-Time Systems
Mario Malcangi
IT Security e Dynamic Social Network Analysis
Marco Cremonini
Ore 13.30: Chiusura dei lavori
