O LSFA (13th Workshop on Logical and Semantic Frameworks, with Applications) é um evento internacional da área de lógica aplicada, métodos formais e teoria da computação que ocorrerá nos dias 26, 27 e 28 de setembro no auditório do Departamento de Computação do Campus do Pici.
Confira a programação e participe!