CIC representado entre os palestrantes convidados da 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning - LPAR 2023
O CIC esteve representado entre os palestrantes convidados de LPAR 2023:
- Konstantin Korovin (University of Manchester - Reino Unido);
- Mauricio Ayala-Rincón (Universidade de Brasília - Brasil);
- Marijn Heule (Carnegie Mellon University - USA);
- Roderick Bloem (Graz University of Technology - Áustria).
Foram apresentados resultados relacionados com formalização algébrica no assistente de demonstração PVS. Material disponível nos anais do evento: https://easychair.org/smart-program/LPAR2023/index.html
#unb #cic #ppginfo