Kind Inference for the FreeST Programming Language
Seminário Doutoral do Departamento de Informática, por Bernardo Almeida.
Programação
Automatic Detection and Resolution of Deadlocks in Go Programs
RSS Meetup, por António Ravara (FCT/UNL).
Vectorial Genetic Programming for Symbolic Regression with Timeseries
Talk @LASIGE, por Philipp Fleck (Heuristic and Evolutionary Algorithms Laboratory, University of Applied Sciences Upper Austria).
Refinement Types
Talk @LASIGE, por Niki Vazou (IMDEA).
Why learn Scala: the path to be a happier developer
Why would you be happier using Scala?
Go and Go-routines (at Cloudflare)
Aula aberta sobre linguagem de programação Go, por Nuno Diegues (Systems Engineer at Cloudflare).
Unlimited Coding
Um programa que junta o desenvolvimento de soft skills ao conhecimento do mercado de trabalho de uma forma dinâmica e descontraída.
LiquidJava - Extending Java with Refinements
RSS Meetup, por Catarina Gamboa (LASIGE, DI-FCUL).
Advances and Challenges in Resilient Computing
Talk @LASIGE, com Paulo Esteves-Veríssimo (KAUST, CEMSE, RC3).
Neural Code Completion
RSS Meetup, por Miltos Allamanis (Microsoft Research).