You are here

Announcements

Luís Miranda defends master dissertation entitled "Domain-specific Languages for Cryptographic Software"

Luís Paulo Ferreira Miranda has requested the defence of his dissertation, entitled "Domain-specific Languages for Cryptographic Software". The defence will be held in room A2 of the Departamento de Informática, on April 26, 2012, 3:00pm.

Ricardo Sousa defends master dissertation entitled ""Marca do dia electrónica" on smartphones"

Ricardo Jorge Gomes Maia de Sousa has requested the defence of his dissertation, entitled ""Marca do dia electrónica" on smartphones". The defence will be held in room A2 of the Departamento de Informática, on April 26, 2012, 2:00pm.

Daniel Cadete defends master dissertation entitled "From Natural Language Requirements to Formal Descriptions in Alloy through Boilerplates"

Daniel Nascimento Cadete has requested the defence of his dissertation, entitled "From Natural Language Requirements to Formal Descriptions in Alloy through Boilerplates". The defence will be held in room A2 of the Departamento de Informática, on April 05, 2012, 13:00am.

Tiago Oliveira defends master dissertation entitled "Automatic formal verification of low level cryptographic code"

Tiago Filipe Azevedo Oliveira has requested the defence of his dissertation, entitled "Automatic formal verification of low level cryptographic code". The defence will be held in room A2 of the Departamento de Informática, on April 05, 2012, 12:00am.

Diogo Moreira defends master dissertation entitled "Finite probability distributions in Coq"

Diogo Araújo Carvalho Vilaça Moreira has requested the defence of his dissertation, entitled "Finite probability distributions in Coq". The defence will be held in room A2 of the Departamento de Informática, on April 05, 2012, 11:00am.

Tiago Martins defends master dissertation entitled "CAP protocol for smartphones"

Tiago Filipe Maia de Campos Martins has requested the defence of his dissertation, entitled "CAP protocol for smartphones". The defence will be held in room A2 of the Departamento de Informática, on December 28, 2011, 10:00am.

Christophe Peixoto defends master dissertation entitled "Quality model for spreadsheets: design and implementation"

Christophe Campos Peixoto has requested the defence of his dissertation, entitled "Quality model for spreadsheets: design and implementation". The defence will be held in room A2 of the Departamento de Informática, on December 30, 2011, 11:00am.

Mauro Castro defends master dissertation entitled "Development of an RFID-based localization system"

Mauro Nuno Barbosa de Castro has requested the defence of his dissertation, entitled "Development of an RFID-based localization system". The defence will be held in room A2 of the Departamento de Informática, on December 22, 2011, 10:00am.

Francisco Ribeiro defends master dissertation entitled "Intrusion detection in informatic networks using artificial neural networks"

Francisco André Guimarães Ribeiro has requested the defence of his dissertation, entitled "Intrusion detection in informatic networks using artificial neural networks". The defence will be held in room A2 of the Departamento de Informática, on December 16, 2011, 3:30pm.

Pages

home contacts RSS Feed last update: 06-Dec-2019 share facebook
Drupal theme by pixeljets.com D7 ver.1.1