Login

Seminars

Theory meets applications in healthcare, public administration and business

Seminars

2021-04-21 13:30:00

Presenter

Claudia Soares,

Cameleer: a Deductive Verification Tool for OCaml

Seminars

2021-01-20 14:00:00

Presenter

Mário Pereira,

An Empirical Model for n-gram Frequency Distribution in Large Corpora

Seminars

2020-07-15 13:00:00

Presenter

Joaquim Ferreira da Silva,

Choosing wisely your deep training loss

Seminars

2020-03-05 14:00:00

Presenter

Xavier Alameda-Pineda,

Behavioural APIs and choreographic development

Seminars

2020-02-26 14:00:00

Presenter

Emilio Tuosto,

Provably Secure Computation via Isolated Execution Environments

Seminars

2020-02-12 14:00:00

Presenter

Bernardo Portela,

Bridging Vision and Language over Time with Neural Cross-modal Embeddings

Seminars

2020-01-29 14:00:00

Presenter

David Semedo,

Consensus algorithms for blockchain : from Bitcoin to Tezos

Seminars

2020-01-22 14:00:00

Presenter

Diego Pons,

For Trustworthy Artificial Intelligence Systems

Seminars

2019-12-12 12:00:00

Presenter

Raja Chatila,

From Simulation to Virtual Reality: Enhancing Collaboration in XR

Seminars

2019-12-11 14:00:00

Presenter

Rui Nóbrega,