From Term Rewriting to Folding Narrowing: Foundations and Applications 29 out 2026 FC6 0.28 11:00 Por Raúl López Rueda Publicado em: 20 out 2026 Notícias Eventos Palestra Talks@DCC
Metaprogramação: Fundamentos e Aplicações 27 out 2026 FC6 0.28 14:30 Por Professor Pedro Ângelo Publicado em: 20 out 2026 Notícias Eventos Palestra Talks@DCC
A abordagem formosa-crypto a provas formais em Criptografia 20 out 2026 FC6 0.28 14:30 Por Professor Manuel Barbosa Publicado em: 2 out 2026 Notícias Eventos Palestra Talks@DCC
Da Investigação à Publicação: Disseminação do Conhecimento Científico 13 out 2026 FC6 0.28 14:30 Por Rui Borges Lopes Publicado em: 18 set 2026 Notícias Eventos Palestra Talks@DCC
Palestra: Risk, Dependability, and Diversity - An Overview of Research at the Centre for Software Reliability 9 jul 2026 FC6 0.29 11:00 Por Ilir Gashi Publicado em: 1 jul 2026 Notícias Eventos Palestra Talks@DCC
