Login

Seminars

Making sense of biological sequences: biomedical text mining and microbial genome recovery

Seminars

DI Seminars Room and Zoom - 26/04/2023 2:00 pm

Presenter

André Lamúrias,

Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols

Seminars

DI Seminars Room and Zoom - 12/04/2023 2:00 pm

Presenter

Léon Gondelman (Aarhus University, Denmark),

The Many Faces of Randomness Generation

Seminars

DI Seminars Room and Zoom - 05/04/2023 2:00 pm

Presenter

João Ribeiro,

Towards improving the strength and user experience of the Tor anonymity network

Seminars

DI Seminars Room and Zoom - 22/03/2023 2:00 pm

Presenter

Kevin Gallagher,

Cryptographic protocols for privacy-preserving data pipelines

Seminars

DI Seminars Room and Zoom - 2023-03-15 14:00:00

Presenter

Alex Davidson (FCT NOVA - NOVA LINCS),

World Logic Day | Logic-based Explanations for Neural Networks

Seminars

DI Seminars Room and Zoom - 2023-03-08 14:00:00

Presenter

Ankica Barisic,

Gaussian Processes for Shape Modelling: a Probabilistic Registration Approach

Seminars

DI Seminars Room and Zoom - 2023-03-01 14:00:00

Presenter

Filipa Valdeira (NOVA LINCS),

World Logic Day | Logic, Computation, and Programming Languages

Seminars

DI Seminars Room and Zoom - 2023-02-22 14:00:00

Presenter

Ankica Barisic,

Cart-ology: Intercepting Targeted Advertising via Ad Network Identity Entanglement

Seminars

DI Seminars Room and Zoom - 2023-02-15 14:00:00

Presenter

Damon McCoy (Tandon School of Engineering, New York University),

Open-Task Multimodal Conversational AI

Seminars

DI Seminars Room and Zoom - 2022-11-30 14:00:00

Presenter

João Magalhães,