A Decade Verifying LLVM, or How to Retrofit Soundness in Industrial Software
RSS Meetup, por Nuno Lopes (IST, ULisboa).
RSS Meetup, por Nuno Lopes (IST, ULisboa).
RSS Meetup, por Martin Berger (University of Sussex & Montanarius Ltd).
Talk @DI, por João Pedro Carvalho.
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.
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.
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.
Seminário do Departamento de Física de Ciências ULisboa, por Athanasios Vourvopoulos (IST).
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.
Centra-se na “Álgebra e o seu papel na Ciência da Computação”, com especial ênfase nas áreas de estudo relacionadas com o trabalho de M. V. Volkov, como os semigrupos e os autómatos.
Talk @DI, por Alex Davidson (DI/FCUL).