EVENT
- NOVA LINCS Seminar
- "Extended Monitorability through Multiple Executions" by Adrian Francalanza (University of Malta) 13 December 2023, 14h00 - 15h00
Read more >
- NOVA LINCS Seminar
- "The Dynamics of Remote Software Development Teams: Understanding the Experience of Novices and the Adoption of Feedback Practices" by Carina Alves (Universidade Federal de Pernambuco, Brazil) 29 November 2023, 14h00 - 15h00
Read more >
- NOVA LINCS Seminar
- "AI-assisted programming: A revolution in the way we code" by José Santos (Microsoft) 8 November 2023, 14h00 - 15h00
Read more >
- NOVA LINCS Seminar
- "The Communication Complexity of Oblivious Transfer" by Pedro Branco (Max Planck Institute for Security and Privacy) 27 September 2023, 14h00 - 15h00
Read more >
- NOVA LINCS Seminar
- "Genetic Programming – Introduction, Recent Developments and Applications" by Leonardo Vanneschi and Berfin Sakallioglu (NOVA Information Management School - NOVA IMS, Universidade Nova de Lisboa) 20 September 2023, 14h30 - 15h30
Read more >
- NOVA LINCS Seminar
- "Practically-exploitable Cryptographic Vulnerabilities in Matrix" by Sofía Celi (Brave Software, Inc.) 3 May 2023, 14h00 - 15h00
Read more >
- NOVA LINCS Seminar
- "Making sense of biological sequences: biomedical text mining and microbial genome recovery" by André Lamúrias (NOVA LINCS/FCT NOVA) 26 April 2023, 14h00 - 15h00
Read more >
- NOVA LINCS Seminar
- "Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols" by Léon Gondelman (Aarhus University, Denmark) 12 April 2023, 14h00 - 15h00
Read more >
- NOVA LINCS Seminar
- "The Many Faces of Randomness Generation" by João Ribeiro (DI-FCT NOVA/NOVA LINCS) 5 April 2023, 14h00 - 15h00
Read more >
- NOVA LINCS Seminar
- "Towards improving the strength and user experience of the Tor anonymity network" by Kevin Gallagher (FCT NOVA - NOVA LINCS) 22 March 2023, 14h00 - 15h00
Read more >
- NOVA LINCS Seminar
- "Cryptographic protocols for privacy-preserving data pipelines" by Alex Davidson (DI-FCT NOVA/NOVA LINCS) 15 March 2023, 14h00 - 15h00
Read more >
- NOVA LINCS Seminar
- "Gaussian Processes for Shape Modelling: a Probabilistic Registration Approach" by Filipa Valdeira (NOVA LINCS) 1 March 2023, 14h00 - 15h00
Read more >
13 Dec 2023
29 Nov 2023
8 Nov 2023
27 Sep 2023
20 Sep 2023
3 May 2023
26 Apr 2023
12 Apr 2023
5 Apr 2023
22 Mar 2023
15 Mar 2023
1 Mar 2023