From Term Rewriting to Folding Narrowing: Foundations and Applications 29 Oct 2026 FC6 0.29 14:30 By Raúl López Rueda Published at: 20 Oct 2026 News Events Lecture Talks@DCC
Metaprogramming: Foundations and Applications 27 Oct 2026 FC6 0.28 14:30 By Professor Pedro Ângelo Published at: 20 Oct 2026 News Events Lecture Talks@DCC
The formosa crypto approach to formally verified Cryptography 20 Oct 2026 FC6 0.28 14:30 By Professor Manuel Barbosa Published at: 2 Oct 2026 News Events Lecture Talks@DCC
From Research to Publication: Disseminating Scientific Knowledge 13 Oct 2026 FC6 0.28 14:30 By Rui Borges Lopes Published at: 18 Sep 2026 News Events Talks@DCC
Bioinformatics on a Global Scale: The EMBL Ecosystem 17 Jul 2026 FC6 0.29 16:00 Pedro Raposo | Senior Bioinformatician and Curator at EMBL-EBI Published at: 7 Jul 2026 News Events bioinformatics
