SEMINARS

AI-assisted programming: A revolution in the way we code

José Santos (Microsoft)

08/11/2023 14:00, Host: Multimodal Systems

The Communication Complexity of Oblivious Transfer

Pedro Branco (Max Planck Institute for Security and Privacy)

27/09/2023 14:00, Host: Software Systems

Genetic Programming – Introduction, Recent Developments and Applications

Leonardo Vanneschi and Berfin Sakallioglu (NOVA Information Management School (NOVA IMS), Universidade Nova de Lisboa)

20/09/2023 14:30, Host: Knowledge-Based Systems

Practically-exploitable Cryptographic Vulnerabilities in Matrix

Sofía Celi (Brave Software, Inc.)

03/05/2023 14:00, Host: Computer Systems

Making sense of biological sequences: biomedical text mining and microbial genome recovery

André Lamúrias (NOVA LINCS/FCT NOVA)

26/04/2023 14:00, Host: Knowledge-Based Systems

Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols

Léon Gondelman (Aarhus University, Denmark)

12/04/2023 14:00, Host: Software Systems

The Many Faces of Randomness Generation

João Ribeiro (FCT NOVA - NOVA LINCS)

05/04/2023 14:00, Host: Software Systems

Towards improving the strength and user experience of the Tor anonymity network

Kevin Gallagher (FCT NOVA - NOVA LINCS)

22/03/2023 14:00, Host: Computer Systems

Cryptographic protocols for privacy-preserving data pipelines

Alex Davidson (FCT NOVA - NOVA LINCS)

15/03/2023 14:00, Host: Computer Systems

World Logic Day | Logic-based Explanations for Neural Networks

João Leite (Head of the Department of Computer Science, NOVA School of Science and Technology)

08/03/2023 14:00, Host: Knowledge-Based Systems

Gaussian Processes for Shape Modelling: a Probabilistic Registration Approach

Filipa Valdeira (NOVA LINCS)

01/03/2023 14:00, Host: Knowledge-Based Systems

World Logic Day | Logic, Computation, and Programming Languages

Luís Caires (Director of NOVA LINCS, NOVA School of Science and Technology)

22/02/2023 14:00, Host: Software Systems