EVENT
- 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
- NOVA LINCS SEMINAR SERIES
- NOVA LINCS SEMINAR SERIES
- E-HEALTH RESEARCH SYMPOSIUM
- NOVA LINCS SEMINAR SERIES
- NOVA LINCS SEMINAR SERIES
17 Jun 2015
17 Jun 2015
27 May 2015
22 May 2015
22 May 2015
29 Apr 2015
26 Mar 2015
25 Mar 2015
24 Mar 2015
6 Feb 2015
4 Feb 2015
16 Jan 2015