You are here

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 29, 2015 by 15:00 in room Sala de reuniões the Department of Informatics. This event is public and open to all interested.
The examining committee is the following:

  • Pedro Manuel Rangel Santos Henriques - head
  • António Mário da Silva Marcos Florido - oppenent
  • José Nuno Fonseca Oliveira - supervisor.
home contacts RSS Feed last update: 22-Apr-2019 share facebook
Drupal theme by D7 ver.1.1