EVENT
- 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 >
- World Logic Day | Talks at NOVA LINCS
- "Logic, Computation, and Programming Languages" by Luís Caires (NOVA LINCS - NOVA School of Science and Technology) 22 February 2023, 14h00 - 15h00
Read more >
"Logic-based Explanations for Neural Networks" by João Leite (NOVA LINCS - NOVA School of Science and Technology) 8 March 2023, 14h00 - 15h00
Read more >
- NOVA LINCS Seminar
- "Cart-ology: Intercepting Targeted Advertising via Ad Network Identity Entanglement" by Damon McCoy (Tandon School of Engineering, New York University) 15 February 2023, 14h00 - 15h00
Read more >
- NOVA LINCS Seminar
- "Open-Task Multimodal Conversational AI" by João Magalhães (NOVA LINCS - DI FCT NOVA) 30 November 2022, 14h00 - 15h00
Read more >
- NOVA LINCS Seminar
- "Breaking MPC implementations through compression" by João Resende (DI FCT NOVA) 23 November 2022, 14h00 - 15h00
Read more >
- NOVA LINCS Seminar
- "Gradual Verification: Assuring Software Incrementally" by Jonathan Aldrich (Carnegie Mellon University) 11 November 2022, 11h00 - 12h00
Read more >
3 May 2023
26 Apr 2023
12 Apr 2023
5 Apr 2023
22 Mar 2023
15 Mar 2023
1 Mar 2023
22 Feb 2023
15 Feb 2023
30 Nov 2022
23 Nov 2022
11 Nov 2022