Algumas das muitas fotografias que o Jaime tirou (jpg) (jpg) (jpg)
(no gabinete de LSB há um CD com o zip de 97.7 M para cópias)
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. Como se detalha a seguir, o programa para 2006 inclui um seminário sobre o Mapa de Investigação no CCTC, uma mesa redonda sobre Formação e Investigação no DI e uma workshop temática, dedicada à Bioinformática, para afirmar uma das áreas mais recentes, mas muito promissoras, de investigação no DI-CCTC. Last but not least, o jantar anual do Departamento.
22 Fev | 23 Fev | 24 Fev | |
---|---|---|---|
9.00 | Abertura | Sessão 3 | Workshop Bio-Informática |
CCTC: Investigação em Informática | |||
10.30 | Café | Café | Café |
11.00 | CCTC: Investigação em Informática | Sessão 4 | Workshop Bio-Informática |
12.30 | Almoço | Almoço | Almoço |
14.00 | Sessão 1 | Sessão 5 | Sessão 6 |
16.00 | Café | Café | Café |
16.30 | Sessão 2 | Painel: For & Inv no DI-CCTC | Sessão 7 |
20.30 | Jantar Anual do DI-CCTCC |
Painel: CCTC - Investigação em Informática
Painel: Formação e Investigação no DI-CCTC
Workshop em Bio-Informática
Sessão 1 (chair: F. S. Moura): Vítor Fernandes, Pedro Alípio, António Nestor Ribeiro, Ronnie Alves.
Sessão 2 (chair: A. J. Proença): António Luís de Sousa, Alfrânio Júnior, Nuno Lopes, Vitor Fonte.
Sessão 3 (chair: J. M. Neves): Pedro Oliveira, Alberto Simões, José Rufino, Nuno Veiga.
Sessão 4 (chair: J. N. Oliveira): Óscar Ribeiro, Sérgio Deusdado, Nuno Rodrigues, Francisco Andrade.
Sessão 5 (chair: J. M. Valença): César Rodrigues, Paulo Silva, João Carlos Silva, José Vilaça, Hugo Silva.
Sessão 6 (chair: Alexandre Santos): Pedro Gabriel, Marco Barbosa, João Fernandes, Leonel Deusdado, Ana Lacerda.
Sessão 7 (chair: José Barros): Anália Lourenço, Jorge Loureiro, Goreti Marreiros, José Exposto, Francisco Pereira..
Doutorando | Comunicação | Orientador |
Alberto Simões | Tradução Automática Baseada em Exemplos (pdf) | JJ |
Alfrânio Correia | Open Database Replication Based on Group Communication (pdf) | RCO |
Ana Cristina Wanzeller Guedes de Lacerda | Elaboração Semi-automática de Planos de Mineração para a Integração de ferramentas de Data Mining em Ambientes de Webhousing (pdf) | OMB |
Anália Maria Garcia Lourenço | Web Crawlers: Detecção e Previsão Comportamental baseadas na Análise de Clickstreams (pdf) | OMB |
António Luís Pinto Ferreira de Sousa | Partial Replication in the Database State Machine (pdf) | RCO |
António Manuel Nestor Ribeiro | Integração de Técnicas Formais e Informais na Especificação e Desenvolvimento de Sistemas de Grande Escala (pdf) | FMM |
Bruno da Conceição Cortes | (pdf) | OMB |
César de Jesus Pereira da Cunha Rodrigues | Software Refinement by Calculation (pdf) | JNO |
Francisco Alexandre C. Gaitto Gonçalves Pereira | Simulação gráfica do envelhecimento de estruturas arquitectónicas (doc), Anexos (doc) (doc) | ARF |
Francisco António C. Pacheco de Andrade | Contratação Electrónica e Recurso a Sistemas Multi-Agentes (pdf) | JMN |
Gustavo Vasconcelos Arnold | Automatização da Geração de Código para Robôs Industriais Diversos (pdf) | PRH |
Hugo A. Paredes Guedes da Silva | Arquitecturas de Software Auto-Adaptativas (pdf) | FMM |
João Carlos Cardoso da Silva | Métodos Formais e Engenharia Reversa aplicados à Manutencao e Usabilidade de Sistemas Interactivos (pdf) | JFC+JAS |
João Paulo de Sousa Ferreira Fernandes | Embedded Attribute Grammars (pdf) | JAS |
José Miguel Pereira Vilaça | Cálculo e Transformação de Programas na Prática: Ferramentas de Apoio para uma Abordagem Genérica (pdf) | JSP |
José Carlos Rufino Amaro | Domus: Tabelas de Hash Distribuídas em Clusters de Nós de Computação Heterogéneos (pdf) | AMP |
José Luís Padrão Exposto | (pdf) | AMP+JHM |
Jorge A. de Albuquerque Loureiro | Relatório (pdf) | OMB |
Leonel Domingues Deusdado | Ambientes Virtuais com Personagens Autónomas (pdf) | ARF |
Marco António de Castro Barbosa | A Refinement Calculus for Software Components and Architectures (pdf) | LSB |
Maria Goreti Carvalho Marreiros | Agentes de Apoio à Argumentação e Decisão em Grupo (pdf) | JMN |
Nuno Alberto Ferreira Lopes | Partilha de Dados em Ambientes Par-a-Par (pdf) | CBM |
Nuno Miguel Afonso Veiga | Arquitectura para acessos seguros a conteúdos multimédia em redes IPv6 corporativas (pdf) | ATS |
Nuno Miguel Feixa Rodrigues | Generic Software Slicing Applied to Architectural Analysis of Legacy Systems (pdf) | LSB |
Óscar Rafael da S. Ferreira Ribeiro | Formalization of Behavioural Software Models (pdf) | JMF |
Paulo Filipe Araújo da Silva | Desenvolvimento e aplicações de um cálculo de programas baseado em conexões de Galois (pdf) | JNO |
Paulo Jorge Machado Oliveira | Detecção e Correcção de Problemas de Qualidade nos Dados (pdf) | PRH |
Pedro Miguel Félix Alípio | Configuração Automática de Redes IP Multi-serviço (pdf) | JMN, PMC |
Pedro Gabriel Dias Ferreira | Extracção de Padrões em Dados Bioquímicos (pdf) | PJA |
Ronnie Cley de Oliveira Alves | Analytical Data Mining for Stream Data Analysis (pdf) | OMB |
Sérgio Alípio Domingues Deusdado | Compressão de Informação em Sequências Biológicas (pdf) | PMC |
Victor Francisco Fonte | (pdf) | CBM+PSA |
Vitor Manuel Basto Fernandes | Serviços de Transporte para Tráfego Multimédia Adaptativo sobre Redes de Longa Distância - Uma Arquitectura Distribuída (pdf) | VLF |
-- LuisSoaresBarbosa - 22 Mar 2006