18 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
8. Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019
   2019 · Natal, Brazil
   Computer and information sciences
   e11h2ew
9. Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, September 26-28, 2018
   2018 · Fortaleza, Brazil
   Computer and information sciences
   e120p9m
10. 12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017
    2017 · Brasília, Brazil
    Computer and information sciences
    e120p5w
11. 11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016
    2016 · Porto, Portugal
    Computer and information sciences
    e120nz8
12. Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2015, Natal, Brazil, August 31 - September 1, 2015
    2015 · Natal, Brazil
    Computer and information sciences
    e120nqr
13. Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014
    2014 · Brasília, Brazil
    Computer and information sciences
    e120ncf
14. Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013
    2013 · São Paulo, Brazil
    Computer and information sciences
    e120n5x
15. Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010
    2010 · Natal, Brazil
    Computer and information sciences
    e120m5y
16. Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009
    2009 · Brasília, Brazil
    Computer and information sciences
    e120kvj
17. Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008
    2008 · Salvador, Brazil
    Computer and information sciences
    e120kk2
18. Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007
    2007 · Ouro Preto, Brazil
    Computer and information sciences
    e120jdg

As JSON: https://labs.confref.org/api/search?series=s10df2h