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 e praticantes para promover novas técnicas e resultados, do lado teórico, e feedback sobre a implementação e uso de tais técnicas e resultados, do lado prático.
Os frameworks lógicos e semânticos são linguagens formais usadas para representar lógicas, linguagens e sistemas. Esses frameworks fornecem fundamentos para a especificação formal de sistemas e linguagens de programação, apoiando o desenvolvimento e o raciocínio de ferramentas.
