• Notícias

    O evento RISC-V Brazil ocorreu no Instituto Eldorado, Campinas, nos dias 03 e 04/07/2025. O RISC-V é um padrão aberto de Instruction Set Architecture (ISA) que permite o desenvolvimento de chips (CPU, GPU, IoT). O evento reuniu representantes da academia, empresas e governo pois o RISC-V é independente de fabricante, o que contribui bastante para a soberania dos países. Por essa razão, o RISC-V tem atraído a atenção da Comunidade Européia, India, China e Brasil, dentre outros. No dia 04/07/2025, a Prof. Alba ministrou palestra sobre as iniciativas da UnB com RISC-V e fez contatos para colaboração no desenvolvimento de aplicações de Computação de Alto Desempenho (HPC) para RISC-V. 

  • Notícias

    Trabalho coautorado por membros do PPGI recebeu menção honrosa no 17th NASA Formal Methods Symposium. O trabalho Verification of an Anti-unification Algorithm in PVS foi um dos destaques do evento.

  • Notícias

         O Instituto de Ciências Exatas, em parceria com o MCTI, LNCC e NVidia, vai organizar o Seminário sobre Grandes Modelos de Linguagem para o Português Brasileiro nos dias 23 e 24/06/2025. Informações e inscrições no site https://www.gov.br/lncc/pt-br/assuntos/eventos/seminarios/seminario-sobre-grandes-modelos-de-linguagem-para-portugues-brasileiro