Workshop DIMAP
24 a 28 de Agosto
Universidade Federal do Rio Grande do Norte
Universidade Federal do Rio Grande do Norte
Em 2015, o Departamento de Informática e Matemática Aplicada comemora 30 anos de existência. Para celebrar o aniversário, realizaremos um workshop no período de 24 a 28 de agosto. Este evento congregará palestras, apresentações de trabalhos científicos e tecnológicos, sessões de demonstração e apresentações de posters e comemorações ao longo da semana.
O evento Workshop DIMAp 30 Anos será realizado na Universidade Federal do Rio Grande do Norte - UFRN, sendo destinado a apresentação e publicação de trabalhos científicos e tecnológicos desenvolvidos por professores e estudantes das diversas áreas da computação. O evento incentiva a submissão tanto de trabalhos que estejam em etapas avançadas, bem como de trabalhos com ideias promissoras e com resultados ainda iniciais.
Profª Monica Magalhães Pereira
Profª Thaís Vasconcelos Batista
Profª Sílvia Maria Diniz Monteiro Maia
Profª Márcia Jacyntha Nunes Rodrigues Lucena
Viviane Costa
Gabriela Cavalcante da Silva
Alba Sandyra Bezerra Lopes
Anderson Paiva
André Maurício Cunha Campos
Antônio Carlos Gay Thomé
Augusto José Venâncio Neto
Benjamin Rene Callejas Bedregal
Carlos Augusto Prolo
Cláudia Kiermes
Edgard de Faria Correa
Eduardo Henrique da Silva Aranha
Elizabeth Ferreira Gôuvea
Fernando Marques Figueira Filho
Gibeon Soares de Aquino Junior
Givanaldo Rocha de Souza
Gustavo Girão Barreto da Silva
Helida Santos
Ivanovitch Silva
Jair Cavalcanti Leite
Joao Marcos de Almeida
Leonardo Bezerra
Lyrene Fernandes da Silva
Marcel Vinícius Medeiros Oliveira<
Marcelo Siqueira
Marcio Eduardo Kreutz
Marcos Madruga
Márjory Cristiany da Costa Abreu
Martin Alejandro Musicante
Matheus Menezes
Pedro Petrovitch Caetano Maia
Richard Bonichon
Selan Rodrigues Dos Santos
Thatiana C. N. Souza
Uirá Kulesza
ATENÇÃO
As inscrições estão esgotadas!
Agradecemos seu interesse em participar do Workshop!
1.Acessar Página de Inscrição
2.Clicar em "Clique aqui para fazer a sua Inscrição" que encontra-se no final da página
3.Se já participou de algum evento de extensão através dessa página ou já fez o cadastro, fazer login com email e senha já cadastrados. Caso contrário, clicar em "Ainda não possuo cadastro" e preencher o formulário.
4.No caso de novo cadastro, um email de confirmação será enviado para o email cadastrado e será necessário acessá-lo para validar a nova conta.
Até 15/08/2015 | Após 15/08/2015 | |
Estudante | R$ 15,00 | R$ 17,00 |
Professor/Profissional | R$ 40,00 | R$ 50,00 |
Contato: dimap30anos@dimap.ufrn.br
1.Após fazer login no sistema (seguir os passos descritos em CADASTRO E LOGIN NO SISTEMA DE EVENTOS até o item 3)
2.Clicar em "Cursos e Eventos Abertos"
3.No Workshop DIMAp 30 Anos, clicar no ícone verde com uma seta branca
4.Preencher formulário
5.Se estudante, anexar comprovante de matrícula
6.Gerar boleto
7.Pagar boleto e enviar comprovante de pagamento do boleto para dimap30anos@dimap.ufrn.br
8.Aguardar e-mail de confirmação de inscrição
ATENÇÃO: FICAR ATENTO AO PRAZO DO BOLETO!!!
A inscrição só estará confirmada quando você receber e-mail de confirmação
Essa opção somente será habilitada após se inscrever no evento Workshop DIMAp 30 Anos
1.Após fazer login no sistema (seguir os passos descritos em CADASTRO E LOGIN NO SISTEMA DE EVENTOS até o item 3)
2.Clicar em "Cursos e Eventos Abertos"
3.No Workshop DIMAp 30 Anos, clicar no ícone verde e azul
4.Preencher formulário de inscrição
5.Aguardar confirmação de inscrição
O Workshop DIMAp 30 Anos contemplará sessões de demonstração e apresentação de posters. Poderão submeter trabalhos para essas sessões professores e estudantes que desejem apresentar novas tecnologias, resultados de pesquisa aplicada ou de projetos desenvolvidos, quer concluídos quer ainda em andamento.
Versão da Chamada de Trabalhos em PDF
Os trabalhos submetidos devem ter co-autoria de pelo menos um membro (aluno ou professor) do DIMAp.
- Artigos científicos: Os autores são convidados a submeter artigos escritos em português com no máximo 4 páginas no formato SBC.
- Poster ou demonstração: Os autores são convidados a submeter artigos escritos em português com no máximo 2 páginas no formato SBC.
Data limite para envio dos artigos: 17 de maio de 2015 20 de maio de 2015 (prazo final)
Notificação de aceitação: 28 de junho de 2015. 03 de julho de 2015
Envio das versões finais: 13 de julho de 2015. 20 de julho de 2015
No momento da submissão, o autor deverá escolher se o trabalho será avaliado para apresentação de trabalho científico ou para a sessão de demonstrações/posters. Os artigos selecionados para o evento serão publicados em anais eletrônicos disponibilizados na página do DIMAp e os autores deverão apresentar seus trabalhos durante o workshop.
No encerramento do evento serão divulgados o melhor artigo científico e o melhor artigo do tipo poster/demonstração apresentados durante o evento. A escolha será feita por uma comissão julgadora.
Data limite para envio dos artigos: 17 de maio de 2015 20 de maio de 2015 (prazo final)
Notificação de aceitação: 28 de junho de 2015. 03 de julho de 2015
Envio das versões finais: 13 de julho de 2015. 20 de julho de 2015
O sistema de submissão é o EasyChair. Ao clicar no link "Página de Submissão", o sistema irá solicitar um novo cadastro ou o login, em caso de usuário já cadastrado no sistema. Após o login, o usuário será direcionado à página de submissão (new submission) e irá cadastrar autores, título, resumo (abstract), palavras chave e escolher entre duas categorias "Artigo científico" ou "Poster/Demonstração".
Para cada categoria existe um subconjunto de tópicos, como listado abaixo, que também devem ser selecionados. Um único artigo poderá se enquadrar em mais de um tópico, ou não se enquadrar precisamente nos tópicos listados. Mesmo assim, é necessária a seleção do(s) tópico(s), que irá auxiliar ao comitê na revisão dos artigos.
Artigo Científico:
Algoritmos e Estrutura de Dados | Arquitetura de Computadores | Computação Gráfica | Engenharia de Software | Inteligência Artificial | Linguagens de Programação e Compiladores | Lógica | Programação Distribuída | Redes de Computadores | Sistemas Operacionais |
Poster/Demonstração:
Software: jogo, aplicativo, ferramenta, etc | Sistema embarcado: protótipo
Está aberta a submissão de trabalhos exclusivamente para a sessão de demonstrações do Workshop DIMAp 30 Anos. São convidados a submeter para essa chamada, autores de aplicativos; jogos; ferramentas; protótipos de sistemas embarcados, dentre outros, desenvolvidos tanto em projetos de pesquisa/inovação quanto em atividades extra-curriculares. Serão aceitos tanto projetos de graduação quanto de pós-graduação.
1. Pelo menos um autor (discente ou docente) deve ser do DIMAp
2. O(s) autor(es) do trabalho aceito se compromete(m) em se inscrever no evento (com taxa de inscrição) e apresentar o trabalho durante a sessão de demonstração no workshop
3. O(s) autor(es) irão providenciar todo o equipamento necessário para sua demonstração (computador, dispositivo mobile, etc)
4. Os trabalhos aceitos através dessa chamada NÃO terão artigo publicado no site do Workshop, apenas divulgação de título e descrição do trabalho
5. Os trabalhos aceitos através dessa chamada NÃO irão concorrer a premiação de melhor artigo
6. Os trabalhos aceitos através dessa chamada irão concorrer ao prêmio de melhor trabalho por "Escolha da Audiência" junto com todos os trabalhos da categoria de demonstração
Enviar um email para dimap30anos@dimap.ufrn.br
1. Título do email: Chamada de Demonstrações
2. Nome completo e matrícula dos autores e nome do orientador (caso o projeto tenha sido desenvolvido sob orientação de algum docente)
3. Título do trabalho
4. No máximo, dois parágrafos com a descrição do trabalho
Submissão de projetos por e-mail: até 02/08/2015
Resultado de trabalhos aceitos: 07/08/2015
Clique aqui para ver a programação em pdf.
Clique nos títulos das atividades abaixo para ver mais detalhes
8:00 - 8:30 - Credenciamento
Local: Anfiteatro B do CCET - Centro de Ciências Exatas e da Terra/UFRN
08:30 - 9:00 - Abertura
Local: Anfiteatro A do CCET - Centro de Ciências Exatas e da Terra/UFRN
9:00 - 10:00 - "It's A Long Way To The Top (If You Wanna Rock 'n' Roll)": o que aprendi sobre a Teoria e a Prática da Inovação Tecnológica no Brasil
Palestrante: Salustiano Fagundes
Diretor da HIRIX Engenharia de Software e CEO da HXD Smart Solutions
Local: Anfiteatro A do CCET
Chair: Thaís Vasconcelos Batista
Salustiano Fagundes é potiguar com mais de 25 anos de experiência na área de TIC's. Foi Presidente da Sociedade dos Usuários de Informática e Telecomunicações (SUCESU-RN), Coordenador do Fórum de Desenvolvimento Empresarial do RN, avaliador do Prêmio Dorgival Brandão de Qualidade e Produtividade em Software (coordenado pela SEPIN/MCT) e consultor na Secretaria de Logística e Tecnologia da Informação (SLTI) do Ministério do Planejamento, onde trabalhou em projetos para a criação de uma biblioteca de compartilhamento de componentes de software na área pública e para a estruturação da ePING (Padrões de Interoperabilidade de Governo Eletrônico). É membro fundador de diversas entidades no setor de tecnologia, tendo sido representante do Setor de Software no Conselho Deliberativo do Fórum do Sistema Brasileiro de Televisão Digital Terrestre (Fórum SBTVDT). Atualmente integra o Comitê de Novas Mídias da Sociedade Brasileira de Engenharia de Televisão (SET), é curador na área de Televisão e Cinema Digital na Campus Party, diretor da HIRIX Engenharia de Software (www.HIRIX.com.br) e CEO da HXD Smart Solutions (www.HXD.com.br), uma das empresas brasileiras que estão pensando e fazendo a nova televisão interativa, anywhere e anytime.
10:00 - 10:20 - Coffee-Break
10:20 - 12:00 - Sessão I - Engenharia de Software e Métodos Formais
Local: Anfiteatro A do CCET
Chair: Márcia Jacyntha Nunes Rodrigues Lucena
10:20 - 10:40 - Uma Arquitetura de Serviço de Descoberta para IoT e SoS. Porfírio Gomes e Thais Batista
10:40 - 11:00 - Um Framework para Funcionamento Offline em Aplicações Android. Jean Guedes e Gibeon Júnior
11:00 - 11:20 - Uma Estratégia Local e Composicional para a Verificação de Livelock em Sistemas Baseados em Componentes. Madiel Conserva Filho, Marcel Vinicius Medeiros Oliveira e Augusto Sampaio
11:20 - 11:40 - Verificação de programas Circus executáveis usando Java Pathfinder. Samuel Barrocas e Marcel Oliveira
11:40 - 12:00 - Assistente para Verificação de Programas em Frama-C. Vítor A. Almeida
12:00 - 14:00 - Intervalo
14:00 - 15:00 - Sessão II - Lógica
Local: Anfiteatro A do CCET
Chair: João Marcos de Almeida
14:00 - 14:20 - Negações, T-normas e T-conormas Difusas Hesitantes Típicas utilizando a Ordem Parcial de Xu-Xia. Helida Santos, Benjamin Bedregal e Regivan Santiago
14:20 - 14:40 - Uma generalização de funções do tipo OWA para reticulados completos. Antonio Diego Silva Farias e Regivan Hugo Nunes Santiago
14:40 - 15:00 - Uma abordagem essencialmente intervalar para o cálculo de pertinência fuzzy. Ronildo Moura e Benjamin Bedregal
15:00 - 15:20 - Coffee-Break
15:20 - 18:20 - Minicurso 1/Minicurso 2
Ministrante: Professora Claudia Nalon
Local: Anfiteatro A do CCET
In 1965, John A. Robinson published the paper "A Machine-Oriented Logic Based on the Resolution Principle'', launching the basis for automated deduction as we now know it. The resolution principle combines unification on demand together with a cut-elimination rule, building on the theoretical works by Prawitz and Herbrand and also improving on previous automated heuristics for proof search developed by Davis-Putnam. The result is an elegant, easy to implement, sound, and complete proof procedure with only one inference rule for dealing with validity in First-Order logic. In this tutorial, we celebrate the 50th anniversary of Robinson's foundational work by looking at the theory behind resolution-based systems for classical logics (propositional and first-order), the main results concerning the theoretical and practical development of such systems, and the state-of-the-art heuristics that make of this proof procedure one of the most widely implemented and successful tools for Automated Reasoning.
Claudia Nalon possui graduação em Ciência da Computação pela Universidade de Brasília (1993), mestrado em Ciência da Computação pela Universidade Estadual de Campinas (1997) e doutorado em Ciência da Computação pela University of Liverpool (2004). Atualmente é professora adjunta da Universidade de Brasília, tendo atuado como Coordenadora de Graduação do Bacharelado em Ciência da Computação e como Coordenadora de Extensão do Instituto de Ciências Exatas. Atua na área de Teoria da Computação, com interesse, principalmente, em métodos de prova baseados em resolução para combinações de lógicas não-clássicas
Autores do minicurso: Paulo F. Pires (UFRJ), Flavia C. Delicato (UFRJ), Thais Batista (UFRN), Thomaz Barros (UFRJ), Everton Cavalcante (UFRN) e Marcelo Pitanga (UFRJ)
Ministrantes: Everton Cavalcante e Thais Batista
Local: Anfiteatro B do CCET
A Internet das Coisas (IoT) é um paradigma no qual objetos inteligentes colaboram de forma ativa com outros objetos físicos e virtuais disponíveis na Internet. Ambientes de IoT são caracterizados por um alto grau de heterogeneidade de dispositivos e protocolos de rede. Para tratar tal heterogeneidade, várias plataformas de middleware para IoT têm sido propostas visando abstrair as especificidades de tais dispositivos para aplicações e usuários finais, bem como promover interoperabilidade entre eles. Entretanto, a falta de padronização existente em IoT faz com que tais plataformas adotem diferentes modelos de programação e não abordem adequadamente uma série de requisitos importantes nesse contexto. Dessa forma, arquiteturas de referência (ARs) são capazes de definir um conjunto inicial de blocos de construção para ambientes de IoT e fornecer uma base sólida para alavancar sua ampla adoção. Tendo em vista a relevância de plataformas de middleware e arquiteturas de referência em IoT, bem como os desafios e oportunidades de pesquisa existentes, este tutorial tem por objetivos: (i) levantar e discutir requisitos de middleware para IoT; (ii) apresentar ARs e plataformas de middleware para IoT existentes; e (iii) demonstrar o uso prático de uma plataforma de IoT.
8:30 - 9:00 - Credenciamento
Local: Anfiteatro B do CCET - Centro de Ciências Exatas e da Terra/UFRN
9:00 - 10:00 - Da UFRN ao Vale do Silicio: uma carreira na indústria de tecnologia
Palestrante: Daniel Amaral de Medeiros Rocha.
Engenheiro de Software da Google NYC
Local: Anfiteatro A do CCET
Chair: Gustavo Girão Barreto da Silva
Nessa palestra, Daniel Rocha, Engenheiro de Software do Google em NYC, irá contar um pouco da sua trajetória profissional, os desafios, as oportunidades e as conquistas que o levaram de aluno do DIMAp/UFRN a uma carreira numa das mais importantes empresas de software do mundo. Daniel também irá passar algumas dicas sobre como se preparar para o mercado de trabalho e como continuar crescendo dentro da empresa. O convidado também irá compartilhar um pouco da sua experiência de 8 anos trabalhando como engenheiro, tech lead, e tech lead manager no Google Search, o serviço web mais utilizado no planeta, com centenas de milhões de usuários e bilhões de buscas diárias
Daniel Rocha possui mestrado em Ciência da Computação pela PUC-RJ (2009), e se formou em Ciência da Computacão pela Universidade Federal do Rio Grande do Norte (2006) e ensino médio e técnico-profissionalizante pelo Centro Federal de Educacão Tecnológica (2002). Trabalha há 8 anos no Google em Nova York, atualmente como tech lead manager na área de Search.
10:00 - 10:20 - Coffee-Break
10:20 - 12:00 - Sessão III - Arquitetura de Computadores
Local: Anfiteatro A do CCET
Chair: Márcio Eduardo Kreutz
10:20 - 10:40 - Suporte a Tolerância a Falhas para Aumentar o Desempenho de Redes em Chip. Alba Sandyra Bezerra Lopes, Márcio Eduardo Kreutz e Monica Magalhães Pereira
10:40 - 11:00 - Exploração de Espaço de Projeto utilizando LM-NoC com Avaliação de Algoritmos de Roteamento. Jonathan Wanderley de Mesquita, Marcos Cruz, Monica Magalhães Pereira, Marcio Kreutz e Ana Luisa Medeiros
11:00 - 11:20 - Análise comparativa entre plataformas microcontroladas e de hardware reconfigurável na execução de algoritmos de apoio à detecção de melanoma. Thiago S. Marques, Sidemar F. Cezario, Heliana B. Soares, Monica M. Pereira e Edgard De Faria Correa
11:20 - 11:40 - Ferramenta de Mapeamento em Tempo de Execução Para Arquiteturas ARM e VEX. Dogival Junior, Eliselma Santos e Monica Magalhães Pereira
11:40 - 12:00 - Análise comparativa de DCT em arquiteturas de hardware reconfigurável e em GPU. Matheus Góes, Monica Magalhães Pereira, Bruno Motta de Carvalho e Edgard de Faria Correa
12:00 - 14:00 - Intervalo
14:00 - 16:05 - Linhas de Pesquisa do PPgSC I/ Minicurso 1
Local: Anfiteatro B do CCET
14:00 - 14:25 › LINGUAGENS DE PROGRAMAÇÃO
14:25 - 14:50 › MÉTODOS FORMAIS
14:50 - 15:15 › ALGORITMOS EXPERIMENTAIS
15:15 - 15:40 › ENGENHARIA DE SOFTWARE
15:40 - 16:05 › PROCESSAMENTO GRÁFICO
Ministrante: Professora Claudia Nalon
Local: Anfiteatro A do CCET
In 1965, John A. Robinson published the paper "A Machine-Oriented Logic Based on the Resolution Principle'', launching the basis for automated deduction as we now know it. The resolution principle combines unification on demand together with a cut-elimination rule, building on the theoretical works by Prawitz and Herbrand and also improving on previous automated heuristics for proof search developed by Davis-Putnam. The result is an elegant, easy to implement, sound, and complete proof procedure with only one inference rule for dealing with validity in First-Order logic. In this tutorial, we celebrate the 50th anniversary of Robinson's foundational work by looking at the theory behind resolution-based systems for classical logics (propositional and first-order), the main results concerning the theoretical and practical development of such systems, and the state-of-the-art heuristics that make of this proof procedure one of the most widely implemented and successful tools for Automated Reasoning.
Claudia Nalon possui graduação em Ciência da Computação pela Universidade de Brasília (1993), mestrado em Ciência da Computação pela Universidade Estadual de Campinas (1997) e doutorado em Ciência da Computação pela University of Liverpool (2004). Atualmente é professora adjunta da Universidade de Brasília, tendo atuado como Coordenadora de Graduação do Bacharelado em Ciência da Computação e como Coordenadora de Extensão do Instituto de Ciências Exatas. Atua na área de Teoria da Computação, com interesse, principalmente, em métodos de prova baseados em resolução para combinações de lógicas não-clássicas
16:05 - 18:30 - Cerimônia de Comemoração e Cocktail / Minicurso 1* (*até 17hs)
Local: Anfiteatro B do CCET - Centro de Ciências Exatas e da Terra/UFRN
Ministrante: Professora Claudia Nalon
Local: Anfiteatro A do CCET
In 1965, John A. Robinson published the paper "A Machine-Oriented Logic Based on the Resolution Principle'', launching the basis for automated deduction as we now know it. The resolution principle combines unification on demand together with a cut-elimination rule, building on the theoretical works by Prawitz and Herbrand and also improving on previous automated heuristics for proof search developed by Davis-Putnam. The result is an elegant, easy to implement, sound, and complete proof procedure with only one inference rule for dealing with validity in First-Order logic. In this tutorial, we celebrate the 50th anniversary of Robinson's foundational work by looking at the theory behind resolution-based systems for classical logics (propositional and first-order), the main results concerning the theoretical and practical development of such systems, and the state-of-the-art heuristics that make of this proof procedure one of the most widely implemented and successful tools for Automated Reasoning.
Claudia Nalon possui graduação em Ciência da Computação pela Universidade de Brasília (1993), mestrado em Ciência da Computação pela Universidade Estadual de Campinas (1997) e doutorado em Ciência da Computação pela University of Liverpool (2004). Atualmente é professora adjunta da Universidade de Brasília, tendo atuado como Coordenadora de Graduação do Bacharelado em Ciência da Computação e como Coordenadora de Extensão do Instituto de Ciências Exatas. Atua na área de Teoria da Computação, com interesse, principalmente, em métodos de prova baseados em resolução para combinações de lógicas não-clássicas
8:30 - 9:00 - Credenciamento
Local: Anfiteatro B do CCET - Centro de Ciências Exatas e da Terra/UFRN
9:00 - 10:00 - Conhecendo a Deep Web e o mercado brasileiro do cyber crime
Palestrante: Thiago Ramos
Trend Micro Brasil
Local: Anfiteatro A do CCET
Chair: Marcos Cesar Magruga Alves Pinheiro
Saiba a verdade! Como funciona o mercado da indústria do cybercrime no Brasil, dados atualizados sobre "crime virtual" em nossa região, por que essa atividade tem se tornado uma crescente, porque devemos nos preocupar com este assunto e que medidas podem ser adotadas para minimizar os impactos causados pelo roubo de "informações".
Thiago Ramos: Profissional com 10 anos de experiência em tecnologia da informação sendo 6 anos aplicados a segurança. Graduado em Gestão de Tecnologia da Informação pela Universidade Estácio de Sá, no Rio de Janeiro, integra o time da Trend Micro Brasil a 4 anos participando de importantes projetos ao longo desse período, destaques para a criação de uma estratégia para detecção de ameaças avançadas na Secretaria de Administração Pública do estado da Bahia (ttp://1drv.ms/1K1LPmB) e para o projeto de segurança da informação da primeira zona de exportação do Brasil, localizada em Fortaleza ( http://1drv.ms/1K1Lq3J ). Em 2015 foi condecorado pela Trend Micro, em seu evento anual para colaboradores ocorrido em Dallas, como um dos profissionais de maior destaque no continente americano."
10:00 - 10:20 - Coffee-Break
10:20 - 12:00 - Sessão IV - Algoritmos e Criptografia
Local: Anfiteatro A do CCET
Chair: Antonio Carlos Gay Thomé
10:20 - 10:40 - Uma Introdução a Criptografia: O Algoritmo RSA. Tamara Melo, Iago Dantas e Robson Sousa
10:40 - 11:00 - Uma hibridização do Algoritmo Papílio com o Algoritmo Genético para a criptografia de imagens. Luiz Lopes, Isaac Oliveira e Benjamin Bredegal
11:00 - 11:20 - Problema de Planejamento em Produção de Recursos em Tempo Real. Caio Freitas de Oliveira e Elizabeth Ferreira Gouvêa Goldbarg
11:20 - 11:40 - Estudo Preliminar Sobre a Heurística de Lin-Kernighan para o Caixeiro Viajante Multiobjetivo. Emerson Carvalho
11:40 - 12:00 - Algoritmos Exatos para o Problema Biobjetivo da Arvore Geradora Quadrática em Adjacência de Arestas. Lucas Daniel M. S. Pinheiro, Elizabeth F. G. Goldbarg, Silvia M. D. M. Maia e Marco C. Goldbarg
12:00 - 14:00 - Intervalo
14:00 - 15:20 - Sessão V - Inteligência Artificial e Computação Gráfica
Local: Anfiteatro A do CCET
Chair: Márjory Cristiany da Costa-Abreu
14:00 - 14:20 - A probabilistic analysis of the biometrics menagerie existence in fingerprint data. Márjory Da Costa-Abreu e Rayron Medeiros de Araújo
14:20 - 14:40 - Acquisition and analysis of a new hand-based biometric database: keystroke dynamics. Márjory Da Costa-Abreu e Valmiro Ribeiro Da Silva
14:40 - 15:00 - Métodos de Agrupamentos Para Dados Intervalares Híbridos. Liliane Silva, Ronildo Moura, Anne Canuto, Regivan Santiago e Benjamin Bedregal
15:00 - 15:20 - SALSA – A Simple Automatic Lung Segmentation Algorithm. Addson Costa e Bruno Motta de Carvalho
15:20 - 15:40 - Coffee-Break
15:40 - 18:40 - Minicurso 1/Minicurso 3
Ministrante: Hiago Mayk Gomes de Araújo Rocha
Local: Setor III - sala H4
Python é uma poderosa linguagem usada por grandes empresas e organizações como YouTube, Dropbox, Nokia, Yahoo, Google e Nasa. Python é simples e eficiente, capaz tornar o processo de aprendizagem de programação muito mais fácil. Entre outras características, Python é orientada a objetos, interpretada, interativa e multiplataforma, tem tipos dinâmicos e sintaxe extremamente clara. Para mostrar o potencial desta linguagem, o Workshop DIMAp 30 Anos, em conjunto com o Programa de Educação Tutorial do Curso de Ciência da Computação da UFRN, oferecerá um minicurso introdutório à programação em Python. Neste minicurso, serão apresentadas informações essenciais e suficientes para iniciar o interessado na criação de programas Python, servindo de ponto de partida para quem deseja trabalhar com esta importante linguagem.
Ministrante: Professora Claudia Nalon
Local: Anfiteatro A do CCET
In 1965, John A. Robinson published the paper "A Machine-Oriented Logic Based on the Resolution Principle'', launching the basis for automated deduction as we now know it. The resolution principle combines unification on demand together with a cut-elimination rule, building on the theoretical works by Prawitz and Herbrand and also improving on previous automated heuristics for proof search developed by Davis-Putnam. The result is an elegant, easy to implement, sound, and complete proof procedure with only one inference rule for dealing with validity in First-Order logic. In this tutorial, we celebrate the 50th anniversary of Robinson's foundational work by looking at the theory behind resolution-based systems for classical logics (propositional and first-order), the main results concerning the theoretical and practical development of such systems, and the state-of-the-art heuristics that make of this proof procedure one of the most widely implemented and successful tools for Automated Reasoning.
Claudia Nalon possui graduação em Ciência da Computação pela Universidade de Brasília (1993), mestrado em Ciência da Computação pela Universidade Estadual de Campinas (1997) e doutorado em Ciência da Computação pela University of Liverpool (2004). Atualmente é professora adjunta da Universidade de Brasília, tendo atuado como Coordenadora de Graduação do Bacharelado em Ciência da Computação e como Coordenadora de Extensão do Instituto de Ciências Exatas. Atua na área de Teoria da Computação, com interesse, principalmente, em métodos de prova baseados em resolução para combinações de lógicas não-clássicas
9:00 - 10:00 - Mulher: ocupe o seu espaço, também profissionalmente.
Palestrante: Rosangela Melatto
Diretora de Responsabilidade Social Corporativa da Intel
Local: Anfiteatro A do CCET
Chair: Adja Ferreira de Andrade
Nessa palestra, a convidada, Rosangela Melatto, irá discutir sobre o espaço da mulher no mercado de trabalho, os desafios enfrentados e conquistas alcançadas ao longo dos anos. Apresentando quais as iniciativas que a Intel tem tomado para permitir que a mulher tenha oportunidades iguais no mercado de trabalho.
Rosangela Melatto é Diretora de Responsabilidade Social Corporativa da Intel para a América Latina. Está na companhia desde 1997. Durante sua trajetória cuidou de diversos projetos em comunidades e acredita que as mudanças ocorrem a partir de ações concretas. É a responsável pelas estratégias de sustentabilidade e programas comunitários da empresa em toda a região latinoamericana, gerenciando parcerias internas e externas. É a responsável pelo Programa Women & Girls, uma iniciativa recente da empresa para o empoderamento de jovens e mulheres através da educação e acesso à tecnologia. É graduada em engenharia química e possui mestrado em Comunicação Empresarial.
10:00 - 10:20 - Coffee-Break
10:20 - 12:00 - Linhas de Pesquisa do PPgSC II
Local: Anfiteatro A do CCET
10:20 - 10:45 › FUNDAMENTOS DA COMPUTAÇÃO
10:45 - 11:10 › SISTEMAS INTEGRADOS
11:10 - 11:35 › SISTEMAS DISTRIBUÍDOS
11:35 - 12:00 › INTELIGÊNCIA COMPUTACIONAL
12:00 - 14:00 - Intervalo
14:00 - 15:00 - Demonstrações
Local: Anfiteatro A do CCET
Abordagem heurística e exata para o problema da árvore geradora de rotulação mínima. Thiago Soares Marques, Sidemar Fideles Cezario, Lucas Simonetti Marinho Cardoso e Elizabeth Ferreira Gouvêa
Proposição de Tecnologia Assistiva de Auxílio à Leitura para Deficientes Visuais com Baixa Visão. Anderson Bezerra de Oliveira, Monica Magalhães Pereira e Gustavo Girão
Desenvolvimento de Algoritmos para o Problema da Maior Subsequencia Comum. Luis T. Cunha Neto e Elizabeth Ferreira Gouvêa
Inclusão de Suporte a Metadados a Uma Ferramenta de Suporte Formal ao Desenvolvimento Baseado em Componentes. Dalay Israel de Almeida Pereira e Marcel Vinícius Medeiros Oliveira
Sistema em Arduino de Detecção de Queda para Idosos. João Santana Belau, Diego Oliveira De Lemos e Monica Magalhães Pereira
Connected Garden: Um Jardim Inteligente. Wanderson Ricardo Medeiros, Raul Silveira Silva, Alysson Rafael Olivera Lima e Monica Magalhães Pereira
O Problema do Caixeiro Viajante e Exemplos de Algoritmos. Ronaldo Silveira e Elizabeth Ferreira Gouvêa
Uma implementação verificada de abstração CSP. Francisco José Silva Macário e Marcel Vinícius Medeiros Oliveira
15:00 - 15:20 - Coffee-Break
15:20 - 17:20 - Mesa Redonda - Mulheres na Computação / Minicurso 1
Local: Anfiteatro B do CCET
O comitê do Workshop em colaboração com alunas do curso de Bacharelado em Ciência da Computação e o grupo PyLadies Natal está organizando um mesa redonda para discutir o tema "Mulheres na Computação", levando em consideração a realidade dos cursos de Computação e áreas afins do RN.
Composição:
-Profa Márjory Cristiany da Costa Abreu (DIMAp/UFRN) - presidente da mesa
-Profa Cláudia Ribeiro (IFRN)
-Renata Pitta (Roboeduc)
-Rosangela Melatto (Intel)
-Katyanna Amélia Moura do Nascimento (discente do Bacharelado em Tecnologia da Informação e integrante do PyLadies Natal)
Para participar, além de comparecer ao evento, você também poderá colaborar com a discussão respondendo o questionário até 27/07 disponível em: Formulário "Mulheres na Computação - Em busca da realidade local"
Questionário encerrado! Agradecemos a todos que contribuíram preenchendo o formulário.
Ministrante: Professora Claudia Nalon
Local: Anfiteatro A do CCET
In 1965, John A. Robinson published the paper "A Machine-Oriented Logic Based on the Resolution Principle'', launching the basis for automated deduction as we now know it. The resolution principle combines unification on demand together with a cut-elimination rule, building on the theoretical works by Prawitz and Herbrand and also improving on previous automated heuristics for proof search developed by Davis-Putnam. The result is an elegant, easy to implement, sound, and complete proof procedure with only one inference rule for dealing with validity in First-Order logic. In this tutorial, we celebrate the 50th anniversary of Robinson's foundational work by looking at the theory behind resolution-based systems for classical logics (propositional and first-order), the main results concerning the theoretical and practical development of such systems, and the state-of-the-art heuristics that make of this proof procedure one of the most widely implemented and successful tools for Automated Reasoning.
Claudia Nalon possui graduação em Ciência da Computação pela Universidade de Brasília (1993), mestrado em Ciência da Computação pela Universidade Estadual de Campinas (1997) e doutorado em Ciência da Computação pela University of Liverpool (2004). Atualmente é professora adjunta da Universidade de Brasília, tendo atuado como Coordenadora de Graduação do Bacharelado em Ciência da Computação e como Coordenadora de Extensão do Instituto de Ciências Exatas. Atua na área de Teoria da Computação, com interesse, principalmente, em métodos de prova baseados em resolução para combinações de lógicas não-clássicas
17:20 - 18:20 - Encerramento / Minicurso 1
Local: Anfiteatro B do CCET
Cerimônia de encerramento
Divulgação de melhores trabalhos nas categorias:
1) Melhor Artigo Científico
2) Melhor Artigo de Demonstração
3) Melhor Trabalho de Demonstração pela Escolha da Audiência
Ministrante: Professora Claudia Nalon
Local: Anfiteatro A do CCET
In 1965, John A. Robinson published the paper "A Machine-Oriented Logic Based on the Resolution Principle'', launching the basis for automated deduction as we now know it. The resolution principle combines unification on demand together with a cut-elimination rule, building on the theoretical works by Prawitz and Herbrand and also improving on previous automated heuristics for proof search developed by Davis-Putnam. The result is an elegant, easy to implement, sound, and complete proof procedure with only one inference rule for dealing with validity in First-Order logic. In this tutorial, we celebrate the 50th anniversary of Robinson's foundational work by looking at the theory behind resolution-based systems for classical logics (propositional and first-order), the main results concerning the theoretical and practical development of such systems, and the state-of-the-art heuristics that make of this proof procedure one of the most widely implemented and successful tools for Automated Reasoning.
Claudia Nalon possui graduação em Ciência da Computação pela Universidade de Brasília (1993), mestrado em Ciência da Computação pela Universidade Estadual de Campinas (1997) e doutorado em Ciência da Computação pela University of Liverpool (2004). Atualmente é professora adjunta da Universidade de Brasília, tendo atuado como Coordenadora de Graduação do Bacharelado em Ciência da Computação e como Coordenadora de Extensão do Instituto de Ciências Exatas. Atua na área de Teoria da Computação, com interesse, principalmente, em métodos de prova baseados em resolução para combinações de lógicas não-clássicas
15:20 - 18:20 - Minicurso 1/Minicurso 4
Ministrante: Professora Claudia Nalon
Local: Anfiteatro A do CCET
In 1965, John A. Robinson published the paper "A Machine-Oriented Logic Based on the Resolution Principle'', launching the basis for automated deduction as we now know it. The resolution principle combines unification on demand together with a cut-elimination rule, building on the theoretical works by Prawitz and Herbrand and also improving on previous automated heuristics for proof search developed by Davis-Putnam. The result is an elegant, easy to implement, sound, and complete proof procedure with only one inference rule for dealing with validity in First-Order logic. In this tutorial, we celebrate the 50th anniversary of Robinson's foundational work by looking at the theory behind resolution-based systems for classical logics (propositional and first-order), the main results concerning the theoretical and practical development of such systems, and the state-of-the-art heuristics that make of this proof procedure one of the most widely implemented and successful tools for Automated Reasoning.
Claudia Nalon possui graduação em Ciência da Computação pela Universidade de Brasília (1993), mestrado em Ciência da Computação pela Universidade Estadual de Campinas (1997) e doutorado em Ciência da Computação pela University of Liverpool (2004). Atualmente é professora adjunta da Universidade de Brasília, tendo atuado como Coordenadora de Graduação do Bacharelado em Ciência da Computação e como Coordenadora de Extensão do Instituto de Ciências Exatas. Atua na área de Teoria da Computação, com interesse, principalmente, em métodos de prova baseados em resolução para combinações de lógicas não-clássicas
Ministrantes: Gabriel Vasiljevic e Wanderson Ricardo de Medeiros
Local: Setor III - sala H4
- O que é o Arduino (especificações, modelos, aplicações)
- Como funciona (componentes, IDE, circuitos, noções de eletricidade)
- Linguagem (conceitos, funções e comandos básicos)
- Portas digitais
- Componentes eletrônicos (LEDs, resistores, protoboard, botões)
- Sensores
- Exemplos
Gabriel Alves Vasiljevic Mendes é formado em Bacharelado em Ciência da Computação e mestrando em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte. Foi bolsista do Programa de Educação Tutorial (PET) e atualmente é mestrando do PPgSC/DIMAp/UFRN, bolsista do CNPq, desenvolvendo pesquisa com ênfase em Interface Cérebro-Computador.
Wanderson Ricardo de Medeiros é técnico em Informática pelo Instituto Federal de Educação, Ciência e Tecnologia, Campus Central (2009). Aluno do Curso Bacharelado em Ciência da Computação pela Universidade Federal do Rio Grande do Norte.
1. Melhor Artigo Científico: Métodos de Agrupamentos Para Dados Intervalares Híbridos.
Liliane Silva, Ronildo Moura, Anne Canuto, Regivan Santiago e Benjamin Bedregal
2. Melhor Artigo de Demonstração: Sistema em Arduino de Detecção de Queda para Idosos.
João Santana Belau, Diego Oliveira De Lemos, Álvaro Portela e Monica Magalhães Pereira
3. Melhor Demonstração pela Escolha da Audiência: Sistema em Arduino de Detecção de Queda para Idosos.
João Santana Belau, Diego Oliveira De Lemos, Álvaro Portela e Monica Magalhães Pereira
1.Acessar Página de Login
2.Fazer login com email e senha já cadastrados
3.Clicar em "Meus Cursos e Eventos"
4.Clicar clicar no ícone verde com uma seta branca
5.Clicar em "Imprimir Certificado"
- Atenção: os certificados são emitidos somente via sistema acadêmico e autenticados pelo próprio sistema.
- Será emitido um certificado para o Workshop e um para cada minicurso que você participou (e assinou a lista de presença).
- Em caso de problemas para acessar ou visualizar o certificado, enviar e-mail para dimap30anos@dimap.ufrn.br
Nessa página, compartilhamos fotos de bancas, eventos, colações de grau, etc, do Departamento de Informática e Matemática Aplicada,
com o objetivo de preservar a história do departamento e
compartilhar com todos os momentos que fazem a nossa história!
Tem alguma foto para compartilhar?
Mande um email para dimap30anos@dimap.ufrn.br com a foto ou compartilhe através de algum sistema de armazenamento na nuvem.
Anfiteatro do CCET, UFRN, Lagoa Nova, Natal-RN.
Casa do Código
EDUFRN
Natal Makers
PyLadies
Seja um patrocinador do DIMAP 30 ANOS, envie um e-mail para dimap30anos@dimap.ufrn.br