You are here

Victor Cacciari Miraldo defende a sua dissertação "Automatic Rewrite Proofs by Reflection in Agda"

As provas de Mestrado em Engenharia Informática requeridas por Victor Cacciari Miraldo, em defesa da sua dissertação "Automatic Rewrite Proofs by Reflection in Agda", em 2015-07-29 pelas 15:00 no/na Sala de reuniões do Departamento de Informática. Estas provas são públicas e abertas a todos os interessados.
O júri tem a seguinte composição:

  • Pedro Manuel Rangel Santos Henriques - presidente
  • António Mário da Silva Marcos Florido - arguente
  • José Nuno Fonseca Oliveira - orientador.
início contactos RSS Feed última actualização: 09-Jan-2019 partilhar facebook
Drupal theme by pixeljets.com D7 ver.1.1