Session-typed Staged Metaprogramming
Seminário de Lógica Matemática, por Pedro Ângelo (Universidade de Lisboa - LASIGE).
Seminário de Lógica Matemática, por Pedro Ângelo (Universidade de Lisboa - LASIGE).
PL@LX meetings brings together researchers and engineers working in the fields of programming languages, verification and developer experience.
Um concurso de programação dirigido aos alunos do ensino secundário (11.º e 12.º anos), que visa promover a prática e o gosto pela programação.
This workshop aims to explore crucial issues raised by contemporary computational models and methods in AI. The focus will be on fostering discussions about the epistemological, ontological, and formal considerations, as well as the societal implications of AI systems.
RSS Meetup, por Mário Silva.
Palestra por Andrea Peruffo (RedHat).
Aula aberta no âmbito da Unidade Curricular de Linguagens de Domínio, por Bruno Martinho (OutSystems).
Seminário do Centro de Física Teórica e Computacional, por Alcides Fonseca (Departamento de Informática and LASIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal).
Seminário Doutoral do Departamento de Informática, por Bernardo Almeida.
RSS Meetup, por António Ravara (FCT/UNL).