EVENT

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