Workshop del Dottorato di Informatica dell’Università di Pisa

17 Gennaio 2011 – Sala G.B. Gerace – Dipartimento di Informatica

L'edizione 2011 del workshop del dottorato di ricerca in informatica dottorato si terrà Lunedì 17 Gennaio 2011, dalle ore 9:00 alle 19:00, nella Sala Gerace del Dipartimento di Informatica dell'Università di Pisa. Il programma del workshop prevede una relazione di 20 minuti da parte di tutti i dottorandi che concludono il secondo e il terzo anno di dottorato in informatica, finalizzata a presentare i risultati di ricerca conseguiti, in modo comprensibile anche ai non esperti dello specifico settore di ricerca.

The 2011 edition of the PhD workshop will be held on Monday, 17 January 2011, 9am through 7pm, in Sala Gerace of the Department of Computer Science, Univ. Pisa. The workshop program consists in 20-minutes presentations by all PhD students completing their second and third year of the PhD program in computer science; each PhD student illustrates the research results achieved in a form comprehensible also for non-experts in the specific field where the work is situated.

• 09:00-09:20 Gabriele Mencagli: A control-theoretic methodology for adaptive structured parallel computations. Abstract Supervisor: M. Vanneschi. Committee: A. Cisternino, M. Danelutto.

• 09:20-09:40 Gabriele Capannini: K-model: a new computational model for stream processors. Abstract Supervisors: R. Baraglia (ISTI-CNR), F. Silvestri (ISTI-CNR). Committee: P. Ferragina, R. Baeza-Yates (Yahoo!), L. Ricci, D. Pedreschi.

• 09:40-10:00 Gianpaolo Palma: Surface appearance reconstruction from image streams. Abstract Supervisors: R. Scopigno (ISTI-CNR), M. Callieri (ISTI-CNR). Committee: G. Attardi, P. Ferragina.

• 10:00-10:20 Marco Di Benedetto: Multiresolution techniques for real-time visualization of urban environments and terrains. Abstract Supervisor: P. Cignoni (ISTI-CNR), F. Ganovelli (ISTI-CNR). Committee: G. Attardi, A. Cisternino.

10:20-10:35 BREAK

• 10:35-10:55 Dinh Viet Dung: A G-local Pi calculus. Abstract Supervisors: C. Bodei, G. Ferrari. Committee: A. Brogi, P. Degano.

• 10:55-11:15 Luca Pardini: Updatable RDF views. Abstract Supervisor: G. Ghelli. Committee: A. Brogi, F. Turini.

• 11:15-11:35 Giacoma Monreale: Labelled transition system semantics for process calculi from their graphical encodings. Abstract Supervisor: F. Gadducci. Committee: G. Ghelli, U. Montanari.

11:35-11:50 BREAK

• 11:50-12:10 Michele Coscia: Multidimensional network analysis. Abstract Supervisors: D. Pedreschi, F. Giannotti (ISTI-CNR). Committee: P. Ferragina, M. Simi.

• 12:10-12:30 Rebecca Uy Ong: From pattern discovery to pattern interpretation of semantically-enriched trajectory data. Abstract Supervisors: D. Pedreschi, M. Nanni (ISTI-CNR), C. Renso (ISTI-CNR). Committee: G. Ghelli, P. Mogorovich.

• 12:30-12:50 Claudio Gallicchio: Reservoir computing for learning in structured domains. Abstract Supervisor: A. Micheli. Committee: P. Mancarella, S. Ruggieri.

• 12:50-13:10 Anna Monreale: Privacy by design in data mining. Abstract Supervisors: D. Pedreschi, F. Giannotti (ISTI-CNR). Committee: C. Bodei, R. Grossi.

13:10-14:00 LUNCH

• 14:00-14:20 Augusto Rui Ferreira: Finding frequent combinatorial patterns in graphs Supervisor: R. Grossi. Committee: F. Giannotti (ISTI-CNR), F. Romani.

• 14:20-14:40 Giuseppe Ottaviano: High dimensional geometry for efficient information retrieval. Abstract Supervisor: R. Grossi. Committee: M. Pellegrini (IIT-CNR), F. Sebastiani (ISTI-CNR).

• 14:40-15:00 Giovanni Battaglia: Discovery of unconventional patterns for sequence analysis: theory and algorithms. Abstract Supervisor: R. Grossi. Committee: R. Barbuti, D. Pedreschi.

• 15:00-15:20 Alessio Orlandi: Advanced rank/select data structures: succinctness, bounds, applications. Abstract Supervisor: R. Grossi. Committee: M. Bonuccelli, M. Pellegrini (IIT-CNR).

• 15:20-15:40 Giovanni Viglietta: Guarding and searching polyhedral environments Abstract Supervisor: L. Pagli. Committee: M. Bonuccelli, G. Prencipe.

15:40-15:55 BREAK

• 15:55-16:15 Aureliano Rama: Formalisms for ecological applications. Abstract Supervisors: R. Barbuti, P. Milazzo. Committee: F. Levi, P. Luschi (Dip. Biologia, Univ. Pisa).

• 16:15-16:35 Peter Drabik: Modular verification of biological systems. Abstract Supervisors: A. Maggiolo, P. Milazzo. Committee: G. Ferrari, C. Bodei.

• 16:35-16:55 Giulio Caravagna: Formal modeling and simulation of biological systems with delays. Abstract Supervisors: R. Barbuti, P. Milazzo. Committee: A. D'Onofrio (Istituto Europeo di Oncologia, Milano), R. Grossi.

• 16:55-17:15 Giovanni Pardini: Formal modelling and simulation of biological systems with spatiality. Abstract Supervisors: R. Barbuti, A. Maggiolo. Committee: P. Degano, F. Levi.

• 17:15-17:35 Donatella Ermini: Traffic scheduling in point-to-multipoint OFDMA-based systems. Abstract Supervisor: M. Bonuccelli. Committee: M. Danelutto, R. Grossi.

• 17:35-17:55 Claudio Francesco Vairo: A query language for dynamic tracking of moving events in wireless sensor networks. Abstract Supervisors: S. Chessa, G. Amato (ISTI-CNR). Committee: A. Albano, M. Bonuccelli.

17:55-18:10 BREAK

• 18:10-18:30 Thaizel Fuentes: Enhanced service discovery in embedded peer-to-peer systems. Abstract Supervisor: A. Brogi. Committee: S. Chessa, G. Ghelli.

• 18:30-18:50 Gabriele Costa: On the security of software systems and services. Abstract Supervisor: P. Degano, F. Martinelli (IIT-CNR). Committee: A. Brogi, F. Gadducci.

• 18:50-19:10 Aliaksandr Lazouski: On usage control for grid services. Abstract Supervisor: F. Martinelli (IIT-CNR). Committee: P. Degano, G. Ferrari.

• 19:10-19:30 Leanid Krautsevich: Risk management for usage control in services. Abstract Supervisor: F. Martinelli (IIT-CNR). Committee: P. Degano, G. Ferrari.

Per i dottorandi che completano il secondo anno, la presentazione vale come valutazione dell'avanzamento. Sarà cura di ciascun dottorando e del supervisore fare in modo che la commissione sia presente alla relazione. Se necessario, la commissione potra` richiedere in tempi brevissimi un approfondimento prima di rilasciare il proprio giudizio.

I dottorandi che completano il terzo anno presentano il loro lavoro di tesi (che deve ancora esser valutato dai revisori esterni; dopo la revisione, sarà nuovamente discusso davanti alla commissione interna.)

The presentation of the PhD candidates completing their second year has also the purpose of assessing the advancement to the third year. PhD candidates and supervisors should make sure that her/his commission is present at the presentation in the workshop. If necessary, the commission may request further discussion, immediately after the workshop, before completing its review report about the PhD candidate.

The presentation of the PhD candidates completing their third year has the purpose of illustrating the current status of their PhD thesis (which will be evaluated by the external reviewers and, after receiving the referees' reports, will be reviewed and defended with the internal committee.)

Dino Pedreschi pedre [at] di [dot] unipi [dot] it, Pierpaolo Degano