Functional programming in industry with a case study in Static Application Security Testing (SAST)
RSS Meetup, por Dimitris Mostrous (Aikido Security).
Informática
Sessão de abertura do Cybersecurity Executive Program
A sessão de abertura do Cybersecurity Executive Program aconteceu em CIÊNCIAS, no passado dia 27 de março, marcando o arranque da 4ª edição desta formação. O Cybersecurity Executive Program é uma iniciativa conjunta de CIÊNCIAS e da consultora Premivalor Consulting, que se destina a formar e sensibilizar decisores e executivos C-level, de organizações públicas, privadas, civis e do setor militar, para as questões da cibersegurança.
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).
AI, Computer Vision, and Forecasting for Drone Intelligence
Talk @DI, por João Pedro Carvalho.
Ensinar a Programar no Ensino Secundário
Curso creditado para efeitos de progressão na carreira dos professores do Ensino Secundário dos grupos 500 e 550, com candidaturas até 25 de março.
Princípios Técnicos em Cibersegurança
O curso oferece uma base sólida sobre os fundamentos e práticas essenciais para proteger sistemas e dados num mundo cada vez mais digital - candidaturas até 13 de abril.
Fundamentos de Redes de Computadores
Combinando teoria e prática, o curso prepara os alunos para compreenderem a infraestrutura digital moderna e aplicarem esses conhecimentos em cenários reais, com foco em arquiteturas robustas, deteção de erros e soluções para redes de alto desempenho.
Brain-Computer Interfacing with Embodied Virtual Reality for Neuro rehabilitation
Seminário do Departamento de Física de Ciências ULisboa, por Athanasios Vourvopoulos (IST).