7 results · clear filters Sort: newest oldest name

1. Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025, Brasilia, Brazil, October 7-8, 2025.
   2025 · Brasília, Brazil
   Computer and information sciences
   e1211s6
2. Workshop on Logical and Semantic Frameworks with Applications (LSFA) (LSFA)
   series, 17 events, 2007 to 2025
   Computer and information sciences
   s10df2h
3. Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2024, Goiânia, Brazil, 18th-20th September 2024.
   2024 · Goiânia, Brazil
   Computer and information sciences
   e1211gr
4. Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, LSFA/HCVS 2023, and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, July 1-2, 2023 & April 23, 2023.
   2023 · France
   Computer and information sciences
   e1210v3
5. Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2022, Belo Horizonte, Brazil (hybrid), 23-24 September 2022.
   2022 · Belo Horizonte, Brazil
   Computer and information sciences
   e12103m
6. Proceedings 16th Logical and Semantic Frameworks with Applications, LSFA 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021.
   2021 · Buenos Aires, Argentina
   Computer and information sciences
   e120zht
7. Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020
   2020
   Computer and information sciences
   e11h2ft

As JSON: https://labs.confref.org/api/search?series=s10df2h&from=2020&to=2029