Strumenti Utente

Strumenti Sito


dm:phdworkshop2011

Questa è una vecchia versione del documento!


PhD Workshop 2011

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.

Program

Opening 8:30

  • 08:40-09:00 (Teleconferencing from Macau) Zhang Liang. TDB. Supervisors: R. Bruni, Z. Liu (United Nations Univ., Macau). Commission: A. Cerone, A. Maggiolo.

SESSION 1: PARALLEL, STREAMED AND NETWORKED SYSTEMS 09:00-10:40

  • 09:00-09:20 Gabriele Mencagli: A control-theoretic methodology for adaptive structured parallel computations. Abstract Supervisor: M. Vanneschi. Commission: 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). Commission: 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). Commission: G. Attardi, P. Ferragina.
  • 10:00-10:20 Donatella Ermini: Traffic scheduling in point-to-multipoint OFDMA-based systems. Abstract Supervisor: M. Bonuccelli. Commission: M. Danelutto, R. Grossi.
  • 10:20-10:40 Claudio Francesco Vairo: A query language for dynamic tracking of moving events in wireless sensor networks. Abstract Supervisors: S. Chessa, G. Amato (ISTI-CNR). Commission: A. Albano, M. Bonuccelli.

10:40-10:55 BREAK


SESSION 2: DATABASES AND FORMAL CALCULI 10:55-11:55

  • 10:55-11:15 Luca Pardini: Updatable RDF views. Abstract Supervisor: G. Ghelli. Commission: A. Brogi, F. Turini
  • 11:15-11:35 Dinh Viet Dung: A G-local Pi calculus. Abstract Supervisors: C. Bodei, G. Ferrari. Commission: A. Brogi, P. Degano.
  • 11:35-11:55 Giacoma Monreale: Labelled transition system semantics for process calculi from their graphical encodings. Abstract Supervisor: F. Gadducci. Commission: G. Ghelli, U. Montanari.

11:55-12:10 BREAK


SESSION 3: DATA MINING AND MACHINE LEARNING 12:10-13:30

  • 12:10-12:30 Claudio Gallicchio: Reservoir computing for learning in structured domains. Abstract Supervisor: A. Micheli. Commission: P. Mancarella, S. Ruggieri.
  • 12:30-12:50 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). Commission: G. Ghelli, P. Mogorovich.
  • 12:50-13:10 Michele Coscia: Multidimensional network analysis. Abstract Supervisors: D. Pedreschi, F. Giannotti (ISTI-CNR). Commission: P. Ferragina, M. Simi.
  • 13:10-13:30 Anna Monreale: Privacy by design in data mining. Abstract Supervisors: D. Pedreschi, F. Giannotti (ISTI-CNR). Commission: C. Bodei, R. Grossi.

13:30-14:20 LUNCH


SESSION 4: SEARCH ALGORITHMS 14:20-16:00

  • 14:20-14:40 Augusto Rui Ferreira: Finding frequent combinatorial patterns in graphs Supervisor: R. Grossi. Commission: F. Giannotti (ISTI-CNR), F. Romani.
  • 14:40-15:00 Giuseppe Ottaviano: High dimensional geometry for efficient information retrieval. Abstract Supervisor: R. Grossi. Commission: M. Pellegrini (IIT-CNR), F. Sebastiani (ISTI-CNR).
  • 15:00-15:20 Giovanni Battaglia: Discovery of unconventional patterns for sequence analysis: theory and algorithms. Abstract Supervisor: R. Grossi. Commission: R. Barbuti, D. Pedreschi.
  • 15:20-15:40 Alessio Orlandi: Advanced rank/select data structures: succinctness, bounds, applications Supervisor: R. Grossi. Commission: M. Bonuccelli, M. Pellegrini (IIT-CNR).
  • 15:40-16:00 Giovanni Viglietta: Guarding and searching polyhedral environments Abstract Supervisor: L. Pagli. Commission: M. Bonuccelli, G. Prencipe.

16:00-16:15 BREAK


SESSION 5: BIOLOGICAL SYSTEM MODELING 16:15-17:35

  • 16:15-16:35 Aureliano Rama: Formalisms for ecological applications Supervisors: R. Barbuti, P. Milazzo. Commission: F. Levi, P. Luschi (Dip. Biologia, Univ. Pisa).
  • 16:35-16:55 Peter Drabik: Modular verification of biological systems Abstract Supervisors: A. Maggiolo, P. Milazzo. Commission: G. Ferrari, C. Bodei.
  • 16:55-17:15 Giulio Caravagna: Formal modeling and simulation of biological systems with delays. Abstract Supervisors: R. Barbuti, P. Milazzo. Commission: A. D'Onofrio (Istituto Europeo di Oncologia, Milano), R. Grossi.
  • 17:15-17:35 Giovanni Pardini: Formal modelling and simulation of biological systems with spatiality. Abstract Supervisors: R. Barbuti, A. Maggiolo. Commission: P. Degano, F. Levi.

17:35-17:50 BREAK


SESSION 6: SECURITY AND SERVICES 17:50-19:10

  • 17:50-18:10 Thaizel Fuentes: Enhanced service discovery in embedded peer-to-peer systems. Abstract Supervisor: A. Brogi. Commission: S. Chessa, G. Ghelli.
  • 18:10-18:30 Gabriele Costa: On the security of software systems and services. Abstract Supervisor: P. Degano, F. Martinelli (IIT-CNR). Commission: A. Brogi, F. Gadducci.
  • 18:30-18:50 Aliaksandr Lazouski: On usage control for grid services. Abstract Supervisor: F. Martinelli (IIT-CNR). Commission: P. Degano, G. Ferrari.
  • 18:50-19:10 Leanid Krautsevich: Risk management for usage control in services. Abstract Supervisor: F. Martinelli (IIT-CNR). Commission: F. Baiardi, P. Degano.

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 [at] di [dot] unipi [dot] it, Pierpaolo Degano

dm/phdworkshop2011.1294753474.txt.gz · Ultima modifica: 11/01/2011 alle 13:44 (13 anni fa) da Fosca Giannotti