19th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2024)