Programação
| Horário | Quarta, 10/09 | Quinta, 11/09 | Sexta, 12/09 |
|---|---|---|---|
| 8h30-9h | Credenciamento | ||
| 9h-10h15 | Mini-curso 1: Introdução à Computação Quântica com Jogos e IBM Qiskit (parte 1) | Mini-curso 2: Coloração de grafos: quando matemática e beleza se encontram (parte 1) | Mini-curso 3: Programação de Agentes Autônomos usando framework em Python (parte 1) |
| 10h15-10h30 | Coffee-Break | ||
| 10h30-12h | Mini-curso 1: Introdução à Computação Quântica com Jogos e IBM Qiskit (parte 2) | Mini-curso 2: Coloração de grafos: quando matemática e beleza se encontram (parte 2) | Mini-curso 3: Programação de Agentes Autônomos usando framework em Python (parte 2) |
| 13h30-14h | Cerimônia de abertura | ||
| 14h-15h | Palestra 1: Computação Quântica e Computação Flexível: Sinergia e Desafios, Profª Renata Reiser (UFPel) | Palestra 2: Computação Teórica: Ensino e Divulgação Acessível, Prof. André Vignatti (UFPR) | Palestra 3: Agentes Autônomos Neuro-Simbólicos, Prof. Rafael Cardoso (University of Aberdeen, Escócia) |
| 15h-15h30 | Coffee-Break | ||
| 15h30-17h | ST1 | ST3 | ST5 |
| 17h-18h30 | ST2 | ST4 | ST6 |
| Título | Tipo | Área | Horário Início | Apresentador |
|---|---|---|---|---|
| Impacto das Generalizações da Integral de Choquet no Modelo ML TSKC FS: Um análise comparativo | Completo | Modelagem e simulação computacional | 15:30 | Karina Vargas |
| Sistema Fuzzy de Tutor Educativo Inteligente de Matematica | Completo | Matemática computacional | 15:50 | Emiliano Barboza |
| Análise do IMZ-Algoritmo com Simulacão via Qiskit | Completo | Modelos e fundamentos da computação | 16:10 | Eduardo Buss |
| Paralelos conceituais entre as teorias de aprendizagem de robert gagné e jean piaget e os algoritmos genéticos: uma arquitetura híbrida para sistemas de recomendação adaptativos, integrando o potencial da lógica fuzzy | Curto | Inteligência artificial | 16:30 | André de Campos |
| Choquet Fuzzy n-dimensional | Curto | Lógica computacional | 16:45 | Rosana Zanotelli |
| Título | Tipo | Área | Horário Início | Apresentador |
|---|---|---|---|---|
| Uma Revisão da Literatura em Sistemas Quantum-Fuzzy | Completo | Modelos e fundamentos da computação | 17:00 | Gabriel Silva |
| Modelo SEIR com Parâmetros Fuzzy Aplicado à Mpox: Uma Abordagem para Incertezas Epidemiológicas | Completo | Modelagem e simulação computacional | 17:20 | Antonio Oliveira |
| Hybrid-FLBCC: Integrando Aprendizado de Máquina e Lógica Fuzzy para Consolidação de Servidores em Nuvem | Completo | Lógica computacional | 17:40 | Rafael Bastos |
| Proposta de Atividade sobre Árvores Binárias para o 5º Ano do Ensino Fundamental | Curto | Educação nos fundamentos da computação | 18:00 | Simone Cavalheiro |
| Introducing Finite Automata in Basic Education: A Work-in-Progress Proposal | Curto | Educação nos fundamentos da computação | 18:15 | Júlia Silva |
| Título | Tipo | Área | Horário Início | Apresentador |
|---|---|---|---|---|
| FuzzyFeatureMap: Uma Codificação Quântica Baseada em Amplitudes para Representações Fuzzy em Modelos VQC | Completo | Modelos e fundamentos da computação | 15:30 | Cecilia Botelho |
| Análise Exploratória de Dados do StreamDataNetClass | Completo | Inteligência artificial | 15:50 | Gabriel Silva |
| Estudo de Casos para Consolidação de Servidores na Computação em Nuvem baseada em ANFIS | Completo | Lógica computacional | 16:10 | Juliano Buss |
| Adaptações no jogo Elementais RPG para explicitar os conceitos do Pensamento Computacional | Curto | Educação nos fundamentos da computação | 16:30 | Simone Cavalheiro |
| Explorando Perturbações Adversariais em BCIs via Detectores Baseados em Sistemas Fuzzy | Curto | Inteligência artificial | 16:45 | Beatriz Conceição |
| Título | Tipo | Área | Horário Início | Apresentador |
|---|---|---|---|---|
| Towards Convolutional Neural Networks for Diabetic-Retinopathy Detection | Completo | Inteligência artificial | 17:00 | Vitor Oliveira |
| Aplicação de Aprendizado de Máquina no Auxílio ao Diagnóstico de Doenças Renais Crônicas | Completo | Inteligência artificial | 17:20 | João Moreira |
| Impacto do pré-processamento em datasets de sentimento de e-commerce em português | Completo | Inteligência artificial | 17:40 | Diego Bottero |
| Batalha Computacional: Desenvolvimento de um Jogo Educacional Voltado ao Pensamento Computacional | Curto | Educação nos fundamentos da computação | 18:00 | Igor Valerão |
| Sistema Fuzzy de Tutor Educativo Inteligente de Matemática | Curto | Modelagem e simulação computacional | 18:15 | Emiliano Barboza |
| Título | Tipo | Área | Horário Início | Apresentador |
|---|---|---|---|---|
| Pensamento Computacional: Interfaces entre Letramento Digital e Educação Crítica na civilização tecnológica. | Completo | Educação nos fundamentos da computação | 15:30 | Samuel Fonteles |
| Comparações de LLMs com RAG para o aprendizado de conceitos de agente BDI | Completo | Inteligência artificial | 15:50 | Natália Goes |
| Classificação de Trabalhos em Inteligência Artificial Neuro-Simbólica a partir das Taxonomias de Kautz e de Bader & Hitzler | Completo | Inteligência artificial | 16:10 | Thomas Derkascz |
| Suporte à tomada de decisões em gestão pública municipal por meio de Mineração de Processos reativa e preditiva | Curto | Inteligência artificial | 16:30 | Rafael Xavier |
| Grafos de Dijkstra: Avaliação de Curtos-Circuitos | Curto | Lógica computacional | 16:45 | Matheus Telles |
| Título | Tipo | Área | Horário Início | Apresentador |
|---|---|---|---|---|
| Do Código à Interação Visual: Um Mapeamento Sistemático da Literatura como Base para a Plataforma de Simulação MAVIS | Completo | Modelagem e simulação computacional | 17:00 | Luiz Monteiro |
| Análise Comparativa de Desempenho e Arquitetura dos Frameworks Multiagentes MASPY e SPADE | Completo | Linguagens | 17:20 | Guilherme Cerdeira |
| Protótipo de interface Web para o framework MASPY | Curto | Linguagens | 17:40 | Leonardo Lopes |
| Uma Proposta de Tradução de Autômatos Temporais para Agentes BDI | Curto | Verificação formal de sistemas | 18:00 | Lucas Karau |