| Event | When | Where | Deadline | | | Expired CFPs |
| 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 |
| Pervasive @ FM 2011 |
Formal Methods for Pervasive Systems | |
| Jun 20, 2011 - Jun 20, 2011 |
Limerick, Ireland |
Mar 20, 2011 |
| COMPUTATION TOOLS 2010 |
The First International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking | |
| Nov 21, 2010 - Nov 26, 2010 |
Lisbon, Portugal |
Jun 20, 2010 |
| PLMMS 2008 |
Programming Languages for Mechanized Mathematics Systems | |
| Jul 28, 2008 - Jul 29, 2008 |
Birmingham, UK |
May 5, 2008 |
|
