DCC/UFMG sedia 17º Workshop Internacional de Estruturas Lógicas e Semânticas, com Aplicações
O Departamento de Ciência da Computação (DCC) da UFMG está sediando, nesta sexta-feira, 23, e sábado, 24, o 17º Workshop Internacional de Estruturas Lógicas e Semânticas, com Aplicações (LSFA). O evento foi organizado pelos professores Haniel Moreira Barbosa e Mário Sérgio Alvim, com o apoio da equipe administrativa do Departamento, tem por objetivo reunir teóricos […]
O Departamento de Ciência da Computação (DCC) da UFMG está sediando, nesta sexta-feira, 23, e sábado, 24, o 17º Workshop Internacional de Estruturas Lógicas e Semânticas, com Aplicações (LSFA). O evento foi organizado pelos professores Haniel Moreira Barbosa e Mário Sérgio Alvim, com o apoio da equipe administrativa do Departamento, tem por objetivo reunir teóricos










