Login

Seminars

Multi-threaded Prolog – Recent Developments

Seminars

2009-04-15 14:00:00

Presenter

Rui Marques,

Towards Distributed Software Transactional Memories

Seminars

2009-04-01 14:00:00

Presenter

Paolo Romano,

Specification and Verification of Open Systems with Abductive Logic Programming

Seminars

2009-03-18 14:00:00

Presenter

Marco Alberti,

Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation

Seminars

2009-03-11 14:00:00

Presenter

Nuno Preguiça,

Efficient Reasoning about Context for Ambient Intelligence Environments

Seminars

2009-03-05 14:00:00

Presenter

Grigoris Antoniou,

Telex: A Platform for Decentralised Sharing

Seminars

2009-02-25 14:00:00

Presenter

Lamia Benmouffok,

Interest Rate Model Calibration using Gaussian Processes for Machine Learning

Seminars

2009-02-18 14:00:00

Presenter

Ankica Barisic,

Predicting the Sentence-Level Quality of Machine Translation Systems

Seminars

2009-02-05 14:00:00

Presenter

Lucia Specia,

Behavioral algebraization of logics

Seminars

2009-02-04 14:00:00

Presenter

Ricardo Gonçalves,

An evidence-based approach to the validation of Software Engineering claims

Seminars

2009-01-28 14:00:00

Presenter

Miguel Goulão,