Login

seminars

Beyond scales, questionnaires and emoticons – CAAT, a viable way to tell the computer how you feel

Seminars

2015-11-04 14:00:00

Presenter

Bruno Cardoso,

Visigoth Fault Tolerance

Seminars

2015-10-28 14:00:00

Presenter

Daniel Porto,

Reasoning Techniques for Higher-Order Session Processes

Seminars

2015-10-20 13:00:00

Presenter

Jorge A Pérez,

Protocol-based Verification of Message-passing Parallel Programs

Seminars

2015-10-14 13:00:00

Presenter

Francisco Martins,

Making the Invisible Visible

Seminars

2015-09-24 14:00:00

Presenter

Zach Lieberman,

Transactions on Mergeable Objects in Shared-Memory

Seminars

2015-09-23 13:00:00

Presenter

Annette Bieniusa,

Putting consistency back into eventual consistency

Seminars

2015-07-15 13:00:00

Presenter

Valter Balegas,

Shape Analysis of Low-Level List Manipulating Programs via Symbolic Memory Graphs

Seminars

2015-06-17 13:00:00

Presenter

Tomas Vojnar,

Decomposing consistency: It’s the invariants, stupid

Seminars

2015-05-27 13:00:00

Presenter

Marc Shapiro,

Using a domain taxonomy for the analysis of structure and level of research: A multifaceted project in semantic data analysis

Seminars

2015-03-26 16:00:00

Presenter

Boris Mirkin,