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