SEMINARS
- 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
- Cart-ology: Intercepting Targeted Advertising via Ad Network Identity Entanglement
- Damon McCoy (Tandon School of Engineering, New York University)
- 15/02/2023 14:00, Host: Computer Systems
- Open-Task Multimodal Conversational AI
- João Magalhães
- 30/11/2022 14:00, Host: Multimodal Systems
- Breaking MPC implementations through compression
- João Resende (DI FCT NOVA)
- 23/11/2022 14:00, Host: Computer Systems
- Gradual Verification: Assuring Software Incrementally
- Jonathan Aldrich (Carnegie Mellon University)
- 11/11/2022 11:00, Host: Software Systems
- Automata for choreographies
- Emilio Tuosto (Gran Sasso Science Institute (GSSI), Italy)
- 27/07/2022 14:00, Host: Software Systems
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar