[gtranslate]
O CIC esteve representado nos palestrantes convidados do UNIF 2023
O Departamento de Ciência da Computação da UnB esteve representado no seleto quadro de palestrantes convidados do UNIF 2023 (The 37th International Workshop on Unification), evento satélite das prestigiadas conferências CADE/FSCD 2023.
Os dois conferencistas convidados da edição foram:
- Mauricio Ayala-Rincón (Universidade de Brasília – Brasil)
- Deepak Kapur (University of New Mexico – EUA)
Na apresentação, foram detalhados os resultados em formalização mecânica de raciocínio equacional obtidos na última década pelos pesquisadores do Grupo de Teoria da Computação da UnB, envolvendo participação ativa de discentes e egressos de mestrado e doutorado do PPG em Informática e do PPG em Matemática.
O material e a programação completa estão disponíveis no portal do evento na INRIA.
#unb #cic #ppginfo