EVENT
- NOVA LINCS SEMINAR SERIES
Probabilistic Constraints and Applications by Jorge Cruz (NOVA LINCS), 11 May 2016 - 14h00
- PhD THESIS
Fausto Mourato, PhD Thesis, 6 May 2016 - 10h00
- NOVA LINCS SEMINAR SERIES
Portable Micro-Service Architectures with Spring and CloudFoundry by Jorge Simão (Einnovator, Enterprise Middleware Limited), 4 May 2016 - 14h00
- NOVA LINCS SEMINAR SERIES
On the Relative Expressiveness of Higher-Order Session Processes by Jorge A. Pérez (University of Groningen and NOVA LINCS), 3 May 2016 - 14h00
- NOVA LINCS SEMINAR SERIES
Type-Based Analysis for Session Inference by Carlo Spaccasassi (Trinity College Dublin), 27 April 2016 - 14h00
- NOVA LINCS SEMINAR SERIES
The Ultimate Guide to Forgetting in Answer Set Programming by Matthias Knorr (NOVA LINCS), 20 April 2016 - 14h00
- NOVA LINCS SEMINAR SERIES
From Verification To Development of Message Passing Programs by Hugo Torres Vieira (IMT Lucca), 30 March 2016 - 14h00
- NOVA LINCS SEMINAR SERIES
Haskell in Green Land: Analyzing the Energy Behavior of a Purely Functional Language by João Paulo Fernandes (Universidade da Beira Interior), 21 March 2016 - 14h00
- NOVA LINCS SEMINAR SERIES
Tactile-based control of a dexterous hand prosthesis by Carla Viegas (German Aerospace Center), 10 March 2016 - 14h00
- NOVA LINCS SEMINAR SERIES
Practical content search over millions of videos by Alex Hauptmann (Carnegie Mellon University), 9 March 2016 - 13h30
- PhD THESIS
Luísa Lourenço, PhD Thesis, 3 March 2016 - 10h00
- NOVA LINCS SEMINAR SERIES
CostIt: A type theory for relational resource analysis by Deepak Garg (Max Planck Institute for Software Systems), 3 March 2016 - 15h00