UNISINOS  

  Busca avançada
Minha UNISINOS english
Realização - Unisinos Co-realização - UFRGS Promoção - SBC SBC 2005
   
 





apresentação

eventos
bsb
computec
ctd
ctic
curso de qualidade
enia
jai
secomu
semish
til
wei
wie
wperformance
wso

programação

reuniões e solenidades

organização congresso

notícias

anais

fale conosco


 

 

























Patrocínio:







Apoio:











Jornadas de Atualização em Informática


As Jornadas de Atualização em Informática (JAI) constituem um
dos mais importantes eventos acadêmicos de atualização científica
e tecnológica da comunidade de Ciência da Computação do Brasil. São especialmente dirigidas a universitários, mestrandos e jovens profissionais da informática, sendo tradicionalmente realizadas em conjunto ao Congresso da SBC.

As JAI são formadas por minicursos de 6 horas de duração, enfocando temas que não fazem parte dos currículos regulares da graduação. Na seleção dos cursos, procura-se temas com grande potencial para despertar o interesse de jovens estudantes e profissionais que os qualifiquem para enfrentar as demandas do mercado de trabalho. Como o tema do SBC 2005 é "A universalidade da computação: Um agente de inovação e desenvolvimento", as propostas de minicursos relacionadas a essa questão são particularmente bem-vindos.



Cursos JAI

» JAI1: Representação de Conhecimento na Semantic Web
    Giovani Librelotto (University of Minho)
    José Carlos Ramalho (University of Minho)
    Pedro Henriques (Universidade do Minho)

Local: Auditório das Ciências Exatas
Horários e dias:
    2ª feira, 25 julho, das 10h45 às 12h45 e das 14h às 16:00
    3ª feira, 26 julho, das 8h30 às 10h30

A Semantic Web é uma área emergente que tem como objectivo tornar a World Wide Web (Web) mais útil e fácil de usar. O presente mini-curso visa descrever o problema da anotação para a Semantic Web, um dos actuais desafios desta área. Semantic Web é uma evolução da Web atual na qual os recursos de informação estão associados a uma interpretação possibilitando que, além do tradicional utilizador humano, também o computador nela pode navegar. O navegador deverá poder percorrer a teia de recursos e procurar a informação, seguindo uma rede de conceitos de mais alto nível que os simples links sintácticos. A ideia de ter na Web dados definidos e ligados para serem usados por máquinas não apenas para apresentação a humanos, com vista à sua integração e partilha entre aplicações, ainda é um anseio. Para isto, os dados devem ser descritos de forma que o homem e a máquina entendam seu significado. Este mini-curso apresenta as linguagens, baseadas no padrão de anotação de texto XML, que se enquadram como tecnologia para promover a idéia da Semantic Web. Basicamente, os mecanismos a serem desenvolvidos para o estabelecimento da Semantic Web compreendem duas vertentes: a disponibilização de uma colecção de dados estruturados; e regras de inferência associadas a essa colecção que permitirão a criação de ferramentas capazes de percorrer a Web realizando tarefas complexas com base nessas estruturas de conhecimento. Estas duas vertentes serão aqui abordadas, sendo assumido que recorre-se a ontologias para estruturar as fontes de informação e a linguagens de anotação para as descrever.


» JAI2: Minicurso Visualização de Informações - Uma Abordagem Prática

    Hugo do Nascimento (Universidade Federal de Goiás)
    Cristiane Ferreira (Instituto de Informática, Universidade Federal de Goiás)

Local: Auditório Sérgio Gomes
Horários e dias:
    2ª feira, 25 julho, das 10h45 às 12h45 e das 14h às 16h
    3ª feira, 26 julho, das 8h30 às 10h30

Visualização de Informações é uma área emergente da Ciência que estuda meios de apresentar dados visualmente de tal forma que informações sobre esses dados sejam melhor compreendidas ou até mesmo descobertas. Este curso irá discutir vários aspectos relacionados com a apresentação visual de dados e introduzirá técnicas efetivas e bem conhecidas para visualização de informações. As técnicas discutidas aqui têm aplicações em vários campos da ciência. Em Ciência da Computação, particularmente, elas ganham atenção especial para a mineração de dados e para a engenharia de software (no desenvolvimento de aplicações CAD e Case). O presente curso difere de outros materiais por apresentar não apenas detalhes conceituais da área de Visualização de Informação, mas também por discutir algoritmos e propôr linhas gerais para a implementação de novas técnicas de visualização.

Apresentação

-
Veja mais informações


» JAI3: Desenvolvimento de Jogos 3D Concepção, Design e Programação

    Esteban Clua (Pontificia Universidade Católica do Rio de Janeiro - PUC-RJ)
    João Ricardo Bittencourt (Centro Universitário Franciscano - Unifra)

Local: Anfiteatro Pe. Werner
Horários e dias:
    4ª feira, 27 julho, 14h às 16h e das 16h15 às 18h15
    5ª feira, 28 julho, 8h30 às 10h30

O curso proposto tem como principal objetivo apresentar o processo de desenvolvimento de um game 3D, desde a sua fase de concepção conceitual até a sua implementação. Apesar de serem apresentados alguns tópicos teóricos, o mini-curso visa sobretudo dar um enfoque prático ao tema, procurando usar e indicar ferramentas high-end para a elaboração de jogos. O curso visa, além de ensinar o processo de criar um jogo por si só, fomentar o surgimento de grupos de pesquisas e interesse na área em diversas universidades do país, de maneira que os participantes possam compreender os conhecimentos mínimos necessários para começarem a trabalhar e pesquisar na área. Para tanto, serão usadas no mini-curso ferramentas acessíveis (com custo monetário baixo ou open source).

Apresentação

- Desenvolvimento de Jogos 3D Concepção, Design e Programação


» JAI4: Computação Embarcada: Projeto e Implementação de Veículos Autônomos Inteligentes
Christian Kelber (Unisinos)
Cláudio Jung (Unisinos)
Farlei Heinen (Unisinos)
Fernando Osório (Unisinos)

Local: Auditório Sérgio Gomes
Horários e dias:
    3ª feira, 26 julho, das 10h45 às 12h45, 14h às 16h e das 16h15 às 18h15

Este curso tem por objetivo apresentar um panorama sobre as novas tendências, técnicas e aplicações de computação embarcada em veículos autônomos inteligentes. Serão apresentados os conceitos básicos de robótica móvel, e de instrumentação e controle de veículos autônomos, com ênfase nas novas tecnologias computacionais utilizadas pela indústria automobilística. Também serão apresentadas aplicações de visão computacional no campo de veículos autônomos, com ênfase em sistemas de apoio ao motorista. Além disto também serão discutidos e enfocados os aspectos relativos ao impacto da implantação de sistemas de apoio ao motorista na sociedade moderna, relativos ao aumento da segurança, mas questionando também quanto ao nível de intrusão do sistema no controle dos veículos. Finalmente, serão apresentados projetos relativos a veículos inteligentes desenvolvidos pela indústria automobilística e também por grupos de pesquisas em universidades do país e do exterior, incluindo os trabalhos do Grupo de Pesquisa em Veículos Autônomos da Unisinos (GPVA).

Apresentações

- Computação Embarcada (Farlei Heinen)

- Robótica autônoma, sensores e atuadores (Farlei Heinen)

- Computação Embarcada - Projeto e Implementação de Veículos Autônomos Inteligentes (Cláudio R. Jung)

- Computação Embarcada - Projeto e Implementação de Veículos Autônomos Inteligentes (Christian R. Kelber)

- Computação Embarcada - Projeto e Implementação de Veículos Autônomos Inteligentes 1 (Fernando S. Osório)

- Computação Embarcada - Projeto e Implementação de Veículos Autônomos Inteligentes 2 (Fernando S. Osório)

- Veja mais informações


» JAI5: Colaboração na Internet com a Tecnologia Peer-to-Peer
    Carlos Kamienski (Cefet Paraíba)
    Arthur Callado (Ufpe)
    Marco Antônio Oliveira Domingues (Ufpe)
    Eduardo Souto (Ufpe)
    João Júnior (Ufpe)
    Djamel H. Sadok (Ufpe)

Local: Auditório das Ciências Exatas
Horários e dias:
    3ª feira, 26 julho, das 14h às 16h e das 16h15 às 18h15
    4ª feira, 27 julho, das 10h45 às 12h45

O objetivo principal deste minicurso é fornecer ao aluno subsídios para a compreensão das arquiteturas de redes peer-to-peer (P2P), elucidar aspectos de aplicações já utilizadas, bem como analisar as ferramentas mais importantes de suporte à construção de aplicações colaborativas. Com um enfoque teórico, serão abordados os conceitos, as características, taxonomias, os problemas e desafios encontrados nas redes P2P

Apresentação

- Colaboração na internet e a tecnologia peer-to-peer (p2p) (Carlos Alberto Kamienski)


» JAI6: Design by Contract com JML

    Rogerio Silva Junior (Universidade Federal de Campina Grande)
    Jorge César Abrantes de Figueiredo (Universidade Federal de Campina Grande)
    Dalton Serey Guerrero (Universidade Federal de Campina Grande)

Local: Auditório Centro 6
Horários e dias:
    4ª feira, 27 julho, das 14h às 16h e das 16h15 às 18h15
    5ª feira, 28 julho, das 8h30 às 10h30

Design by Contract (DBC) é um método de implementação que visa a construção de sistemas OO mais confiáveis, na medida em que provê mecanismos para detecção de violações da sua especificação. A principal idéia de DBC é que entre as classes e seus clientes seja estabelecido explicitamente um contrato. Nele, o cliente deve garantir certas condições antes de invocar os métodos da classe (pré-condições), que por sua vez deve garantir algumas propriedades após ter sido executado (pós-condições). JML (Java Modeling Language) é uma linguagem formal de especificação comportamental para Java que contém as notações essenciais de DBC como seu subconjunto. Neste minicurso os conceitos de DBC são abordados com ênfase em como utilizar JML para anotar no código o design detalhado de classes e interfaces Java. Exemplos de utilização desse método são introduzidos através do uso de algumas ferramentas.

Apresentação

- Designe by Contract com JML (Rogério Dourado Silva Júnior, Jorge César Abrantes de Figueiredo e Dalton Dario Serey Guerrero)


» JAI7: Design e Avaliação de Tecnologia Web-acessível

    Amanda Melo (Unicamp)

    M. Cecília Baranauskas (Unicamp)

Local: Auditório das Ciências Exatas
Horários e dias:
    5ª feira, 28 julho, das 10h45 às 12h45 e das 14h às 16h
    6ª feira, 29 julho, das 8h30 às 10h30

Atualmente há o desafio evidente de produção de sistemas computacionais para serem utilizados, na maior extensão possível, por todas as pessoas: um design que respeite as diferenças entre as pessoas na concepção de produtos e de ambientes, sem estigmatizar ou excluir. Esse desafio surge, por exemplo, (1) da necessidade de se oferecer qualidade de vida para todos, atendendo às exigências de setores da sociedade anteriormente excluídos, em consonância com a ideologia de inclusão social (ex. na escola, na universidade, no ambiente de trabalho, no acesso à informação), em construção no Brasil e em vários países no mundo (ex. Austrália, Canadá, Estados Unidos, Portugal, etc); (2) da exigência de países para que seus ferramentais de administração pública e suas informações sejam indispensavelmente acessíveis (ex. Section 508, nos EUA; Information Society for All, na União Européia); (3) da potencial ampliação do número de consumidores, uma vez que há mais de 500 milhões de consumidores prospectivos no mundo com algum tipo de deficiência. O tema acessibilidade reflete diretamente na qualidade da interação entre diferentes pessoas e os sistemas computacionais. Uma primeira disciplina de Interação Humano-Computador, presente no currículo dos Cursos de Ciência da Computação, em geral não dá conta de explorar esse tema na profundidade necessária. Assim, esta proposta de curso visa promover a acessibilidade de tecnologias de informação e comunicação (TICs) numa perspectiva de Design Universal ou Design para Todos, condição necessária à universalidade da computação, temática do congresso. O conteúdo coberto por este curso baseia-se em resultados do oferecimento de parte dele a alunos de graduação, de pós-graduação e webdesigners da Unicamp.

Apresentações

- Design e avaliação de tecnologia web-acessível 1 (Amanda Meincke Melo)

- Design e avaliação de tecnologia web-acessível 2 (Amanda Meincke Melo)

- Design e avaliação de tecnologia web-acessível 3 (Amanda Meincke Melo)


» JAI8: Algoritmos e heurísticas para comparações exata e aproximada de seqüências
    Guilherme Telles (Universidade de São Paulo)
    Nalvo Almeida (Universidade Federal de Mato Grosso do Sul)
    Fabio Henrique Viduani Martinez (Universidade Federal de Mato Grosso do Sul)

Local: Auditório das Ciências Jurídicas
Horários e dias
    5ª feira, 28 julho, das 10h45 às 12h45 e das 14h às 16h
    6ª feira, 29 julho, das 8h30 às 10h30

A comparação de seqüências é uma tarefa central em bioinformática e mineração de dados em textos digitais. Nestas duas aréas de aplicação da computação são manipulados grandes volumes de dados e há necessidade de responder a diversos tipos de perguntas acerca das seqüências biológicas e textos comparados. Neste curso serão apresentados os principais algoritmos e heurísticas para a comparações exata e aproximada de seqüências e algumas aplicações dos algoritmos serão consideradas.

Apresentações

- Algoritmos e heurísticas para comparações exata e aproximada de seqüências 1 (Guilherme P. Telles, Nalvo F. de Almeida Jr. e Fábio H. Viduani Martinez)

- Algoritmos e heurísticas para comparações exata e aproximada de seqüências 3 (Guilherme P. Telles, Nalvo F. de Almeida Jr. e Fábio H. Viduani Martinez)



Mini currículos dos apresentadores do JAI

Giovani Rubert Librelotto é doutorando em Informática na Universidade do Minho. Mestre pela Universidade Federal do Rio Grande do Sul na área de Compiladores e Sistemas Distribuídos, trabalha actualmente na área de Representação de Conhecimento e Processamento de Documentos Estruturados. É bolsista CNPq de Doutorado Pleno no Exterior. Sua tese de doutoramento tem a defesa prevista para Setembro de 2005.

José Carlos Ramalho é professor e pesquisador na Universidade do Minho. É Mestre em Construção de Compiladores e Ph.D. em Processamento e Semântica de Documentos Estruturados. É supervisor de vários projetos envolvendo XML e SGML e atua na área de consultoria para diversas instituições.



Pedro Rangel Henriques licenciou-se na Feup em Engenharia Electrotécnica, sendo Doutorado pela Universidade do Minho em Linguagens Formais e Gramáticas de Atributos, onde é docente/investigador desde 1981 e onde coordena o grupo de Processamento e Especificação de Linguagens. Exerce actividades pedagógicas e de investigação na área da Programação (paradigmas, formalismos de especificação e linguagens), com particular incidência no desenvolvimento de Processadores de Linguagens e de Documentos Estruturados. As principais áreas de interesse, onde tem orientado variadas teses de doutoramento e mestrado e inúmeros projectos de fim de curso e estágio, são: "aplicação da abordagem gramatical à resolução de problemas"; e "utilização de tecnologias de análise semântica e tradução a problemas de domínios diversos - processamento de documentos, recuperação de informação, análise de dados e data mining, sistemas baseados em localização geográfica, etc.". É co-autor do livro "XML & XSL: da teoria à prática", publicado em 2002 pela FCA.

Hugo Alexandre Dantas do Nascimento é Bacharel em Ciências da Computacão pelo DIMAp-UFRN (1994), Mestre em Ciência da Computacão pelo IC-Unicamp (1997) e Doutor em Ciência pela Universidade de Sidney-Austrália (2003). Ele é professor do Instituto de Informática da Universidade Federal de Goiás (UFG) desde 1997, onde realiza pesquisas nas áreas de Desenho de Grafos, Otimização Combinatória e Visualização de Informações. Suas publicações incluem artigos sobre novos algoritmos para desenho de grafos, uso de visualizações em processos semi-automáticos de otimização combinatória e construção de interfaces homem-máquina para atividades interativas e de visualização. Já ministrou em 2002 e 2003 um minicurso local e uma disciplina na graduação sobre Visualização de Informações. Atualmente, Hugo é colaborador do Grupo de Pesquisa de Visualização de Informações do School of Information Technology da Universidade de Sidney (http://www.it.usyd.edu.au/~visual), sendo responsável pela implementação na UFG de uma plataforma de hardware para visualização e interação remota com o grupo na Austrália.

Cristiane Bastos Rocha Ferreira é Bacharel em Ciências da Computação pela Universidade Federal de Goiás (1999) e Mestre em Informática Aplicada pela Pontifícia Universidade Católica do Paraná (2002). Desde de 2002, Cristiane é professora do Instituto de Informática da Universidade Federal de Goiás e vem trabalhando nas áreas de Análise Multirresolução, Percepção, Reconhecimento de Padrões, Visão Computacional e Processamento de Imagens. Já trabalhou como Assistente de Pesquisa no Programa de Pós-Graduação em Informática Aplicada da Pontifícia Universidade Católica do Paraná na área de Visão Computacional. Suas publicações estão relacionadas com classificação automática de mamogramas, transformações Wavelets, extração e seleção de características de imagens.

Esteban Walter Gonzalez Clua é formado em Ciência da Computação pelo Instituto de Matermática e Estatística da USP, é mestre e doutor em computação gráfica pela Puc-Rio. Atualmente é professor do departamento de informática da Puc-Rio e gerente de pesquisas do Icad-IGames / VisionLab, um importante centro de pesquisas para entretenimento digital e midia digital. Além disso, Esteban é um dos fundadores do WJogos, o maior evento acadêmico voltado para entretenimento digital e participa do comitê gestor do grupo especial da SBC para jogos e entretenimento digital. Desde 2002 é um dos coordenadores do curso de games 3D da Puc-Rio. Dentro da Abragames (Associação Brasileira de Desenvolvimento de Games), Esteban está no conselho diretivo e é responsável pela interação da indústria com o meio acadêmico.
Atualmete vem atuando muito na pesquisa para game engines, bem como ferramentas para o processo de criação de games 3D. Além disso, suas áreas de interesse são também Realidade Virtual, Visualização e simulação, TV Digital e Interativa, Interactive Storytelling e Real Time Rendering.
Esteban também vem criando uma série de iniciativas voltadas para educação usando ferramentas interativas e processos de criação de games.

João Ricardo Bittencourt é bacharel em Análise de Sistemas pela Universidade do Vale do Rio dos Sinos desde 2002 e concluiu o mestrado em Ciência da Computação pela Pontifícia Universidade Católica do Rio Grande do Sul em 2004. Atualmente é Professor Assistente da Universidade do Vale do Rio dos Sinos e Sócio da empresa de desenvolvimento de jogos computadorizados e entretenimento digital Ludens Artis. Publicou em diferentes eventos regionais e nacionais. Foi ganhador do Prêmio Jovem Pesquisador em 2001 pela Universidade Federal do Rio Grande do Sul e sua dissertação de mestrado foi escolhida como a melhor do Brasil na área de Informática na Educação em 2004 durante o XV Simpósio Brasileiro de Informática na Educação (SBIE). Participa de um projeto de TV Digital e atua como docente nos cursos de graduação tecnológica em Desenvolvimento de Jogos & Entretenimento Digital e na graduação de Engenharia da Computação. Suas áreas de pesquisas são Jogos Computadorizados, Informática na Educação, Aprendizado de Máquinas e Software Livre.

Cláudio Rosito Jung é bacharel em Matemática (Ufrgs, 1993), mestre em Matemática Aplicada (Ufrgs, 1995) e doutor em Ciência da Computação (Ufrgs, 2002). Seus principais interesses de pesquisa incluem filtragem e realce de imagens usando wavelets, segmentação de imagens ruidosas, tratamento de imagens médicas, detecção e acompanhamento de pessoas, detecção de construções em imagens aéreas e visão computacional aplicada a veículos autônomos e sistemas de apoio ao motorista. Prof. Cláudio vem publicando seus trabalhos em conferências e periódicos de âmbito nacional e internacional, tais como Sibgrapi, IEEE Intelligent Vehicles Symposium, IEEE Transactions on Image Processing, Pattern Recognition Letters e Image and Vision Computing. Ele recebeu recentemente uma bolsa de produtividade nível 2 do CNPq (demanda 10/2004).

Fernando Santos Osório é Bacharel e Mestre em Ciência da Computação pela Ufrgs e Doutor em Computação pelo INPG - Imag de Grenoble na França (1998). Possui ampla experiência na pesquisa, uso e desenvolvimento de ferramentas de Inteligência Artificial e vêm atuando em projetos de I.A. ligados as áreas de Robótica, Visão Computacional, Realidade Virtual e Jogos. Atualmente coordena a Linha de Pesquisa em Inteligência Artificial do Programa Interdisciplinar de Pós-Graduação em Computação Aplicada da Unisinos. Foi o coordenador geral do IV Enia (2003) e co-chair do V Enia (2005) promovido pela SBC.

Christian Roberto Kelber é engenheiro e mestre em Engenharia Elétrica pela PUC-Rio, e obteve no ano de 2000 o título de Doutor (Dr.-Ing.) pelo Institut für Regelungstechnik da TU-Braunschweig, na Alemanha, com foco no controle de máquinas elétricas. Desde 2001 integra o corpo docente do Curso de Engenharia Elétrica da Universidade do Vale do Rio dos Sinos - Unisinos, sendo um dos fundadores do Grupo de Pesquisa em Veículos Autônomos. Suas áreas de interesse estão relacionadas com Controle de Máquinas Elétricas e Automação Veicular.

Farlei Heinen é graduado em Informática e mestre em Computação Aplicada pela Unisinos (2002), tendo desenvolvido sua dissertação na área de robótica móvel autônoma e simulação de veículos autônomos em ambientes virtuais. O Prof. Heinen colabora ativamente em projetos de pesquisa na área da robótica ligados ao Programa de Pós-Graduação em Computação Aplicada da Unisinos (Pipca), e também colabora com o Grupo de pesquisa em Veículos Autônomos (cadastrado junto ao CNPq). Atualmente o prof. Heinen é o coordenador do curso de Engenharia da Computação: Computação aplicada às Engenharias da Unisinos.

Carlos Alberto Kamienski é bacharel pela Universidade Federal de Santa Catarina (Ufsc) em 1989, mestre pela Universidade Estadual de Campinas (Unicamp) em 1994 e doutor pela Universidade Federal de Pernambuco (Ufpe) em 2003, todos em Ciência da Computação. Atualmente é professor do Cefet da Paraíba e pesquisador do Grupo de Pesquisa em Redes e Telecomunicações (GPRT) da Ufpe. Os principais interesses são em redes peer-to-peer (P2P), integração de redes IP com redes ópticas, redes móveis de 3ª e 4ª geração, medições na Internet e gerenciamento de segurança da informação.

Eduardo Souto é bacharel em Ciência da Computação pela Universidade Federal do Amazonas (Ufam) em 1992 e mestre em Ciência da Computação pela Universidade Federal de Minas Gerais (UFMG) em 2001. Atualmente é analista de sistemas da Ufam e doutorando no Centro de Informática (CIn) da Universidade Federal de Pernambuco (Ufpe). Atualmente, suas áreas de interesse incluem sistemas peer-to-peer, redes sem fio e redes de sensores.

João Batista da Rocha Junior é bacharel em Ciência da Computação pela Universidade Federal da Paraíba e mestre em Ciência da Computação pelo Centro de Informática da Universidade Federal de Pernambuco. Atualmente é professor do Departamento de Ciência da Computação da Universidade Estadual de Feira de Santana. Áreas de interesse incluem engenharia de componentes, orientação a aspectos e redes P2P.

Marco Antonio de Oliveira Domingues é engenheiro eletricista e bacharel em ciência da computação pela Universidade Federal do Amazonas e mestre em ciência da computação pela Universidade Federal de Pernambuco. Atualmente é doutorando no Centro de Informática (CIn) da Universidade Federal de Pernambuco (Ufpe) e pesquisador vinculado ao Grupo de Pesquisa em Redes e Telecomunicações (GPRT). Áreas de interesse incluem redes peer-to-peer, redes ad-hoc, algoritmos de roteamento e testes em sistemas.

Arthur de Castro Callado é bacharel em Ciência da Computação pela Universidade Federal do Ceará (UFC), em 2000 e mestre em Ciência da Computação pela Universidade Federal de Pernambuco, em 2003. Atualmente é doutorando no Centro de Informática (CIn) da Universidade Federal de Pernambuco (Ufpe) e pesquisador vinculado ao Grupo de Pesquisa em Redes e Telecomunicações (GPRT). Áreas de interesse incluem voz sobre IP (VoIP), medições na Internet e redes peer-to-peer (P2P).

Djamel Fawzi Hadj Sadok é engenheiro em informática pelo L'Institut de mathématiques de L'Universite des Sciences et de Technologie D'Alger (Argélia), em 1980, e doutor pela Universidade de Kent (Canterbury/Inglaterra) em 1990. Atualmente, é professor do Centro de Informática (CIn) da Universidade Federal de Pernambuco (Ufpe). Os principais interesses incluem redes sem fio, redes peer-to-peer (P2P), estudos de tráfego e gerenciamento de redes.

Rogério Dourado Silva Júnior é Bacharel em Ciência da Computação pela Ufba, BA, 2002 e Mestrando em Informática pela UFCG, PB. As principais áreas de interesse de pesquisa são: Engenharia de Software, Verificação de Software e Processos de Desenvolvimento.



Jorge Cesar Abrantes de Figueiredo é Engenheiro Eletricista (eletrônica) pela UFPB, PB, 1987, Mestre em Informática e Doutor em Ciência pela UFPB, PB, em 1989 e 1994, respectivamente. Realizou atividades de Pós-Doutorado na Aarhus University, Dinamarca, durante o período de agosto/98 a abril/2000. É Professor Adjunto do Departamento de Sistemas e Computação da Universidade Federal de Campina Grande. Foi coordenador do Curso de Ciência da Computação, DSC/UFCG, PB, em 1997 e 1998 e coordenador do curso de Pós-Graduação em Informática, Copin/DSC/UFCG, PB, entre 2001 e 2003. Foi pesquisador visitante no Department of Computer Science, University of Pittsburgh, PA, USA, em 1992 e 1993. As principais áreas de interesse de pesquisa são: Métodos Formais, Redes de Petri e Engenharia de Software. Em especial, realiza pesquisa na aplicação de métodos formais no desenvolvimento rigoroso de software. Áreas nas quais publicou mais de 80 artigos a nível nacional e internacional.

Dalton Serey Guerrero é Bacharel em Ciências da Computação pela UFPB, Mestre em Informática pela UFPB e Doutor em Engenharia Elétrica pela UFCG. É Professor Adjunto do DSC/UFCG, Coordenador do Laboratório de Redes de Petri e membro do Grupo de Pesquisa em Métodos Formais da UFCG. É Vice-Coordenador do Curso de Ciência da Computação, DSC/UFCG, PB desde 2002. Foi pesquisador visitante no Department of Computer Science, University of Aarhus, Dinamarca, em 1999 e 2000. Suas áreas de interesse são: Engenharia de Software, Validação e Verificação Matemática de Software e Orientação a Objetos, áreas em que é autor de diversos trabalhos e artigos publicados em congressos e periódicos nacionais e internacionais.

Amanda Meincke Melo é Mestre em Ciência da Computação pela Universidade Estadual de Campinas (Unicamp) e Bacharel em Ciência da Computação pela Universidade Federal de Santa Maria (UFSM). Atualmente é aluna de doutorado em Ciência da Computação no Instituto de Computação da Unicamp, sob orientação da professora Drª. M. Cecilia C. Baranauskas, com bolsa financiada pelo CNPq. Áreas de interesse: Sistemas de Informação, Interação Humano-Computador, Engenharia de Software, Educação, Semiótica, Design Universal. Página Pessoal: http://www.ic.unicamp.br/~melo/.

Cecilia Baranauskas é Professora Titular no Instituto de Computação da Universidade Estadual de Campinas (Unicamp), Brasil. Bacharel e Mestre em Ciência da Computação e Doutora em Engenharia Elétrica pela Unicamp, Brasil. Realizou Pós-doutorado no Semiotics Special Interest Group (Ssig) da Stafford University e no Applied Informatics with Semiotics (AIS) da University of Reading, Inglaterra. Interesses acadêmicos: aspectos da interação humano-computador, particularmente diferentes formalismos e abordagens (incluindo Semiótica e Design Participativo) na análise; design e avaliação de interfaces de usuário em aplicações orientadas a diferentes domínios (sistemas colaborativos para aprendizado, sistemas de informação geográfica, sistemas para a prática de trabalho). Página Pessoal: http://www.dcc.unicamp.br/~cecilia/.

Guilherme Pimentel Telles é doutor em Ciência da Computação pela Unicamp. Participou do primeiro projeto genoma brasileiro, o projeto de seqüenciamento genético da bactéria Xylella fastidiosa, financiado pela Fapesp, pelo que recebeu a distinção Honra ao Mérito Científico e Tecnológico do Governo do Estado de São Paulo. Participou também do projeto genoma da cana-de-açúcar. Atualmente é professor do Departamento de Ciência da Computação e Estatística do ICMC da USP. Suas áreas de interesse são complexidade de algoritmos e estruturas de dados, grafos e bioinformática.

Nalvo Franco de Almeida Junior é doutor em Ciência da Computação pela Unicamp e pesquisador nível 2 do CNPq. Sua tese de doutorado, que propõe ferramentas para a comparação de genomas, recebeu prêmio de 3o. lugar no CTD'2003. Participou dos seguintes projetos genoma: Xylella fastidiosa (onde recebeu a distinção Honra ao Mérito Científico e Tecnológico do Governo do Estado de São Paulo), Xanthomonas citri, Xanthomonas campestris e Xylella fastidiosa Pierce's Disease, financiados pela Fapesp; Agrobacterium tumefaciens (artigo de capa da revista Science, Vol. 294,#5550), financiado pela Dupont e pela University of Washington (Seattle, USA); Paracoccidioides brasilienses e Anaplasma marginale, financiados pelo CNPq. É professor do Departamento de Computação e Estatística da UFMS desde 1987. Suas áreas de interesse são Biologia Computacional, Complexidade de Algoritmos e Estruturas de Dados.

Fábio Henrique Viduani Martinez é graduado em Ciência da Computação pela Universidade Federal de Mato Grosso do Sul. É mestre em Matemática Aplicada pelo Instituto de Matemática e Estatística da Universidade de São Paulo, quando estudou algoritmos paralelos para construção da árvore dos sufixos. É doutor em Ciência da Computação pelo Instituto de Matemática e Estatística da Universidade de São Paulo, quando estudou algoritmos de aproximação para restrições do problema de Steiner em grafos. Desde de 1996 é professor do departamento de Computação e Estatística da Universidade Federal de Mato Grosso do Sul. Suas áreas de interesse são Algoritmos de Aproximação, Teoria dos Grafos e Otimização Combinatória



Comitê de programa

Aline Andrade (Ufba)
Altigran Silva (Ufam)
Ana Paula Ferreira (Unisinos)
Ana Teresa Martins (UFC)
Antonio Alfredo Ferreira Loureiro (UFMG)
Avelino Zorzo (PUC-RS)
Carlos de Castro Goulart (UFV)
carlos Eduardo Ferreira (USP)
Claudio Kirner (Unimep)
Eliane Martins (Unicamp)
Elias Duarte Jr. (UFPR)
Linnyer Ruiz (UFMG)
Maria da Graca Campos Pimentel (USP)
Maria Izabel Cabral (UFCG)
Marinho Barcellos (Unisinos)
Markus Endler (PUC-Rio)
Noemi Rodriguez (PUC-Rio)
Raul Sidnei Wazlawick (Ufsc)
Regina Araujo (Ufscar)
Ricardo Jacobi (UNB)


Coordenação


Antônio A. F. Loureiro - UFMG
loureiro@dcc.ufmg.br


Marinho P. Barcellos - Unisinos
marinho@exatas.unisinos.br

   
  © 2004-2005 | Todos os direitos reservados | Unisinos