EVENT
- NOVA LINCS SEMINAR SERIES
Reasoning Techniques for Higher-Order Session Processes by Jorge A. Pérez (University of Groningen, The Netherlands) 20 October 2015 - 14h00
- NOVA LINCS SEMINAR SERIES
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
- NOVA LINCS SEMINAR SERIES
Transactions on Mergeable Objects in Shared-Memory by Annette Bienuisa (Technische Universität Kaiserslautern), 23 September 2015 - 14h00
- THESIS
Rossana Santos, PhD Thesis, 11 September 2015 - 14h00
- NOVA LINCS SEMINAR SERIES
Putting consistency back into eventual consistency by Valter Balegas (NOVA LINCS / FCT-UNL), 15 July 2015 - 14h00
- NOVA LINCS TUTORIAL
Abstract Regular (Tree) Model Checking Tomas Vojnar (Brno University of Technology), 17 June 2015 - 10h00
- NOVA LINCS SEMINAR SERIES
Shape Analysis of Low-Level List Manipulating Programs via Symbolic Memory Graphs. Tomas Vojnar (Brno University of Technology), 17 June 2015 - 14h00
- NOVA LINCS SEMINAR SERIES
Decomposing consistency: It’s the invariants, stupid. Marc Shapiro (INRIA & Sorbonne Universites), 27 May 2015 - 14h00
- WORKSHOP
Phd Program Workshop, 21 & 22 May 2015
- MEETING
Science Spring Day FCTUNL, 22 May 2015
- THESIS
Bernardo Toninho, PhD thesis under the Carnegie Mellon|PT, Dual Degree Program in Computer Science, 29 April 2015 - 14h00
- NOVA LINCS SEMINAR SERIES