Functional programming in industry with a case study in Static Application Security Testing (SAST)
RSS Meetup, por Dimitris Mostrous (Aikido Security).
LASIGE
Language Runtimes for Scalable, Elastic, and Heterogeneous Clouds
RSS Meetup, por Rodrigo Bruno (IST, ULisboa).
A Decade Verifying LLVM, or How to Retrofit Soundness in Industrial Software
RSS Meetup, por Nuno Lopes (IST, ULisboa).
Towards GPU-accelerated automated reasoning
RSS Meetup, por Martin Berger (University of Sussex & Montanarius Ltd).
Tiago Guerreiro distinguido com prémio internacional focado na interação Pessoa-Máquina
Tiago Guerreiro, investigador de CIÊNCIAS e Vice-Diretor do LASIGE - Computer Science and Engineering Research Centre, acaba de ser distinguido com o prémio ACM SIGCHI Societal Impact Award – é o primeiro português a receber este prestigiado galardão.
Computability in Europe 2025
Computability in Europe (CiE) is an interdisciplinary series of international conferences organised by the Association Computability in Europe (ACiE).
Programming Languages Lisbon
PL@LX meetings brings together researchers and engineers working in the fields of programming languages, verification and developer experience.
Access for All? Reflections on Interactive Technology and Disability
Distinguished Talk @DI/LASIGE, por Kathrin Gerling.
Lançamento do Guia de Prevenção da Diabetes Tipo 2
O evento, no âmbito do Projeto VA|PREVENTION (com a participação de CIÊNCIAS), conta com a presença de diversos peritos na área da saúde pública, promovendo o debate sobre o estilo de vida na prevenção da diabetes tipo 2.
Safeguarding Data Privacy in the Age of AI
Talk @LASIGE, por Xiaojie Zhu (King Abdullah University of Science and Technology).