EVENT

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

Decomposing consistency: It’s the invariants, stupid. Marc Shapiro (INRIA & Sorbonne Universites), 27 May 2015 - 14h00

Phd Program Workshop,   21 & 22 May 2015

Science Spring Day FCTUNL, 22 May 2015

Bernardo Toninho, PhD thesis under the Carnegie Mellon|PT, Dual Degree Program in Computer Science, 29 April 2015 - 14h00