You are here

Announcements

Mariana Valério de Carvalho defends master dissertation entitled "Discovery of patterns in a system of certification of companies"

Mariana Reimão Queiroga Valério de Carvalho has requested the defence of her dissertation, entitled "Discovery of patterns in a system of certification of companies". The defence will be held in room A2 of the Departamento de Informática, on December 22, 2011, 10:00am.

Manuel Dias defends master dissertation entitled "Automatic log classification"

Manuel Fernando Fortuna Ribeiro Dias has requested the defence of his dissertation, entitled "Automatic log classification". The defence will be held in room A2 of the Departamento de Informática, on December 22, 2011, 12:00.

Bruno Gomes defends master dissertation entitled "Churn prediction in insurance companies"

Bruno Miguel Viana Gomes has requested the defence of his dissertation, entitled "Churn prediction in insurance companies". The defence will be held in room A2 of the Departamento de Informática, on December 22, 2011, 1:00am.

André Martins defends master dissertation entitled "Prototyping a calculus of QoS-aware software components"

André Batista Martins has requested the defence of his dissertation, entitled "Prototyping a calculus of QoS-aware software components". The defence will be held in room A2 of the Departamento de Informática, on December 13, 2011, 11:00am.

Tiago Veloso defends master dissertation entitled "RAIKON: Invariant Detection Meets Random Test Case Generation"

Tiago Alves Veloso has requested the defence of his dissertation, entitled "RAIKON: Invariant Detection Meets Random Test Case Generation". The defence will be held in room A2 of the Departamento de Informática, on December 13, 2011, 10:00am.

Inês Prada defends master dissertation entitled "Tools for formal verification of cryptographic protocols"

Inês Isabel Russo Prada has requested the defence of her dissertation, entitled "Tools for formal verification of cryptographic protocols". The defence will be held in room A1 of the Departamento de Informática, on December 14, 2011, 11:00am.

Roberto Machado defends master dissertation entitled "Validating common criteria documentation using Alloy"

Roberto Manuel Dias Machado has requested the defence of his dissertation, entitled "Validating common criteria documentation using Alloy". The defence will be held in room A2 of the Departamento de Informática, on December 14, 2011, 03:00pm.

André Pedro defends master dissertation entitled "Learning and testing stochastic discrete event systems"

André de Matos Pedro has requested the defence of his dissertation, entitled "Learning and testing stochastic discrete event systems". The defence will be held in room A2 of the Departamento de Informática, on December 14, 2011, 12:00.

André Carvalho defends master dissertation entitled "Automatic extraction of models for real-time systems"

André Ribeiro de Carvalho has requested the defence of his dissertation, entitled "Automatic extraction of models for real-time systems". The defence will be held in room A2 of the Departamento de Informática, on December 14, 2011, 11:00am.

Ana Duarte defends master dissertation entitled "Multi-dimensional views materialization based on user queries"

Ana Sofia da Silva Duarte has requested the defence of her dissertation, entitled "Multi-dimensional views materialization based on user queries". The defence will be held in meeting room of the Departamento de Informática, on November 22, 2011, 02:00pm.

Pages

home contacts RSS Feed last update: 16-Jun-2020 share facebook
Drupal theme by pixeljets.com D7 ver.1.1