SEMINARS

Seminar
Extended Monitorability through Multiple Executions
Adrian Francalanza (University of Malta)
13/12/2023 14:00, Host: Software Systems
Seminar
The Dynamics of Remote Software Development Teams: Understanding the Experience of Novices and the Adoption of Feedback Practices
Carina Alves (Universidade Federal de Pernambuco, Brazil)
29/11/2023 14:00, Host: Software Systems
Seminar
AI-assisted programming: A revolution in the way we code
José Santos (Microsoft)
08/11/2023 14:00, Host: Multimodal Systems
Seminar
The Communication Complexity of Oblivious Transfer
Pedro Branco (Max Planck Institute for Security and Privacy)
27/09/2023 14:00, Host: Software Systems
Seminar
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
Seminar
Practically-exploitable Cryptographic Vulnerabilities in Matrix
Sofía Celi (Brave Software, Inc.)
03/05/2023 14:00, Host: Computer Systems
Seminar
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
Seminar
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
Seminar
The Many Faces of Randomness Generation
João Ribeiro (FCT NOVA - NOVA LINCS)
05/04/2023 14:00, Host: Software Systems
Seminar
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
Seminar
Cryptographic protocols for privacy-preserving data pipelines
Alex Davidson (FCT NOVA - NOVA LINCS)
15/03/2023 14:00, Host: Computer Systems
Seminar
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