Program

Printable version
Start Title Speaker Authors
15.00 DAY 1 (Wednesday May 26th) – Opening Giorgio Levi  
15.10 The Rotation Distance of Binary Trees Fabrizio Luccio F. Luccio, L. Pagli
15.30 Collision avoidance using a wandering token in the PTP protocol Augusto Ciuffoletti A. Ciuffoletti
15.50 Power-aware computing Antonio Cisternino A. Cisternino, P. Ferragina, M. Coppola, D. Morelli
16.10 A framework for the verification of infinite-state graph transformation systems Andrea Corradini A. Corradini
16.30 Coffee break    
17.00 Parallel programming issues, achievements and trends in high-performance and adaptive computing Marco Danelutto M. Danelutto, M. Vanneschi
17.25 Cheminformatics: emerging challenges in an interdisciplinary computational discipline Alessio Micheli A. Micheli
17.50 Policy-aware Service Composition Chiara Bodei C. Bodei, P. Degano, G.L. Ferrari
  END OF DAY 1    
09.00 DAY 2 (Thursday May 27th) – Re-Opening Giorgio Levi  
09.10 A semantic-based middleware for SOC and the Negotiate-Commit-Execute approach Gianluigi Ferrari G. Ferrari (+ R. Bruni)
09.35 Models and Languages for Service Component Ensembles Ugo Montanari U. Montanari
09.50 Privacy and Anti-Discrimination for a Fair Knowledge Society Salvatore Ruggieri D. Pedreschi, S. Ruggieri, F. Turini
10.15 Quantitative and Automatic Analysis of Neurological Signals and Images of Cognitive Interest Umberto Barcaro U. Barcaro, O. Salvetti
10.35 Ongoing Research in Wireless Sensor Networks Susanna Pelagatti M. Bonuccelli, S. Chessa, S. Pelagatti
11.00 Coffee break    
11.30 Deconvolution with nonnegativity constraints Ornella Menchi O. Menchi, P. Favati, G. Lotti, F. Romani
11.50 Teaching Computer Science at School: some ideas Roberto Grossi C. Bodei, M. Laganà, R. Grossi
12.10 Query Languages for Graph Databases Giorgio Ghelli G. Ghelli
12.30 From Data to Decision Antonio Albano A. Albano
12.50 Lunch    
14.20 May policies change business processes? Laura Semini C. Montangero L. Semini
14.40 Reduction Systems: synthesis, refinement and verification of behavioural models Fabio Gadducci F. Gadducci
15.00 Robust network design Maria Grazia Scutellà M.G. Scutellà
15.20 Modelling, Simulation and Verification of Biological Systems Andrea Maggiolo-Schettini R. Barbuti, G. Caravagna, C. Bodei, A. Bracciali, P. Degano, P. Drabik, R. Gori, G. Pardini, A. Rama, A. Maggiolo Schettini, R. Marangoni, P. Milazzo, F. Levi
15.45 Data Mining Meets Switching Theory Anna Bernasconi A. Bernasconi, V. Ciriani, F. Luccio, L. Pagli
16.10 Coffee break    
16.35 A Universal Language Engine for Machine Reading Giuseppe Attardi G. Attardi, N. Chatterjee, S. Dei Rossi, Z. Islam, H. Li, M. Simi
17.00 What May Be Next In Mathematical Modeling Antonio Frangioni A. Frangioni, L. Perez Sanchez
17.25 User-friendly programming frameworks for parallel high-performance applications Antonio Cisternino A. Cisternino, M. Danelutto, M. Vanneschi, C. Dittamo, G. Cocco
17.45 General discussion + perspectives + closing