Login

Seminars

Sharing a Sequential Program: Correctness and Concurrency Analysis

Seminars

2012-07-20 14:00:00

Presenter

Petr Kuznetsov,

Practical Abstractions for Dynamic and Parallel Software

Seminars

2012-07-12 14:00:00

Presenter

Umut A. Acar,

Research at prisma@coppe/ufr

Seminars

2012-06-06 14:00:00

Presenter

Toacy Oliveira,

The Nature of Natural User Interaction

Seminars

2012-05-17 15:00:00

Presenter

Bill Buxton,

Verifying fault-tolerance requirements in architecture models

Seminars

2012-05-16 14:00:00

Presenter

Margarida Piriquito,

Unsupervised Music Genre Classification with a Model-Based Approach

Seminars

2012-03-14 14:00:00

Presenter

Joaquim Ferreira da Silva,

Magbot – A opensource, low cost, generic, laptop on wheels platform

Seminars

2012-01-25 14:00:00

Presenter

Ankica Barisic,

Development of the Bing search engine at the Microsoft Language Development Center

Seminars

2012-01-11 14:00:00

Presenter

Ankica Barisic,

Boolean Satisfiability: Algorithms and Applications

Seminars

2011-12-14 14:00:00

Presenter

Ankica Barisic,

Reversing execution in higher order pi-calculus

Seminars

2011-12-07 14:00:00

Presenter

Claudio Mezzina,