• Notícias

    O artigo "Nominal C-matching" recebeu o "Best Paper Prize" no CICM 2023, "16th Conference on Intelligent Computer Mathematics", realizado em Cambridge, em setembro de 2023, com dois autores do PPG em Informática: o aluno Gabriel Ferreira Silva e o Prof. Mauricio Ayala-Rincón.   O trabalho, apresenta uma formalização em PVS, resultado de cooperação entre professores do PPG MAT e do PPG INF, e pesquisadores no Imperial College London, King's College London, e RISC/Johannes Kepler University Linz. A formalização do Gabriel está construída sobre uma trama de formalizações computacionais desenvolvida por mais de uma década, que inclui participação de outros doutores egressos de nosso PPG em Informática.

  • Notícias

    A UnB sediará a escola de verão internacional RoME (Robotic Mission Engineering - A Software Engineering for Robotics Summer School) entre os dias 20 a 23 de Fevereiro de 2024. A proposta liderada pela Profa. Genaína Nunes Rodrigues (IE/CIC) para realizar o evento foi selecionada pela ACM (Association for Computing Machinery) e receberá auxílio financeiro da entidade. A escola de verão RoME teve sua primeira edição em 2023. Em 2024, o evento receberá pesquisadores de grande renome internacional em Engenharia de Software como Sebastian Uchitel (Universidad de Buenos Aires - AR), Patrizio Pellicione (GSSI - IT) e, remotamente, Radu Calinescu (University of York, ING). Além disso, o evento contará com parceria de colegas da Universidade Estadual do Ceará. Outro ponto importante é que contará também com a participação de alunos de pós-graduação da Argentina e do Ceará para participarem da segunda edição do RoME. Com foco em estudantes de graduação em estágio inicial de pesquisa quanto alunos de mestrado e doutorado , a escola de verão RoME visa promover a educação, o crescimento acadêmico e alavancar o acesso ao aprendizado e às pesquisas voltadas à engenharia de missões robóticas por meio de abordagens sistemáticas de Engenharia de Software.      #UnB #RoME #EngenhariaDeSoftware #Robótica #Inovação #Tecnologia

  • Notícias

    Palestrantes convidados do UNIF 2023 (The 37th International Workshop on Unification is a satellite event of CADE/FSCD 2023): - Mauricio Ayala-Rincón (Universidade de Brasília - Brasil) - Deepak Kapur (University of New Mexico - USA) Foram apresentados resultados em formalização de raciocínio equacional obtidos na última década por membros do Grupo de Teoria da Computação da UnB, que envolvem participação de alunos e ex-alunos de Mestrado e Doutorado do PPG Informática e do PPG Matemática. Material disponível em: https://project.inria.fr/unif2023/program/   #unb #cic #ppginfo