13 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. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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?kind=event&series=s10df2h&country=BR