Language Runtimes for Scalable, Elastic, and Heterogeneous Clouds
RSS Meetup, por Rodrigo Bruno (IST, ULisboa).
DI
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.
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.
Sessão de apresentação dos Mestrados do Departamento de Informática
Será descrito o funcionamento dos vários cursos, as suas estruturas curriculares, e os horizontes profissionais que oferecem. A sessão contará igualmente com a presença de alunos dos diferentes Mestrados, disponíveis para esclarecer todas as dúvidas e questões.
Private Information Retrieval Protocols for Simple (and Less Simple) Databases
Talk @DI, por Alex Davidson (DI/FCUL).
Inteligência Artificial na Sociedade e Serviços Públicos
Formação ministrada por Nuno Cruz Garcia (Ciências ULisboa).
Princípios Técnicos em Cibersegurança
2.ª edição do curso, com inscrições até 26 de janeiro.