====== PhD Workshop 2011 ====== **Workshop del Dottorato di Informatica dell’Università di Pisa ** ** 17 Gennaio 2011 – Sala G.B. Gerace – [[http://www.di.unipi.it|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. ====== Program ====== ===== Opening 8:45 ===== ===== SESSION 1: PARALLEL AND STREAMED SYSTEMS [09:00-10:20] ===== * **09:00-09:20** Gabriele Mencagli: //A control-theoretic methodology for adaptive structured parallel computations.// [[abstract.mencagli|Abstract]] Supervisor: M. Vanneschi. Committee: A. Cisternino, M. Danelutto. * **09:20-09:40 ** Gabriele Capannini: //K-model: a new computational model for stream processors. // {{:dm:abstract.capannini.pdf|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. // {{:dm:abstract.palma.pdf|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.dibenedetto|Abstract]] Supervisor: P. Cignoni (ISTI-CNR), F. Ganovelli (ISTI-CNR). Committee: G. Attardi, A. Cisternino. ---- **10:20-10:35 BREAK ** ---- ===== SESSION 2: DATABASES AND FORMAL CALCULI [10:35-11:35] ===== * **10:35-10:55** Dinh Viet Dung: //A G-local Pi calculus.// [[abstract.dung|Abstract]] Supervisors: C. Bodei, G. Ferrari. Committee: A. Brogi, P. Degano. * **10:55-11:15** Luca Pardini: //Updatable RDF views.// [[abstract.pardinil|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.valentina|Abstract]] Supervisor: F. Gadducci. Committee: G. Ghelli, U. Montanari. ---- **11:35-11:50 BREAK ** ---- ===== SESSION 3: DATA MINING AND MACHINE LEARNING [11:50-13:10] ===== * **11:50-12:10** Michele Coscia: //Multidimensional network analysis. // {{:dm:coscia_abstract.pdf|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.ong|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.// {{:dm:abstractgallicchio.pdf|Abstract}} Supervisor: A. Micheli. Committee: P. Mancarella, S. Ruggieri. * **12:50-13:10** Anna Monreale: //Privacy by design in data mining. // [[abstract.anna|Abstract]] Supervisors: D. Pedreschi, F. Giannotti (ISTI-CNR). Committee: C. Bodei, R. Grossi. ---- **13:10-14:00 LUNCH** ---- ===== SESSION 4: SEARCH ALGORITHMS [14:00-15:40] ===== * **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.ottaviano|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.battaglia|Abstract]] Supervisor: R. Grossi. Committee: R. Barbuti, D. Pedreschi. * **15:00-15:20** Alessio Orlandi: //Advanced rank/select data structures: succinctness, bounds, applications. // [[abstract.orlandi|Abstract]] Supervisor: R. Grossi. Committee: M. Bonuccelli, M. Pellegrini (IIT-CNR). * **15:20-15:40** Giovanni Viglietta: //Guarding and searching polyhedral environments // {{:dm:advancementviglietta.pdf|Abstract}} Supervisor: L. Pagli. Committee: M. Bonuccelli, G. Prencipe. ---- **15:40-15:55 BREAK** ---- ===== SESSION 5: BIOLOGICAL SYSTEM MODELING [15:55-17:15] ===== * **15:55-16:15** Aureliano Rama: //Formalisms for ecological applications. // [[abstract.rama|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.drabik|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.caravagna|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.pardinig|Abstract]] Supervisors: R. Barbuti, A. Maggiolo. Committee: P. Degano, F. Levi. ===== SESSION 6: WIRELESS NETWORKS [17:15-17:55] ===== * **17:15-17:35** Donatella Ermini: //Traffic scheduling in point-to-multipoint OFDMA-based systems. // {{:dm:abstract_erminid.pdf|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.vairo|Abstract]] Supervisors: S. Chessa, G. Amato (ISTI-CNR). Committee: A. Albano, M. Bonuccelli. ---- **17:55-18:10 BREAK** ---- ===== SESSION 7: SECURITY AND SERVICES [18:10-19:10] ===== * **18:10-18:30** Thaizel Fuentes: //Enhanced service discovery in embedded peer-to-peer systems. // [[abstract.fuentes|Abstract]] Supervisor: A. Brogi. Committee: S. Chessa, G. Ghelli. * **18:30-18:50** Gabriele Costa: //On the security of software systems and services. // [[abstract.costa|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.lazouski|Abstract]] Supervisor: F. Martinelli (IIT-CNR). Committee: P. Degano, G. Ferrari. * **19:10-19:30** Leanid Krautsevich: //Risk management for usage control in services. // {{:dm:krautsevich_abstract_1_.pdf|Abstract}} Supervisor: F. Martinelli (IIT-CNR). Committee: P. Degano, G. Ferrari. ====== Note for PhD students and supervisors ====== 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.) ====== Organization ====== Dino Pedreschi [[pedre@di.unipi.it]], Pierpaolo Degano