You are here

dissertação

Vitor Manuel Parreira Pereira defends dissertation "Development of deductive verification tool for cryptographic software"

The defense of the Master thesis in Mestrado em Engenharia Informática submitted by Vitor Manuel Parreira Pereira, and entitled "Development of deductive verification tool for cryptographic softwar

Victor Cacciari Miraldo defends dissertation "Automatic Rewrite Proofs by Reflection in Agda"

The defense of the Master thesis in Mestrado em Engenharia Informática submitted by Victor Cacciari Miraldo, and entitled "Automatic Rewrite Proofs by Reflection in Agda", will take place on July 2

Fábio Alves Rocha defends dissertation "Preserving Databases with SIARD"

The defense of the Master thesis in Mestrado em Engenharia Informática submitted by Fábio Alves Rocha, and entitled "Preserving Databases with SIARD", will take place on December 19, 2014 by 09:30

Rafael Fernando Pereira Abreu defends his dissertation "Localização Indoor em Ambientes Inteligentes"

The defense of the Master thesis in Computer Engineering submitted by Rafael Fernando Pereira Abreu and entitled "Localização Indoor em Ambientes Inteligentes", will take place on the 1th of April

Ricardo Romano defends master dissertation entitled "Formal approaches to critical systems development: a case study using SPARK"

Ricardo Jorge Cantador Romano has requested the defence of his dissertation, entitled "Formal approaches to critical systems development: a case study using SPARK". The defence will be held in room A1 of the Departamento de Informática, on December 14, 2011, 12:00.

home contacts RSS Feed last update: 20-Sep-2017 share facebook
Drupal theme by pixeljets.com D7 ver.1.1