[gtranslate]
CIC representado entre os palestrantes convidados da LPAR 2023
O Departamento de Ciência da Computação marcou presença de vanguarda entre os oradores convidados da 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2023).
O quadro de conferencistas convidados reuniu importantes referências da lógica e inteligência artificial:
- Konstantin Korovin (University of Manchester – Reino Unido)
- Mauricio Ayala-Rincón (Universidade de Brasília – Brasil)
- Marijn Heule (Carnegie Mellon University – EUA)
- Roderick Bloem (Graz University of Technology – Áustria)
Na sua intervenção, foram apresentados avanços na formalização de estruturas algébricas utilizando o assistente de demonstração interativo PVS. O material detalhado e os artigos podem ser consultados nos Anais da LPAR 2023 no EasyChair.
#unb #cic #ppginfo