Events (17)
20072025
| Year | No. | Event | Place | Date |
|---|
| 2025 | | Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025, Brasilia, Brazil, October 7-8, 2025. | Brasília | |
| 2024 | 19 | Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2024, Goiânia, Brazil, 18th-20th September 2024. | Goiânia | |
| 2023 | | 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. | France | |
| 2022 | 17 | Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2022, Belo Horizonte, Brazil (hybrid), 23-24 September 2022. | Belo Horizonte | |
| 2021 | 16 | Proceedings 16th Logical and Semantic Frameworks with Applications, LSFA 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021. | Buenos Aires | |
| 2020 | 15 | Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020 | | |
| 2019 | 14 | Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019 | Natal | |
| 2018 | 13 | Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, September 26-28, 2018 | Fortaleza | |
| 2017 | 12 | 12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017 | Brasília | |
| 2016 | 11 | 11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016 | Porto | |
| 2015 | | Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2015, Natal, Brazil, August 31 - September 1, 2015 | Natal | |
| 2014 | | Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014 | Brasília | |
| 2013 | 8 | Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013 | São Paulo | |
| 2010 | | Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010 | Natal | |
| 2009 | | Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009 | Brasília | |
| 2008 | | Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008 | Salvador | |
| 2007 | | Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007 | Ouro Preto | |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.
