SDDI 2006
22 a 24 de Fevereiro de 2006
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)
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.
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.
Plano
| 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
- Apresentação do Mapa de Investigação do CCTC
- Centros de competência no DI-CCTC: Segurança de Informação e Informática Médica
- Tutorial (por (J. N. Oliveira): A software engineer's appraisal of e = m + c (pdf) (foto)
Painel: Formação e Investigação no DI-CCTC
- Mesa Redonda:
- Alexandra Silva (Licenciada em LMCC em 2006)
- Mário Araújo (Mestre em Informática, MICEI, 2005)
- Pedro Nuno Sousa (Doutor em Informática, DI, 2005)
- Jorge Sousa Pinto (Moderador)
- Reflexão: Que futuro para um Departamento de Informática? (J. M. E. Valença)
Workshop em Bio-Informática
- Large-Scale Testing Of Bibliome Informatics Using Pfam Protein Families, Luis M. Rocha, School of Informatics, Univ. Indiana, USA.
- Enhancing Metabolic Engineering through Systems Biology, Ana Paula Oliveira, Biocentrum, DTU, Copenhagen, Denmark.
- Optimization of Fed-batch Fermentation Processes, Miguel Rocha e Rui Mendes, Dep. Informatics, Univ. Minho, Portugal.
- A case-based reasoning tool for cancer diagnosis using microarray datasets, Florentino Riverola, Univ. Vigo, Spain.
- Evolutionary algorithms for in silico metabolic engineering, Isabel Rocha, Dep. Biological Engineering, Univ. Minho, Portugal.
- Mesa-redonda: The future of Bioinformatics - the role of Computer Science in biological research
Apresenção de Projectos de Doutoramento em Curso no DI-CCTC
- Comentador externo: Prof. Luís Rocha, University of Indiana (Bloomington), USA.
- Programa detalhado (pdf)
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..
Arquivo de Comunicações
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