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
|