All CFPs for "automated reasoning"
CFPs in the table are ordered by the end date.
Click on the CFP acronym to open this CFP.
To add a CFP to your watchlist, click 
.
Click on a topic to see related CFPs.
CFPs are ordered by the end date.
The table below uses the following colors: in my watchlist, other.
Acronym | Name | Location | Submission deadline | Start date | Topics |  |
|---|---|---|---|---|---|---|
| IJCAR-2018 | 9th International Joint Conference on Automated Reasoning | Oxford, UK | Jan 29, 2018 | Jul 14, 2018 | automated reasoning | |
| PAAR-2018 | 6th Workshop on practical aspects of automated reasoning | Oxford, UK | Apr 15, 2018 | Jul 19, 2018 | automated reasoning implementation tools | |
| SAIN 2018 | The 2018 International Symposium on Advanced Intelligent Informatics (SAIN) | Yogyakarta, Indonesia | Apr 15, 2018 | Aug 29, 2018 | big data analytics automated reasoning machine learning | |
| IJAIN 2018 | International Journal of Advances in Intelligent Informatics | Feb 15, 2018 | machine learning soft computing automated reasoning bigdata analytics | | ||
| JSC-DG&AR-SI 2018 | Special Issue of the Journal of Symbolic Computation on Dynamic Geometry and Automated Reasoning | Feb 1, 2018 | automated reasoning dynamic geometry applications | | ||
| Deduktionstreffen-2018 | Deduction Meeting 2018 | Luxembourg, Luxembourg | Aug 5, 2018 | Sep 21, 2018 | automated reasoning | |
| LPAR-22 | 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning | Awassa, Ethiopia | Aug 13, 2018 | Nov 17, 2018 | logic artificial intelligence automated reasoning | |