From Term Rewriting to Folding Narrowing: Foundations and Applications 29 out 2026 FC6 0.28 14:30 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
Bioinformática à Escala Global: O Ecossistema do EMBL 17 jul 2026 FC6 0.29 16:00 Pedro Raposo | Bioinformático Sénior e Curador no EMBL-EBI Publicado em: 7 jul 2026 Notícias Eventos bioinformatica