Programação completa em PDF
Painel
Informática Teórica para como suporte ao conceito de explicabilidade na IA
Data: 17/11/2021, 14h.
Palestras
1 Dilemas éticos para a pesquisa em Inteligência Artificial
A Inteligência Artificial (IA) está em toda parte. Outrora uma vantagem competitiva, a IA é hoje um requisito para empresas nas mais diversas áreas, como saúde, energia e propaganda. A construção de sistemas inteligentes, contudo, pode cristalizar vieses de decisão e preconceitos, com eventuais impactos indesejados e negativos. O objetivo da palestra é discutir os desafios da introdução da IA em nossa sociedade, enfatizando as questões éticas e a responsabilidade humana no uso, implantação e desenvolvimento da área.
Palestrante: Ana Cristina Bicharra Garcia
Ana Cristina Bicharra Garcia é professora titular do Departamento de Informática Aplicada da Universidade Federal do Estado do Rio de Janeiro (UNIRIO), pesquisadora CNPq e Ph.D. em Engenharia pela Stanford University. Cristina ocupou os cargos de professora no departamento de Informática da Universidade Federal Fluminense (UFF) (1996-2017), fundadora e coordenadora do ADDLabs (1996-2017), pesquisadora visitante no MIT Sloan School of Management (2013-2014), no Stanford Center for Integrated Facility Engineering (2002-2003) e na XEROX PARC (1991-1992) em Palo Alto, CA, EUA. É membro do conselho editorial do periódico “Digital Government: Research and Practice” e do “Frontiers in Neuroinformatics”. Desenvolveu cerca de 30 projetos de P&D em Inteligência Artificial , com desenvolvimento de cerca de 2 anos cada, em parceria com empresas, em especial da indústria de petróleo. Orientou 36 mestres e 11 doutores. Publicou cerca de 180 artigos em conferências e periódicos indexados. Possui sólida formação em inteligência artificial, inteligência coletiva e interação humano-computador, desenvolvendo pesquisas multidisciplinares aplicadas. Ela está profundamente empenhada em desenvolver pesquisas de IA que melhorem o bem-estar da sociedade. Seu interesse de pesquisa atual envolve os desafios éticos para o desenvolvimento Inteligência Artificial.
Data: 18/11/2021, 14h.
2 O poderoso encontro de Teoria e Prática na Indústria
Palestrante: Marcel Vinícius Medeiros Oliveira
Marcel Vinícius Medeiros Oliveira é Professor Adjunto do Departamento de Informática e Matemática Aplicada (DIMAp) da Universidade Federal do Rio Grande do Norte (UFRN). Ele possui Bacharelado em Ciência da Computação pela Universidade Federal de Pernambuco (2000), Mestrado em Ciência da Computação pela Universidade Federal de Pernambuco (2002) e é Ph.D. em Ciência da Computação pela Universidade de York, Inglaterra (2006). Atualmente, ele é membro do Instituto Nacional de Engenharia de Software, membro do Comitê Especial de Métodos Formais da Sociedade Brasileira de Computação, membro do Colegiado da Pós-Graduação em Sistemas e Computação (PPgSC) da UFRN, e Coordenador de Cursos Técnicos do Instituto Metrópole Digital da UFRN com cerca de 2000 alunos. Marcel Oliveira tem experiência na área de Ciência da Computação, com ênfase em Métodos Formais. Mais especificamente, sua pesquisa tem focado em cálculo e táticas de refinamentos, concorrência, semântica de linguagens formais, integração de métodos formais e síntese de código a partir de especificações formais. Ele tem ensinado as disciplinas de Banco de Dados, Lógica Aplicada a Engenharia de Software e Métodos Formais.
Data: 19/11/2021, 14h.
Sessões Técnicas
Sessão Técnica 1 – 17 de novembro, das 15h30 às 16h30.
Proposta de Atividades Lúdicas no Minecraft Educacional para a Promoção do Pensamento Computacional | Jonnhy Moraes Marques, Luciana Foss and Simone André Da Costa Cavalheiro |
Gramers: Agentes Pedagógicos para uma plataforma de jogos baseada em Gramática de Grafos | Júlia Veiga da Silva, Braz Araujo da Silva Junior, Luciana Foss and Simone André da Costa Cavalheiro |
A criação de jogos para o ensino de computação: uma análise comparativa | Júlia Veiga da Silva, Braz Araujo Da Silva Junior, Luciana Foss and Simone André Da Costa Cavalheiro |
A-Games: using game-like representation for representing finite automata | Cleyton Slaviero and Edward Hermann Haeusler |
Sessão Técnica 2 – 17 de novembro, das 16h30 às 17h30.
Consolidando a Modelagem do Jogo Aventura Espacial | Yuri da Silva Rosa, Renata Reiser, Simone André Da Costa Cavalheiro, Luciana Foss and André Rauber Du Bois |
Theoretical Computer Science in Basic Education: A Systematic Review | Braz Araujo Da Silva Junior, Simone André Da Costa Cavalheiro and Luciana Foss |
Sintaxe baseada em gramáticas de grafos para uma linguagem funcional visual voltada ao aprendizado de programação | Marina Silva and Ana Paula Ludtke Ferreira |
Estudos sobre o algoritmo de Grover e sua Implementação. | Liliana S. Carmo and Gisele B. Freitas |
On the problem of compensatory mating in animal breeding | Ana Paula Ludtke Ferreira |
Sessão Técnica 3 – 18 de novembro, das 15h30 às 16h30.
Uma análise de técnicas de classificação para predição de valores atribuídos à jogadores no jogo FIFA | Maurício Dorneles Caldeira Balboni, Hélida Santos and Giancarlo Lucca |
An Application for Medical Diagnosis Using Correlation Coefficient With Modal Operators and Operator Identifying and Unary | Alex Bertei, Renata Reiser and Luciana Foss |
Representabilidade de Operadores via Ordens Admissíveis | Lidiane da Silva, Guilherme Schneider, Adenauer Yamin, Helida Santos, Benjamín Bedregal and Renata Reiser |
Uma classificação de vinhos baseada em regras fuzzy utilizando o algoritmo FARC-HD | Vitor Magalhães, Jair González, Giancarlo Lucca, Eduardo Borges and Helida Santos |
CTD WEIT – 18 de novembro, das 16h30 às 17h30.
Uma Tradução de Redes de Petri Fuzzy Generalizadas para Gramáticas de Grafos com Atributos | Júlia Krüger Vieira, Luciana Orientadora Foss and Simone Coorientadora André da Costa Cavalheiro |
An approach for consensual analysis on Typical Hesitant Fuzzy Sets via extended aggregations and fuzzy implications based on admissible orders | Mônica Lorea Matzenauer, Renata Reiser and Helida Santos |
n-Dimensional Fuzzy Implications: Analytical, Algebraic and Applicational Approaches | Rosana Medina Zanotelli, Renata Reiser and Benjamin Bedregal |
Sessão Técnica 4 – 19 de novembro, das 15h30 às 16h30.
Description of Command and Control Networks in Coq | Guilherme Gomes Felix da Silva, Edward Hermann Haeusler and Cláudia Nalon |
A Methodology for Opacity verification for Transactional Memory algorithms using Graph Transformation System | Diogo J. Cardoso, Luciana Foss and Andre R. Du Bois |
Compilação e Execução de código da linguagem QML no Computador Quântico da IBM | João Gabriel da Cunha Schittler and Juliana Vizzotto Kaiser |
Visualização e Extensão de um Verificador de Modelos para a ferramenta Verigraph-GUI | Arthur L. Fuchs, Rodrigo Machado and Leila Ribeiro |
Sessão Técnica 5 – 19 de novembro, das 16h30 às 17h30.
Testando Mecanismos de Refatoração Utilizando Programas Gerados Aleatoriamente | Luiz Felipe Kraus, Bruno Coelho and Samuel da Silva Feitosa |
Desenvolvimento de uma Ferramenta para Teste Diferencial de Compiladores Usando Códigos Gerados Aleatoriamente | Bruno S Coelho, Luiz Felipe Kraus and Samuel da Silva Feitosa |
Implicaçõoes Representáveis por Funções Overlap e Grouping | Alessandra Galvão, Cecilia Botelho, Adenauer Yamin, Helida Santos and Renata Reiser |
Aplicando Análise Consensual Fuzzy para Tomada de Decisão na Alocação de Recursos em Nuvem Computacionais | Guilherme Bayer Schneider, Bruno Moura, Eduardo Monks, Adenauer Yamin, Helida Santos and Renata Reiser |
A New Total Order for Triangular Fuzzy Numbers with an Application | Valentina Rosas, Benjamín Bedregal, José Canumán, Roberto Díaz, Edmundo Mansilla and Nicolás Zumelzu |