2011 - Seminars given by invited speakers

• 09/02/2011, Davide Ancona, DISI. Fortress: un linguaggio robusto per il calcolo scientifico ad alte prestazioni.
• 23/02/2011, Marco Torchiano, Politecnico di Torino. On the effectiveness of screen mockups in enhancing use cases.
• 09/03/2011. Eugenio Moggi, DISI. Multi-stage programming, Code generation and MetaOCaml.
• 16/03/2011, Filippo Ricca, DISI. Does research support the effectiveness of test driven development?
• 22/03/2011, Matteo Dell'Amico, EURECOM, Sophia Antipolis. Studi sul design di sistemi backup P2P / Insights on P2P backup design.
• 23/03/2011, Viviana Mascardi, DISI. Agent-oriented programming with Jason.
• 24/03/2011, Edmund Robinson, EECS, Queen Mary, University of London. Functional interpretations and proof mining.
• 24/03/2011, James Hendler, Rensselaer Polytechnic Institute, NY, USA. Open government data: the semantic web and government transparency.
• 30/03/2011, Maurizio Leotta, DISI. SOA: dalla teoria alla pratica con strumenti Oracle.
• 06/04/2011, Elena Zucca, DISI. Scala, un linguaggio "scalabile".
• 06/05/2011, Hanan Samet, University of Maryland College Park, MD, USA.. Place information systems: textual location identification and visualization.
• 11/05/2011, Paolo Filauro, ELSAG-DATAMAT. Lezione-testimonianza su esperienze di project management.
• 11/05/2011, Massimo Narizzano, DIST. Generazione automatica di test per analisi di copertura di software safety critical utilizzando boun.
• 13/05/2011, Sanghamitra Bandyopadhyay, Indian Statistical Institute Kolkata, India. MicroRNA target prediction.
• 18/05/2011, Zuzana Kœkelov‡ , Czech Technical University in Prague. Algebraic methods in computer vision.
• 25/05/2011, Marco D'Ambros , Universita` di Lugano. On the evolution of source code and software defects.
• 15/06/2011, Luca Baldassarre, University College of London. A general framework for structured sparsity via proximal optimization.
• 27/06/2011, Alec Jacobson, ETH Zurich. Realtime deformation: bounded biharmonic weights and stretchable, twistable bones.
• 04/07/2011, Susan K. Peterson, M. D. Anderson Cancer Center, Houston, TX, USA. CYCORE: a cyberinfrastructure to support comparative effectiveness research in behavioral medicine.
• 04/07/2011, Leif Peterson, The Methodist Hospital Research Institute, Houston, TX, USA. Random forests: a swiss army knife classifier.
• 06/07/2011, Patrick Marais, University of Cape Town. Sketch-based specification of procedural terrain and cities.
• 11/07/2011, Michael Lindenbaum, Technion, Istraele. Two methods for unsupervised estimation of segmentation quality.
• 19/07/2011, Kenneth Weiss, University of Maryland College Park, MD, USA. Diamond-based models for scientific visualization.
• 03/10/2011, Reiner HŠhnle, Chalmers University of Technology, Gothenburg, Sweden. HATS - highly adaptable and trustworthy software using formal models.
• 16/11/2011, Marco Mesiti, Universita` di Milano. Il movimento NoSQL e le basi di dati a grafo.
• 17/11/2011, John Power, Universita' di Bath. Extending and lifting functors from Set to Preord and Cat.
• 05/12/201, Minqi Zhou, East China Normal University. Effective data density estimation in ring-based p2p networks.
• 05/12/2011, Xiaoling Wang, East China Normal University. Big data management for data intensive computing.
• 07/12/2011, Marco Brambilla, Politecnico di Milano e Web Models Srl. Model-driven development of Web applications: the case of WebML.