Login

Seminars

On the Relative Expressiveness of Higher-Order Session Processes

Seminars

2016-05-03 13:00:00

Presenter

Jorge A Pérez,

Type-Based Analysis for Session Inference

Seminars

2016-04-27 13:00:00

Presenter

Carlo Spaccasassi,

The Ultimate Guide to Forgetting in Answer Set Programming

Seminars

2016-04-20 13:00:00

Presenter

Matthias Knorr,

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,