...collaborate on

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

  21 Fev 22 Fev 23 Fev
9.00 Abertura SDDI Sessão 3 Workshop Segurança da Informação
9.15 Investigação no CCTC    
10.30 Café Café Café
11.00 SDDI Sessão 1 SDDI Sessão 4 Workshop Segurança da Informação
13.00 Almoço Almoço Almoço
14.30 SDDI Sessão 2 SDDI Sessão 5  
16.00 Café Café  
16.30 Painel ACM SCM SDDI Sessão 6  
20.30   Jantar Anual do DI-CCTCC  

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

-- AlbertoSimoes - 22 Feb 2007

r21 - 22 Feb 2007 - 21:04:22 - AlbertoSimoes
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM