19th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2024)
Please consider submitting a paper to the Workshop on Logical and Semantic Frameworks with Applications (LSFA) 2024 in Goiânia, Brazil; submission deadline June 7, 2024 (abstracts May 31, 2024).