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
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar