Instituto Apoema

Apoema presente na Caravana Finep pelo Brasil

Thu, 19 Mar 2026 13:02:00 -0300

Chamada da Finep apoia projetos inovadores em parceria com empresas, e pesquisadores do podem participar por meio de ICTs

Pesquisadores e pesquisadoras do Instituto de Informática (INF) interessados em desenvolver soluções inovadoras em parceria com empresas devem ficar atentos a uma importante oportunidade de fomento apresentada pela Financiadora de Estudos e Projetos (Finep) durante agenda no "Finep pelo Brasil".

A Seleção Pública tem como objetivo conceder recursos de subvenção econômica para o desenvolvimento de produtos, processos ou serviços inovadores que envolvam risco tecnológico, com foco em projetos executados nas regiões Nordeste, Norte e Centro-Oeste. As propostas apoiadas devem estar enquadradas entre os níveis de maturidade tecnológica TRL 3 a 9.

As iniciativas submetidas precisam estar alinhadas às seis missões estratégicas da política Nova Indústria Brasil, que visam fortalecer a produtividade e a soberania nacional em áreas prioritárias como bioeconomia; saúde; transformação digital; cadeias agroindustriais sustentáveis e infraestrutura urbana.

Atualmente, representantes estão participando do evento "Finep pelo Brasil" no Hub Goiás, em Goiânia, para esclarecer dúvidas sobre o edital e reunir informações complementares sobre a chamada.

Mais informações acesse: http://www.finep.gov.br/chamadas-publicas/chamadapublica/776

Universidades podem participar?

Embora a chamada seja voltada ao apoio de projetos com participação empresarial, as universidades e Instituições Científicas e Tecnológicas (ICTs) também podem participar como parceiras das empresas. Nesse contexto, o INF pode contribuir diretamente no desenvolvimento de produtos, serviços e processos inovadores, fortalecendo a conexão entre pesquisa acadêmica e inovação aplicada.

Apoio aos pesquisadores do INF

Pesquisadores do INF que tiverem interesse em participar da chamada podem procurar o Apoema para receber apoio institucional e esclarecimentos sobre dúvidas específicas relacionadas à participação no edital.

Secretaria de Inovação de Goiânia visita INF/UFG e conhece projetos tecnológicos inovadores

Wed, 12 Feb 2025 17:05:09 -0300

Parceria entre universidade e setor público busca impulsionar inovação e modernizar a administração municipal

A Secretaria de Inovação e Transformação Digital (SIT) da Prefeitura de Goiânia realizou, nesta terça-feira, uma visita ao Instituto de Informática da Universidade Federal de Goiás (INF/UFG). O objetivo foi conhecer de perto os projetos desenvolvidos pelo instituto e explorar possíveis parcerias para aplicação dessas tecnologias na gestão pública.

A recepção aconteceu às 14h30, seguida por uma visita às instalações da Fábrica de Software, do projeto APOEMA e do Núcleo de Redes e Computação (NRC). Além disso, os visitantes acompanharam uma demonstração no Laboratório do Projeto Web 3.0, que explora o uso de inteligência artificial, blockchain e realidade aumentada.

Tecnologia a serviço da inovação

Durante a visita, representantes da UFG apresentaram um portfólio de projetos inovadores, destacando iniciativas que unem pesquisa acadêmica e soluções tecnológicas aplicadas.

🔹 Fábrica de Software – Um ambiente que une ensino, pesquisa e inovação para o desenvolvimento de sistemas institucionais, plataformas educacionais e chatbots voltados à automação de processos.

🔹 APOEMA – Coordenado por Patrícia Galúcio, o projeto busca otimizar e analisar processos administrativos utilizando tecnologia para aumentar a eficiência e a gestão organizacional.

🔹 Instituto AIA – Coordenado por Elisângela Silva Dias, atua em pesquisas voltadas para segurança pública, monitoramento de energia solar e inteligência artificial aplicada à saúde.

🔹 Projeto Web 3.0 – Focado na descentralização da internet e no uso de tecnologias emergentes como blockchain, IA e realidade aumentada.

🔹 Plataformas Inteligentes

dHigeia e dAurora – Desenvolvidos para a ANATEL, utilizam IA e Blockchain para verificar a veracidade de postagens na internet.
Guaiá – Criado para o TRE-GO, combate a disseminação de notícias falsas durante eleições municipais.

🔹 APlus Platform – Uma iniciativa voltada para gestão e otimização de projetos, possibilitando o acompanhamento, desenvolvimento e implementação de soluções tecnológicas em diferentes áreas. O projeto envolve pesquisa e inovação contínuas, preparando novas soluções para o futuro.

Parcerias estratégicas

A visita reforçou a importância da colaboração entre instituições acadêmicas e o setor público na busca por soluções inovadoras. A expectativa é que as tecnologias apresentadas possam contribuir para a modernização da administração pública, melhorando serviços e a experiência dos cidadãos.

Com um forte compromisso com a inovação, o INF/UFG se posiciona como um polo de desenvolvimento tecnológico, capacitando profissionais e criando soluções que impactam diretamente a sociedade.

Veja as fotos da visitação clicando no link - https://drive.google.com/drive/folders/11I9JrnThKnbIx0uPZ-qFXgg2Ls-01TjC?usp=drive_link

Ceres-GO recebe a 12ª Edição da Escola Regional de Informática de Goiás (ERI-GO)

Wed, 04 Dec 2024 16:55:02 -0300

O evento traz temas de ponta em tecnologia, fortalecendo a formação e integração na área de TI.

Nos dias 5 e 6 de dezembro de 2024, a cidade de Ceres-GO será palco da 12ª Edição da Escola Regional de Informática de Goiás (ERI-GO), um dos maiores eventos científicos e acadêmicos da área de Tecnologia da Informação (TI) no estado. Pela primeira vez, o evento será realizado no interior de Goiás, no Instituto Federal Goiano - Campus Ceres, e trará o tema “Computação e Formação Profissional: O Papel da Tecnologia no Desenvolvimento de Goiás”. Promovido pela Sociedade Brasileira de Computação (SBC), o encontro busca fomentar a integração entre instituições de ensino, estudantes, pesquisadores, profissionais e empresas da área de TI.

A programação inclui atividades como minicursos, palestras, painéis, seminários e apresentações de pôsteres. Destaque para os minicursos práticos, que abordarão temas como criação de bots para Discord utilizando Python, uso de LaTeX para elaboração de documentos acadêmicos e técnicos, desenvolvimento de componentes com Angular e treinamento de modelos de inteligência artificial com YOLO para detecção e segmentação de objetos em imagens. As palestras incluem discussões sobre o mercado de trabalho em tecnologia, cidades inteligentes e inteligência artificial, com a participação de profissionais e acadêmicos de renome como Eder Fantini Junqueira, Alexandre Lopes, Valdemar Graciano Neto e Heloisy Rodrigues.

Além disso, o evento promove atividades interativas, como o Escape Room do Dia do Profissional de Informática, painéis sobre curricularização da extensão em cursos de computação e um seminário de inovação para explorar tendências tecnológicas. A realização simultânea com a 8ª Edição da Escola Regional de Sistemas de Informação de Goiás (ERSI-GO) reforça o caráter integrador da iniciativa, ampliando a troca de experiências e ideias entre os participantes.

Com o objetivo de aproximar a academia das demandas do mercado e contribuir para a formação de profissionais na área, a ERI-GO 2024 também destaca a importância do fortalecimento do ecossistema tecnológico de Goiás, em um momento em que o setor enfrenta um déficit crescente de profissionais capacitados, segundo a Associação Brasileira das Empresas de TIC e Tecnologias Digitais (Brasscom).

A 12ª Edição da ERI-GO reafirma seu compromisso em levar conhecimento de ponta para todas as regiões do estado, fortalecendo o papel da tecnologia no desenvolvimento local. Inscreva-se e confira mais detalhes sobre a programação completa no site oficial: Site da Escola Regional de Informática de Goiás - Programação Geral.

Programação dos cursos

Mon, 25 Nov 2024 12:46:41 -0300

Minicursos sobre Inovação Tecnológica e Inteligência Artificial na UFG

Nos dias 25 a 29 de novembro, a Universidade Federal de Goiás (UFG) oferece uma série de minicursos voltados para temas avançados de tecnologia, incluindo inteligência artificial, redes 5G, computação em borda, blockchain e realidade aumentada. Ministrados por especialistas renomados, os cursos são uma excelente oportunidade para os participantes se aprofundarem em tópicos relevantes e atuais. Confira a programação completa:

Programação do dia 25/11 (segunda-feira):

Horário	Nome do Curso	Autores	Resumo do Curso
14h às 16h	MC4 - Interface Natural com Gestos	Isácio Rafael Pereira Galeano, Cássio Leonardo Rodrigues	Capacitação para desenvolver aplicações de RA com reconhecimento de gestos naturais utilizando o Unity e o Meta SDK, integrando interatividade em ambientes imersivos.
16h às 18h	MC3 - Desenvolvendo um Aplicativo Sério de Realidade Virtual com Unity, Meta SDK e API Gemini	Angelo Coronado, Luciana de Oliveira Berretta, Sergio T. Carvalho	Capacitação na criação de aplicativos sérios de realidade virtual, com integração de IA para geração dinâmica de perguntas usando a API Gemini, utilizando Unity e Meta SDK.

Programação do dia 26/11 (terça-feira):

Horário	Nome do Curso	Autores	Resumo do Curso
8h às 10h e 10h às 12h	MC6 - Gente Inteligente Cria Agentes Inteligentes	Karlla Chaves Rodrigues	Exploração da criação e treinamento de agentes inteligentes com redes neurais e técnicas de aprendizado de máquina, com foco em construção e otimização de soluções autônomas.
14h às 16h	MC10 - Guia Prático para Configuração de Rede de Acesso 5G	Luciano de S. Fraga	Introdução à configuração de redes 5G com foco na criação de infraestrutura básica, utilizando ferramentas como free5GC e UERANSIM para simular interações entre o núcleo da rede e dispositivos de usuário.

Programação do dia 27/11 (quarta-feira):

Horário	Nome do Curso	Autores	Resumo do Curso
8h às 10h	MC9 - Computação de Borda com YOLO e CUDA	Karlla Chaves Rodrigues	Continuação do minicurso sobre computação de borda, abordando a integração de YOLO com CUDA para otimização do processamento em dispositivos de borda.
10h às 12h	MC2 - Desenvolvendo Aplicações de Realidade Aumentada com Unity e MetaSDK	Elton Vivot	Capacitação no desenvolvimento de aplicações de realidade aumentada (RA) utilizando Unity e MetaSDK, abordando desde os conceitos básicos até a implementação de funcionalidades interativas.
14h às 16h e 16 às 18h	MC7 - Desenvolvendo Contratos Inteligentes em Blockchain com Hyperledger Fabric - Biblioteca CC-Tools	Matheus Lázaro Honório da Silva, Gislainy Crisostomo Velasco	Exploração do desenvolvimento de contratos inteligentes em blockchain permissionada com Hyperledger Fabric e a utilização da biblioteca CC-Tools para a criação e integração de soluções seguras e escaláveis.

Programação do dia 28/11 (quinta-feira):

Horário	Nome do Curso	Autores	Resumo do Curso
8h às 10h	MC8 - Gêmeos Digitais: Conceitos, Definições e Aplicações Práticas	Rafael Rodrigues Silva, Fábio Moreira Costa	Introdução ao conceito de gêmeos digitais, com foco em sua definição, componentes e aplicações em setores como saúde, indústria, cidades inteligentes e sustentabilidade. Demonstração prática de um gêmeo digital em funcionamento.

Programação do dia 29/11 (sexta-feira):

Horário	Nome do Curso	Autores	Resumo do Curso
8h às 10h e 10h às 12h	MC5 - Domine o RAG: Resolvendo Problemas Reais com LLM e IA Generativa	Jonatas Novais Tomazini, Salvador Ludovico Paranhos, Sávio Salvarino Teles de Oliveira	Capacitação sobre o uso de Retrieval-Augmented Generation (RAG) e Large Language Models (LLMs) para resolver problemas reais, com foco na construção e otimização de aplicações baseadas em IA generativa e soluções em contextos empresariais.

Esses minicursos oferecem uma oportunidade única para adquirir conhecimento prático e atualizado sobre temas emergentes em tecnologia, com a presença de especialistas renomados em suas áreas. Não perca a chance de se aprofundar em tópicos que estão moldando o futuro da tecnologia.

Minicursos do 19º CBS

Thu, 21 Nov 2024 17:17:51 -0300

19º Congresso Brasileiro de Sistemas apresenta minicursos imperdíveis sobre inovação e tecnologia

O 19º Congresso Brasileiro de Sistemas promete ser um evento marcante para quem busca se aprofundar em tecnologias emergentes e tendências que estão moldando o futuro. Este ano, o evento traz uma programação rica em minicursos que abordam temas de vanguarda, oferecendo uma oportunidade única de aprendizado e atualização.

Entre os destaques, estão tópicos como:

Imersividade e experiências digitais
Realidade Aumentada e Virtual
Interfaces naturais baseadas em gestos
Definição e desenvolvimento de Gêmeos Digitais
Computação de borda com YOLO e CUDA
Tecnologias de Blockchain
Introdução a Modelos de Linguagem de Grande Escala (LLM)
Criação e uso de agentes inteligentes
Configuração prática de redes de acesso 5G

Os minicursos foram planejados para atender acadêmicos, profissionais e entusiastas, com foco em aplicações práticas e discussão de conceitos avançados. Além disso, o evento oferece uma plataforma para troca de experiências e networking no HUB GOIÁS, um espaço ideal para conectar mentes inovadoras.

Participe dessa jornada de aprendizado que combina tecnologia, inovação e colaboração! Para saber mais e garantir sua inscrição, acesse: www.19cbs.inf.ufg.br

Parceria firmada

Tue, 12 Nov 2024 15:23:22 -0300

Prefeitura de Goiânia e UFG unem forças para gestão pública com IA

A Prefeitura de Goiânia, por meio da Secretaria Municipal de Finanças, oficializou no dia 6 de setembro de 2024 um convênio com a Universidade Federal de Goiás (UFG), representada pelo Centro de Excelência em Inteligência Artificial (CEIA). O objetivo dessa parceria é implantar uma solução tecnológica de inteligência artificial que modernize e potencialize a gestão pública, com ênfase na eficiência tributária e na análise de dados imobiliários.

Com o projeto “Inteligência Artificial para Análise de Documentos no Contexto da Secretaria Municipal de Finanças”, a prefeitura utilizará algoritmos avançados para automatizar o processamento de informações, visando maior precisão na arrecadação de impostos, como o IPTU. A nova tecnologia permitirá uma análise detalhada e contínua dos imóveis da cidade, identificando áreas de potencial arrecadatório e promovendo o combate à evasão fiscal. O uso de IA também otimizará o mapeamento de uso do solo, apoiando políticas públicas de forma estratégica e embasada em dados.

O convênio prevê que a UFG contribua com especialistas em inteligência artificial, estrutura computacional e desenvolvimento dos algoritmos, enquanto a Secretaria de Finanças fornecerá os dados e apoio administrativo necessários. A tecnologia aplicada permitirá não apenas a integração e atualização dos dados municipais, mas também uma verificação cruzada com outras fontes de informações, garantindo maior transparência e agilidade na gestão pública.

A parceria entre a Prefeitura de Goiânia e a UFG destaca o comprometimento com a inovação e o avanço digital, colocando Goiânia na vanguarda do uso de IA na administração pública, o que resulta em maior eficiência e no fortalecimento da transparência e governança municipal.

II Workshop do LABJIS/INF

Thu, 07 Nov 2024 14:53:54 -0300

Inovação, Jogos e Saúde em Foco

O Laboratório de Jogos, Informática e Saúde (LABJIS) convida a comunidade acadêmica e interessados a participar do II Workshop do LABJIS, que será realizado no dia 12 de novembro, no Instituto de Informática da UFG. O evento acontecerá na Sala 150, e reunirá pesquisadores, desenvolvedores e profissionais das áreas de jogos digitais, saúde e acessibilidade.

A programação será composta por uma série de painéis e apresentações que destacam os principais projetos em andamento no LABJIS. O evento traz uma oportunidade única de conhecer iniciativas inovadoras nas áreas de tecnologia e saúde, com foco na acessibilidade e no impacto positivo que os jogos digitais podem ter no bem-estar e qualidade de vida das pessoas.

Entre os destaques do workshop, está a apresentação do projeto We Make Digital Games (WMDG), que tem sido uma das principais iniciativas do laboratório. Durante o evento, os participantes poderão conhecer melhor a trajetória do WMDG, desde sua criação até as principais edições, com ênfase nas experiências e aprendizados adquiridos ao longo do tempo.

Além disso, haverá um pitch dos projetos em andamento, onde pesquisadores e desenvolvedores compartilharão uma visão geral sobre as iniciativas que estão sendo trabalhadas no LABJIS, abordando temas como gamificação, jogos educativos e soluções tecnológicas para a saúde.

A programação também contará com a participação especial ao vivo no programa Mundo TV UFG, permitindo uma interação ainda maior com o público e o compartilhamento de insights sobre as pesquisas realizadas.

Não perca a oportunidade de se atualizar sobre as inovações nas áreas de jogos digitais e saúde! O II Workshop do LABJIS é uma excelente oportunidade para trocar ideias, aprender com especialistas e conhecer as últimas novidades sobre o uso de tecnologia em benefício da sociedade.

Data: 12 de novembro
Horário: A partir das 9h
Local: Instituto de Informática - Sala 150, UFG

Participe e se inspire!

APlus Platform

Thu, 07 Nov 2024 14:47:13 -0300

Novas Ferramentas e Parceria com a CAPES para Inovação no Ensino de Matemática

A APlus Platform, plataforma de ferramentas educacionais digitais, acaba de anunciar uma série de melhorias significativas em seus produtos, com foco na personalização do ensino e na expansão de seus recursos. Essas mudanças são parte de uma parceria estratégica com a CAPES (Coordenação de Aperfeiçoamento de Pessoal de Nível Superior), que irá apoiar a disseminação da ferramenta APlus Dicas para o Ensino Fundamental II, focando no conteúdo de matemática.

A seleção da APlus Dicas no Edital Inova EaD 15/2023 da CAPES representa um marco importante para a plataforma, com vigência prevista de 2024 a 2025. O objetivo é proporcionar aos professores e alunos mais ferramentas para melhorar o aprendizado, alinhadas à Base Nacional Comum Curricular (BNCC).

Além disso, a plataforma está aprimorando suas ferramentas existentes. A APlus Dicas, APlus Exemplo e APlus Prática estão sendo atualizadas com novos algoritmos que permitem maior personalização, ajustando o ritmo de aprendizagem conforme as necessidades de cada usuário. A APlus também está finalizando o desenvolvimento da ferramenta APlus SimSiSU, que será voltada para ajudar vestibulandos na escolha de cursos universitários.

Para complementar as inovações, a APlus expandiu sua presença online. A plataforma agora conta com um novo blog educacional, otimizado com técnicas de SEO pela agência QMIX Digital, que visa atrair mais visitantes e aumentar a visibilidade das ferramentas. O canal da APlus no YouTube também foi renovado, com a aplicação de estratégias semelhantes para otimizar vídeos educacionais e alcançar um público ainda maior.

Essas melhorias colocam a APlus em uma posição de destaque no cenário educacional digital brasileiro, oferecendo recursos gratuitos que auxiliam no desenvolvimento do raciocínio lógico dos estudantes e otimizam o tempo dos professores. Com o suporte da CAPES e uma presença digital crescente, a APlus Platform se consolida como uma ferramenta essencial para a educação no país.

Para mais informações sobre as ferramentas e conteúdos educacionais da APlus Platform, acesse - www.aplusplatform.com.

Maratona de Programação 2024

Tue, 05 Nov 2024 17:33:05 -0300

Concentração, criatividade e inovação definem os vencedores

A Maratona de Programação 2024, um dos eventos mais aguardados por estudantes e profissionais da área de tecnologia, aconteceu com grande sucesso na Universidade Federal de Goiás (UFG) entre os dias 25 e 28 de setembro. Organizado pela Sociedade Brasileira de Computação (SBC), o evento reuniu equipes de todo o Brasil em uma competição de alta intensidade, onde estudantes enfrentaram desafios de lógica e programação em tempo real.

A maratona, que já é tradicional no cenário nacional, tem como objetivo principal estimular a criatividade, o trabalho em equipe e a habilidade de resolução de problemas complexos sob pressão. Neste ano, mais de 500 equipes participaram, representando universidades e centros de ensino técnico de todo o país. A competição foi composta por diversas provas, cada uma com desafios exclusivos, que exigiram dos competidores não só conhecimentos técnicos, mas também uma capacidade de raciocínio rápido e uma boa dose de estratégia.

As equipes participantes passaram por um teste árduo que envolveu problemas de algoritmos, estruturas de dados e até questões de matemática aplicada à programação. As provas foram avaliadas em tempo real, e a precisão e a eficiência do código foram os principais critérios de avaliação.

Ao final da competição, as equipes que se destacaram foram premiadas com troféus e certificados, e as melhores equipes de cada categoria ganharam a chance de representar o Brasil em competições internacionais de programação, como o ACM ICPC (International Collegiate Programming Contest), um dos maiores eventos de programação do mundo.

Além da disputa técnica, o evento também proporcionou momentos de integração e troca de experiências entre estudantes e profissionais da área, destacando a importância da educação em tecnologia para o desenvolvimento de soluções inovadoras no Brasil. De acordo com o coordenador do evento, Professor Ricardo Franco, a Maratona de Programação tem se consolidado como um evento estratégico para capacitar e motivar a próxima geração de programadores e desenvolvedores.

Para as equipes vencedoras, o prêmio vai além da recompensa material; ele representa uma porta de entrada para futuras oportunidades de carreira. Muitas das equipes premiadas já estão sendo procuradas por empresas de tecnologia, que têm se mostrado cada vez mais atentas ao talento jovem revelado nesses eventos.

A Maratona de Programação 2024 também foi uma vitrine para a inovação tecnológica no Brasil, mostrando que o país possui um imenso potencial na formação de profissionais qualificados e criativos para o mercado de trabalho. Para os organizadores, o evento reforçou a importância da educação tecnológica como pilar fundamental para o crescimento do setor de TI no Brasil.

A edição deste ano também foi marcada por um forte espírito de colaboração, com estudantes de diferentes instituições trabalhando juntos para resolver os desafios apresentados, o que destaca a crescente cultura de cooperação no meio acadêmico e profissional de TI. Ao final, ficou claro que a Maratona de Programação 2024 não é apenas uma competição, mas um movimento que fomenta a inovação e a criação de soluções para os desafios tecnológicos do futuro.

Com os resultados já divulgados e as equipes campeãs celebradas, a expectativa para a próxima edição da Maratona de Programação já começa a crescer. As equipes vencedoras da edição de 2024, além de receberem os prêmios em mãos, se preparam agora para os desafios internacionais.

LSFA 2024

Tue, 05 Nov 2024 17:26:17 -0300

Goiânia Recebeu o 19º Workshop Internacional sobre Frameworks Lógicos e Semânticos

Entre os dias 18 e 20 de setembro de 2024, Goiânia foi palco do 19º Workshop Internacional sobre Frameworks Lógicos e Semânticos (LSFA 2024), evento que reuniu especialistas, pesquisadores e profissionais das áreas de lógica formal, semântica e sistemas computacionais. O workshop teve como foco a apresentação de novas técnicas e avanços na aplicação de frameworks lógicos para a especificação formal de sistemas e linguagens de programação, além de discutir suas implementações em diferentes contextos da computação moderna.

O LSFA 2024 trouxe uma programação intensa e diversificada, com palestras principais, sessões técnicas e minicursos voltados para os desafios teóricos e práticos de sistemas lógicos. Pesquisadores de renome internacional compartilharam suas descobertas em áreas como teoria da prova, dedução equacional, sistemas de reescrita, razonamento automatizado e concorrência computacional, com o objetivo de promover a integração entre teoria e prática no desenvolvimento de novas ferramentas e tecnologias.

Durante o evento, os participantes puderam explorar temas emergentes da lógica computacional, como lógica de tipos, razonamento automático, e verificação formal de sistemas. As discussões sobre como essas abordagens podem ser aplicadas no desenvolvimento de sistemas mais seguros e eficientes para inteligência artificial e automação de processos foram destaque na programação. Também foram abordados temas relacionados à programação concorrente e teoria dos sistemas distribuídos, áreas com grande impacto no desenvolvimento de soluções de software mais robustas e escaláveis.

Um dos principais objetivos do LSFA 2024 foi a troca de experiências entre acadêmicos e profissionais da área. Os participantes tiveram a oportunidade de discutir a implementação prática dos frameworks lógicos em diversas tecnologias emergentes, como a inteligência artificial, aprendizado de máquina, e automação de processos empresariais.

O evento teve grande relevância tanto para os participantes locais quanto para os internacionais. Realizado em Goiânia, cidade que se destaca no Brasil pelo seu crescimento nas áreas de tecnologia e pesquisa acadêmica, o LSFA 2024 foi um marco importante para consolidar a cidade como um centro de inovação tecnológica e desenvolvimento científico.

O workshop não só proporcionou a troca de conhecimentos e experiências, mas também contribuiu para estreitar as relações entre pesquisadores brasileiros e internacionais, promovendo novas colaborações acadêmicas e ampliando as redes de pesquisa em lógica computacional e teoria da computação.

O LSFA é um evento tradicional na área de lógica computacional, tendo ocorrido em diversas cidades ao redor do mundo, como Roma (Itália) em 2023 e Belo Horizonte (Brasil) em 2022. A edição de 2024, realizada em Goiânia, foi a mais recente de uma série de encontros que têm se consolidado como um dos maiores eventos para profissionais e acadêmicos interessados em frameworks lógicos e suas aplicações práticas.

Este evento teve um grande impacto na comunidade científica, ao promover discussões sobre os avanços teóricos e as aplicações práticas de frameworks lógicos e semânticos, que são fundamentais para a evolução de áreas como programação de sistemas, verificação formal e razonamento automatizado.

O LSFA 2024 em Goiânia foi um grande sucesso, consolidando ainda mais a importância de frameworks lógicos na pesquisa e no desenvolvimento de tecnologias de ponta. O evento possibilitou não apenas uma atualização sobre os principais avanços teóricos da área, mas também permitiu que os participantes vissem de perto como essas inovações estão sendo aplicadas em sistemas computacionais reais.

Além disso, o LSFA 2024 fortaleceu a posição de Goiânia como um polo de inovação acadêmica e científica, conectando pesquisadores de várias partes do mundo e criando um ambiente propício à troca de conhecimentos e à colaboração internacional. Com isso, o evento se estabeleceu como um marco na comunidade de lógica computacional e certamente gerou frutos para futuras pesquisas e colaborações na área.