Login

Seminars

The Visual Contract Language

Seminars

2012-12-19 14:00:00

Presenter

Ankica Barisic,

Extracting Relevant and Trustworthy Information from Microblogs

Seminars

2012-12-14 10:00:00

Presenter

Krishna Gummadi,

Stheno, a Real-Time Fault-Tolerant P2P Middleware Platform for Light-Train Systems

Seminars

2012-12-05 13:30:00

Presenter

Rolando Martins,

On the Use of Multiple Views Interactive Environments on Software Comprehension Activities

Seminars

2012-11-21 14:00:00

Presenter

Glauco de Figueiredo Carneiro,

Single Operation Multiple Data – Data Parallelism at Subroutine Level

Seminars

2012-10-31 14:00:00

Presenter

Hervé Paulino,

Synthesizing Software Verifiers from Proof Rules

Seminars

2012-10-17 14:00:00

Presenter

Nuno Lopes,

Sucint structures to selfindexing text

Seminars

2012-09-27 11:00:00

Presenter

Nieves Brisaboa,

Digital and biological storage systems – a quantitative comparison

Seminars

2012-09-26 14:00:00

Presenter

Tomasz Bilski,

AGM-25 years

Seminars

2012-09-24 12:00:00

Presenter

Eduardo Fermé,

Comparing Variants of Strategic Ability

Seminars

2012-09-12 14:00:00

Presenter

Wojtek Jamroga,