| Event | When | Where | Deadline | |
| COMPUTATION TOOLS 2025 |
The Sixteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking | |
| Apr 6, 2025 - Apr 10, 2025 |
Valencia, Spain |
Dec 3, 2024 |
| SLIE 2025 |
Semantic, Logics, Information Extraction and AI (SLIE) | |
| May 20, 2025 - May 23, 2025 |
Daytona Beach (Florida) |
Jan 27, 2025 (Jan 20, 2025) |
| Expired CFPs |
| SLIE 2024 |
Semantic, Logics, Information Extraction and AI (SLIE) | |
| May 18, 2024 - May 21, 2024 |
Miramar Beach (Florida) |
Jan 29, 2024 (Jan 22, 2024) |
| DAV 2023 |
Deep Learning-aided Verification | |
| Jul 16, 2023 - Jul 16, 2023 |
Paris, France |
May 3, 2023 |
| SLIE 2023 |
Semantic, Logics, Information Extraction and AI (SLIE) | |
| May 14, 2023 - May 17, 2023 |
Clearwater Beach, FL, USA |
Feb 13, 2023 (Feb 6, 2023) |
| SLIE 2022 |
Semantics, Logics, Information Extraction and AI | |
| May 15, 2022 - May 18, 2022 |
Hutchinson Beach |
Jan 24, 2022 (Jan 17, 2022) |
| CIFMA 2021 |
3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications | |
| Dec 6, 2021 - Dec 6, 2021 |
VIRTUAL EVENT |
Oct 1, 2021 (Sep 24, 2021) |
| GandALF 2021 |
International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 20, 2021 - Sep 22, 2021 |
Padua |
Jul 7, 2021 (Jun 30, 2021) |
| REAL INNOVATION 2019 |
REAL INNOVATION Rio de Janeiro | December 2019 | |
| Dec 8, 2019 - Dec 13, 2019 |
Rio de Janeiro |
Nov 20, 2019 |
| GandAlf 2019 |
The Tenth International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 2, 2019 - Sep 4, 2019 |
Bordeaux, France |
May 19, 2019 (May 15, 2019) |
| SLIE 2019 |
Special Track Semantics, Logics, Information extraction and AI | |
| May 19, 2019 - May 22, 2019 |
Sarasota, Florida |
Nov 19, 2018 (Feb 18, 2019) |
| CONCUR 2018 |
29th International Conference on Concurrency Theory | |
| Sep 4, 2018 - Sep 7, 2018 |
Beijing, China |
Apr 23, 2018 (Apr 17, 2018) |
| SLIE 2018 |
Semantic, Logics, Information Extraction and AI | |
| May 21, 2018 - May 23, 2018 |
Melbourne, Florida |
Nov 20, 2017 |
| SLIE 2016 |
Semantic, Logics, Information Extraction and AI (SLIE) | |
| May 16, 2016 - May 18, 2016 |
Key Largo, Florida |
Nov 16, 2015 |
| COMP-INT (ACM-MEDES) 2015 |
Special Track: Computational Intelligence (ACM-MEDES 2015) | |
| Oct 25, 2015 - Oct 29, 2015 |
Caraguatatuba/Sao Paulo (Brazil) |
May 15, 2015 |
| SLIE 2015 |
Semantic, Logics, Information Extraction and AI (Special track in AAAI-FLAIRS 2015) | |
| May 18, 2015 - May 20, 2015 |
Hollywood Beach (Florida) |
Nov 17, 2014 |
| CLIMA XV 2014 |
15th International Workshop on Computational Logic in Multi-Agent Systems | |
| Aug 18, 2014 - Aug 19, 2014 |
Prague, Czech Republic |
May 11, 2014 |
| ICFCA 2014 |
12th International Conference on Formal Concept Analysis | |
| Jun 10, 2014 - Jun 13, 2014 |
Cluj-Napoca, Romania |
Jan 10, 2013 (Dec 20, 2013) |
| ICFCA 2013 |
11th International Conference on Formal Concept Analysis (ICFCA 2013) | |
| May 21, 2012 - May 24, 2012 |
Dresden, Germany |
Dec 17, 2012 (Dec 10, 2012) |
| COMPUTATION TOOLS 2012 |
The Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking | |
| Jul 22, 2012 - Jul 27, 2012 |
Nice, France |
Mar 5, 2012 |
|
