SDDI 2007

21 a 23 de Fevereiro de 2007

Objectivos

O Simpósio Doutoral do Departamento de Informática é a reunião anual dos investigadores em doutoramento no DI para apresentação e confronto do trabalho desenvolvido. É, pois, em grande parte preenchido com a apresentação de comunicações breves sobre os diversos projectos de doutoramento em curso e sua discussão, que inclui a presença de comentadores externos à Universidade do Minho.

O DI conta, de momento com mais de três dezenas de doutorandos nacionais e estrangeiros, para além de co-orientações com países da América latina ao abrigo da rede LerNet sediada na UM e suportada pelo programa Alfa.

Cada vez mais, porém, o Simpósio tem vindo a constituir um ponto de encontro e auto-avaliação de todo o Departamento. Assim, este ano, programaram-se algumas actividades para alargar o seu âmbito e transforma-lo num lugar de reflexão mais ampla sobre a investigação no DI-CCTC e numa oportunidade de encontro entre todos.

A edição de 2007 integra-se num evento mais amplo, Os Dias da Informática, cuja organização está a cargo da Direcção do CCTC. Nele se inclui, ainda, o jantar anual do Departamento.

Plano: Os Dias da Informática

Apresentação de Projectos de Doutoramento em Curso no DI-CCTC

• Comentador externo: Prof. Mário Rui Gomes, IST, Lisboa.

• Programa detalhado (pdf)

• Sessões de Apresentação de Projectos de Doutoramento em Curso

Sessão 1 (chair: J. Maia Neves): João Fernandes, José Vilaça, João Carlos Silva, Claúdia Necco.

Sessão 2 (chair: Jorge Sousa Pinto): Paulo Silva, Nuno Rodrigues, Hugo Paredes, Óscar Ribeiro, Francisco Gaitto.

Sessão 3 (chair: Pedro Henriques): Luis Soares, Vasco Santos, Jácome Cunha, Luís Pedro Machado, Pablo Berdaguer.

Sessão 4 (chair: Francisco Moura): Ronnie Alves, Paulo Oliveira, Alberto Simões, Mário Beron.

Sessão 5 (chair: José Valença):

14.30

Palestra do Prof. Mário Rui Gomes: Agentes Inteligentes e Personagens Sintéticas.

15.30

Leonel Deusdado.

Sessão 6 (chair: Alberto Proença): José Rufino, José Exposto, Nuno Veiga, Luis Ferreira.

Resumo de Comunicações

Doutorando	Comunicação	Orientador
Óscar Ribeiro	Validation of Reactive Software from Scenario-Based Models	João Miguel Fernandes
Vasco Santos	Optimização do Processo de Alimentação de um Data Warehouse	Orlando Belo
Ronnie Alves	Multidimensional Data Mining	Orlando Belo
Paulo Silva	Galculator : A program calculus based on Galois connections	José Nuno Oliveira
Paulo Oliveira	Detecção e Correcção de Problemas de Qualidade em Dados Relacionais	Pedro Henriques, F. Rodrigues
Pablo Berdaguer	Functional Projections	Joost Viser
Nuno Rodrigues	Software Architectural Slicing	Luís S. Barbosa
Nuno M. A. Veiga	Arquitectura para acessos seguros a conteúdos multimédia em redes IPv6 corporativas	Alexandre Santos
Mario Beron	Program Inspection to relate Behavioral and Operational Views for Program Comprehension	Pedro Rangel Henriques
Luís Soares	Replicação de bases de dados em cluster com partilha de espaço de armazenamento	Jose Orlando Pereira
Luís Pedro Machado	File Missing Verificação Formal de Programas	Jorge Sousa Pinto
Luís Ferreira	Web Processing Services em Informação Geográfica	Jorge Gustavo Rocha
Leonel Deusdado	Multi-level Path Finding for Real 3D Navigation	António Fernandes, O. Belo
Jácome Cunha	Foundations of Spreadsheets	João Saraiva, Joost Visser
João Fernandes	Cálculo e Manipulação de Programas Circulares	João Saraiva
João C. Silva	Engenharia reversa de sistemas interactivos	José Campos, João Saraiva
José Rufino	pDomus - A Prototype for Cluster-oriented DHTs	António Pina
José M. Vilaça	Cálculo e Transformação de Programas na Prática: Ferramentas de Apoio para uma Abordagem Genérica	Jorge Sousa Pinto
José Exposto	Estratégias de partição multi-objectivo para a descarga eficiente de conteúdos Web	António Pina, J. Macedo
Hugo Paredes	STArch: Uma arquitectura de suporte ao modelo dos Teatros Sociais	F. Mário Martins
Francisco Gaitto	Componentes geométricas na simulação gráfica do envelhecimento de estruturas arquitectónicas	António R. Fernandes
Claudia Necco	Pointfree Program Calculation: Theory and Applications	José Nuno Oliveira
Alberto Simões	Extracção de Recursos Bilingues a Partir de Corpora Paralelos (Slides)	José João Almeida

-- AlbertoSimoes - 22 Feb 2007