Login

seminars

From Verification To Development of Message Passing Programs

Seminars

2016-03-30 13:00:00

Presenter

Hugo Torres Vieira,

Haskell in Green Land: Analyzing the Energy Behavior of a Purely Functional Language

Seminars

2016-03-21 14:00:00

Presenter

Ankica Barisic,

Tactile-based control of a dexterous hand prosthesis

Seminars

2016-03-10 14:00:00

Presenter

Carla Viegas,

Practical content search over millions of videos

Seminars

2016-03-09 13:30:00

Presenter

Alex Hauptmann,

CostIt: A type theory for relational resource analysis

Seminars

2016-03-03 15:00:00

Presenter

Deepak Garg,

Geo-replicated storage with scalable deferred update replication

Seminars

2016-02-10 16:00:00

Presenter

Fernando Pedone,

NetKAT: A Formal System For The Verification Of Networks

Seminars

2016-01-28 14:00:00

Presenter

Alexandra Silva,

How a web scale Autosuggest system works

Seminars

2016-01-27 14:00:00

Presenter

Ankica Barisic,

Privacy-Preserving Content-Based Image Retrieval in the Cloud

Seminars

2015-11-18 14:00:00

Presenter

Bernardo Ferreira,

Barbara Made the News: Mining the Behavior of Crowds for Time-Aware Learning to Rank

Seminars

2015-11-11 14:00:00

Presenter

Flávio Martins,