EVENT

Privacy-Preserving Content-Based Image Retrieval in the Cloud by Bernardo Ferreira (DI-FCT-UNL), 18 November 2015 - 14h00

Barbara Made the News: Mining the Behavior of Crowds for Time-Aware Learning to Rank by Flávio Martins (DI-FCT-UNL), 11 November 2015 - 14h00

Beyond scales, questionnaires and emoticons - CAAT, a viable way to tell the computer how you feel by Bruno Cardoso (DI-FCT-UNL), 4 November 2015 - 14h00

Visigoth Fault Tolerance by Daniel Porto (NOVA LINCS / FCT-UNL), 28 October 2015 - 14h00

Jorge Barreiros, PhD Thesis, 26 October 2015 - 14h00

Reasoning Techniques for Higher-Order Session Processes by Jorge A. Pérez (University of Groningen, The Netherlands) 20 October 2015 - 14h00

Protocol-based Verification of Message-passing Parallel Programs by Francisco Martins (Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa), 14 October 2015 - 14h00

Transactions on Mergeable Objects in Shared-Memory by Annette Bienuisa (Technische Universität Kaiserslautern), 23 September 2015 - 14h00

Rossana Santos, PhD Thesis, 11 September 2015 - 14h00

Putting consistency back into eventual consistency by Valter Balegas (NOVA LINCS / FCT-UNL), 15 July 2015 - 14h00

Abstract Regular (Tree) Model Checking Tomas Vojnar (Brno University of Technology), 17 June 2015 - 10h00

Shape Analysis of Low-Level List Manipulating Programs via Symbolic Memory Graphs. Tomas Vojnar (Brno University of Technology), 17 June 2015 - 14h00