Despacho 19 388/2006
Nos termos do disposto no artigo 13.º do Decreto-Lei 216/92, de 13 de Outubro, e no artigo 14.º do Regulamento do Curso de Mestrado em Matemática, o júri para apreciação da dissertação apresentada pelo licenciado Marco Paulo Ferreirinha Garapa, com o tema "Lógica modal etiquetada em Isabelle", terá a seguinte constituição:
Presidente - Doutor José Manuel Cunha Leal Molarinho Carmo, professor catedrático da Universidade da Madeira.
Vogais:
Doutora Maria Paula Antunes Abrantes Gouveia, professora auxiliar do Instituto Superior Técnico da Universidade Técnica de Lisboa.
Doutor Francisco Miguel Alves Campos Santos Dionísio, professor auxiliar do Instituto Superior Técnico da Universidade Técnica de Lisboa.
Doutor Eduardo Leopoldo Fermé, professor associado da Universidade da Madeira.
18 de Agosto de 2006. - O Reitor, Pedro Telhado Pereira.