| SEG | TER | QUAR | QUIN | SEX | ||
| 8h00 às 10h00 | Entrega de materiais | Mini-Cursos (1, 2, 3) e Laboratórios (1, 2, 3) | Mini-Cursos (4, 5, 6) e Laboratórios (4, 5, 6) | Mini-Cursos (4, 5, 6) e Laboratórios (4, 5, 6) | Mini-Cursos (7, 8, 9) e Laboratórios ((7, 8, 9) | |
| 10h00 às 11h00 | Oficinas WIND | Palestra WTICG-BASE | Palestra Técnica 03 | Palestra Técnica 05 | 10h00 às 10h30 | Coffee break |
| 11h00às11h30 | Coffee break | Coffee break | Coffee break | Coffee break | 10h30 às 12h30 | Mini-Cursos (7, 8, 9) e Laboratórios (7, 8, 9) |
| 12h30 às 13h00 | ||||||
| Ato de Encerramento | ||||||
| 11h30às13h00 | Palestra WIND-BASE | Sessões Técnicas WTICG// PalestraFREEBASE | Sessões Técnicas WTICG | Sessões Técnicas WEIBASE | ||
| 13h00às14h30 | Intervalo para Almoço | Intervalo para Almoço | Intervalo para Almoço | Intervalo para Almoço | ||
| 14h30às16h00 | Oficinas WIND//PROG-BASE | Sessões Técnicas WTICG// FREEBASE | Sessões Técnicas WTICG | Sessões Técnicas WEIBASE | ||
| 16h00às16h30 | Coffee break | Coffee break | Coffee break | Coffee break | ||
| 16h30às17h30 | Sessão Técnica WIND//PROGBASE | Palestra Técnica 01 | Palestra Técnica 02 | Palestra Técnica 04 | ||
| 17h30 às 19h30 | Mini-Cursos (1, 2, 3) e Laboratórios (1, 2, 3) | Mini-Cursos (1, 2, 3) e Laboratórios (1, 2, 3) Reunião dos RIs | Mini-Cursos (4, 5, 6) e Laboratórios (4, 5, 6) | Mini-Cursos (7, 8, 9) e Laboratórios (7, 8, 9) Reunião da Comissão da ERBASE | ||
| 19h30 às 21h30 | Ato de Abertura / Palestra SBC/ | A definir | Jantar Adesão | A definir | ||
01 – Jair Cavalcante Leite (UFRN) – Design e usabilidade em IHC (confirmado)
RESUMO: Nos cursos de computação, a maioria das disciplinas têm seu foco nos diversos aspectos do sistema computacional. No entanto, faz parte a responsabilidade dos profissionais que o artefato computacional produzido possa ser utilizado com qualidade pelos seres humanos, considerando suas capacidades e limitações. A disciplina de IHC estuda os fenômenos da interação humano computador e a sua aplicação no design dos sistemas computacionais interativos. Este curso tem por objetivo introduzir os conceitos teóricos de IHC e a sua aplicação no design e na avaliação de sistemas visando melhorar a sua usabilidade.
02 – Marcelo Almiron (UFMG) – Cálculo de Programas: derivação de programas funcionais e imperativos. (confirmado)
RESUMO: Neste mini-curso veremos como obter programas "corretos" a partir de especificações. Apresentaremos a programação como o processo de manipulação de expressões, começando das especificações iniciais, até obter programas nos paradigmas funcional ou imperativo. A corretude destes programas será garantida pelo próprio processo, obtendo um produto composto de duas componentes: por um lado o programa, e pelo outro a demonstração de que o mesmo é correto para a especificação dada.
03 – Luiz Marcos Garcia Gonçalves (UFRN) – Visão Computacional para Robótica(confirmado)
RESUMO: Neste minicurso, fazemos uma introdução à Visão Computacional para Robótica, incluindo técnicas que podem ser usadas para fazer um robô “enxergar" e executar tarefas de forma autônoma. Introduzimos inicialmente conceitos e técnicas usuais de Visão Computacional para extração de características (features) de imagens e formas de redução de dados, visando execução em tempo real. A seguir, buscamos abordar de forma bem simples as técnicas de Visão Computacional conhecidas como "Shape from X", introduzindo conceitos de maneira bem elementar, de forma que o seu funcionamento possa ser entendido sem complicações. O uso de todas essas características é exemplificado em tarefas de atenção visual e reconhecimento de padrões por robôs. O uso de equações diferenciais, integrais e outras formas matemáticas inerente aos métodos abordados, geralmente colocadas de forma superficial em um curso avançado, é colocado de forma simplificada neste mini-curso, visando um melhor entendimento.
04 – Genaro Costa - Grades Computacionais (confirmado)
RESUMO: Grades Computacionais são sistemas de larga-escala implementados sobre recursos existentes. Esses sistemas permitem o compartilhamento distribuído de recursos de armazenamento e computo. Nesse mini-curso teremos uma introdução ao conceito de Grades Computacionais, exemplos uso e benefícios atuais para seus usuários.
Será abordado tecnologias para montagem de Clusters, protocolos e serviços associados, considerações sobre segurança e casos de uso de tecnologias comuns para implementação de Grades Computacionais baseadas em Globus Toolkit e Condor.
05 – Paulo Ambrósio (UESC) – Reconhecimento de Padrões em Imagens Médicas (confirmado)
RESUMO: O diagnóstico médico por imagens é um campo onde o apoio de sistemas computacionais é fundamental e cada vez mais necessário. Técnicas de processamento digital de imagens, combinadas com reconhecimento e classificação de padrões, proporcionam um grande auxílio ao profissional da área. Este minicurso tem por objetivo apresentar os principais conceitos envolvidos no desenvolvimento de sistemas de apoio ao diagnóstico, especialmente no reconhecimento de padrões, visando a formação a o aprimoramento de estudantes e profissionais interessados pela área.
06 – Leandro Melo de Sales - Descoberta e Disponibilização de Serviços em Ambientes Pervasivos (confirmado)
RESUMO: O aumento da complexidade dos sistemas de software capazes de disponibilizar serviços de rede vem tornando necessária a utilização de novos mecanismos para sistematizar a resolução dos problemas de disponibilização desses serviços. Com a recente adoção dos sistemas oriundos da computação pervasiva, tornou-se necessário disponibilizar e descobrir serviços de rede em um ambiente totalmente dinâmico, onde frequentemente dispositivos entram e saem desses ambientes. Para prover serviços nesse escopo, faz-se necessários esforços de duas áreas da ciência da computação: engenharia de software e redes de computadores.
A forma que esta combinação resolve os problemas na disponibilização de um determinado serviço em rede é desenvolver protocolos capazes de descrever e disponibilizar estes serviços. Tais protocolos determinam as regras de comunicação que governam a transmissão e o recebimento de dados através da rede. O objetivo deste mini-curso é ensinar os fundamentos do padrão UPnP (Universal Plug and Play), objetivando a descoberta e disponibilização de serviços em redes móveis ad-hoc, assim como apresentar e ensinar como desenvolvedores de aplicações podem utilizar o arcabouço BRisa (http://brisa.garage.maemo.org) para trabalhar com o padrão UPnP. O participante deste mini-curso está convidado a levar seu laptop para participar de uma mini-seção de hands-on.
07 – Debora Muchaluat Saade (UFF) – Introdução ao Desenvolvimento de aplicações para TV Digital com GINGA-NCL (confirmado)
RESUMO: Neste minicurso será feita uma breve introdução sobre o Sistema Brasileiro de TV Digital (SBTVD), com ênfase no middleware Ginga. Será apresentada a linguagem NCL (Nested Context Language), utilizada para desenvolvimento de aplicações com base no paradigma declarativo, capacitando os alunos para criação de conteúdo interativo para o novo sistema.
08 – Alexandre Plastino (UFF) – Mineração de Dados :Algoritmos e Aplicações(confirmado)
RESUMO: Mineração de Dados (Data Mining) se refere ao processo de descoberta de novas informações e conhecimento, no formato de regras e padrões, a partir de grandes bases de dados. O objetivo deste curso é apresentar os principais conceitos, problemas e algoritmos relacionados à área de mineração de dados e suas aplicações. Serão estudados os diferentes tipos de regras e padrões extraídos em processos de mineração e seus respectivos algoritmos."
09 – Simone Martins (UFF) – Programação Paralela (confirmado)
Resumo: Neste mini-curso serão apresentados conceitos básicos de arquiteturas paralelas e exemplos de máquinas paralelas existentes, modelos para programação paralela, algumas ferramentas utilizadas para paralelização de programas, tais como, MPI, OpenMP e Threads e estudos de caso.
01 – Aquiles Burlamarqui (UFRN) – Programação Avançada do Ginga-NCL com Lua(confirmado)
RESUMO: Nessa oportunidade apresentaremos a linguagem de script Lua, escolhida para fazer parte do Sistema Brasileiro de TV Digital(SBTVD). A linguagem Lua juntamente com a linguagem NCL compõem o padrão de interatividade Ginga-NCL. Apresentaremos suas funcionalidades e exemplos de sua utilização focando nas novas APIs Lua especificadas para o SBTVD
02 – Aline Maria Santos Andrade (UFBA), Diego Machado Dias e Robson dos Santos e Silva (UFBA) – Especificação e Verificação Automática em Z (confirmado)
RESUMO: A verificação automática de sistemas atualmente é um requisito fundamental para muitas aplicações, aquelas principalmente que envolvem riscos. Esta técnica se aplica a especificações formais de sistemas e, portanto, é utilizada nas primeiras fases de projeto do software, o que é uma prática recomendada pela Engenharia de Software.
Existem diversos paradigmas e linguagens para especificação formal de sistemas, que se fundamentam em teorias matemáticas e permitem a verificação automática de propriedades. Algumas linguagens de especificação formal utilizam os provadores automáticos de teoremas, como é o caso da linguagem Z.
Este minicurso dará inicialmente uma visão geral de métodos formais e focará na especificação de sistemas na linguagem Z e na verificação automática de especificações utilizando o provador automático de teoremas Z-Eves. Apresentaremos lições aprendidas na prática, adquiridas em um projeto de pesquisa (desenvolvido em cooperação entre os grupos de pesquisa MEFES@UFBA e LaSiD/DCC/UFBA) no qual estamos trabalhando em um mini-desafio de verificação de software dentro do contexto dos Grandes Desafios em Verificação de Software proposto recentemente por Tony Hoare.
Pré-requisitos: noções de lógica matemática; noções de engenharia de software.
03 – David Moisés (UEFS) – Redes Sociais conceitos e aplicações(confirmado)
RESUMO: As redes sociais envolvem relacionamentos dos seres entre si ou entre seus grupos de interesse. Na Internet, aplicações que agregam tais redes têm crescido muito nos últimos anos a exemplo de Facebook, Twitter, entre tantos outros. Motivados por este fenômeno, neste laboratório buscaremos apresentar os principais conceitos para análise de redes sociais bem como usar ferramentas para efetuar tal tarefa.
04 – Francisco Sant' Anna (PUC-RJ) – Programação na linguagem Lua
RESUMO: Lua vem ganhando popularidade nos últimos anos, tornando-se a linguagem líder mundial em scripting de jogos. Neste mini-curso faremos uma breve introdução à linguagem, passando por seus conceitos básicos e boas práticas de programação.
Pré-requisito: conhecimento em lógica de programação.
05 – Pablo Viana (UFAL) – Open Source Hardware para Dispositivos USB de Interface Humana
RESUMO: Ultimamente, o desenvolvimento baseado em plataforma Open Source de Hardware (código aberto) é visto como uma tendência para baratear o custo de projetos de sistemas embarcados. Visando popularizar tecnologias, empresas disponibilizam esquemáticos, lay-outs de circuito impresso, códigos de programas, e outros recursos com documentação completa. O acessoaberto ao código de plataformas completas estimulam a continuidade no desenvolvimento da tecnologia a um custo reduzido, internacionalmente compartilhado.
Neste minicurso serão apresentadas algumas das plataformas atuais que seguem esta tendencia mundial (ex: Beagleboard, Arduino, Stargate, etc) e ministrados experimentos práticos no laboratório com dispositivos HID (Dispositivos de Interação Humana) em uma plataforma de hardware livre com interface USB 2.0.
06 – Rodrigo Peixoto e Leandro Dias (UFAL) - Desenvolvimento de aplicações para dispositivos móveis usando Qt
RESUMO: Qt é um Framework multi-plataforma para desenvolvimento de aplicações e interface gráfica o qual vem ganhando muito espaço no mercado. Atualmente, a empresa responsável pelo Framework é a Nokia que incorporou a Trolltech antiga mantenedora. Com isso Qt ganhou outras perspectivas e, hoje, está cada vez mais difundido e competitivo. Neste laboratório, focaremos no desenvolvimento de aplicativos usando Qt com a linguagem C++. Também mostraremos como portar as aplicações feitas com o Framework para as plataformas móveis como Maemo, Symbian, WindowsMobile, Windows CE, etc.
07 – Olavo Holanda, Jean Melo e Ig Ibert Bittencourt (UFAL) - Projeto e Desenvolvimento de Aplicações sobre a perspectiva da Web Semântica.
Resumo: O objetivo deste minicurso é abordar a teoria e prática da Web Semântica de forma fácil e simples de se implementar. Desta forma, será mostrada a teoria da Web Semântica e, aliado a isto, será vista a prática de cada tópico abordado. No final do minicurso, os estudantes serão capazes de utilizar metodologias para construir ontologias, decidir como e quais ontologias devem ser reusadas, integrar ontologias com aplicações reais e bancos de dados existentes e programar utilizando tais ontologias.
08 – Mário Hozano (UFAL) – Programação em Phyton para dispositivos Móveis(confirmado)
RESUMO: Nos últimos anos, o desenvolvimento de aplicações para dispositivos móveis tem chamado a atenção de muitos programadores devido à evolução e popularização de celulares, notebooks, tablets etc. Ao mesmo tempo a linguagem Python tem se mostrado como uma tecnologia robusta e de fácil aprendizado, sendo utilizada em aplicações de empresas como Nokia, Google e Microsoft. Neste contexto, este curso pretende apresentar a linguagem Python como alternativa para o desenvolvimento de aplicações para a plataforma Maemo, a plataforma de Internet Tablets da Nokia.
09 –Leonardo Nogueira Matos e Leonardo Pinto da Silva Panta Leão (UFS) - Visão Computacional com OpenCV
RESUMO:Esse laboratório apresenta a área de Visão Computacional através de uma exposição teórica e prática. Inicialmente será realizado uma breve revisão do assunto, dando cobertura sobre a teoria que dá sustentação ao experimentos realizados subsequentemente.
Em seguida será apresentado como de fato pode ser realizado a aplicação desse conteúdo em experimentos práticos com vídeo on-line e off-line. O instrumento usado para manipular imagem e vídeo é a biblioteca OpenCV, executanda em aplicações desenvolvidas para o sistema GNU/Linux.
O OpenCV é uma biblioteca em linguagem C, com licença livre, mantida e desenvolvida pela Intel, empresa da área de hardware.
Ela tem se tornado bastante popular desde 2008 pois é bastante completa, eficiente e documentada. Ao final do curso o aluno terá uma noção mais precisa da área de visão computacional e saberá como escrever rapidamente programas relacionados com esse tema. É desejável que o aluno tenha experiência com programação em linguagem C ou C++.
