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.
Acronym | Name | Location | Submission deadline | Start date | Topics |  |
|---|---|---|---|---|---|---|
| QBF18 | International Workshop on Quantified Boolean Formulas and Beyond | Oxford, UK | May 01, 2018 | quantifiers automated reasoning quantified boolean formulas | | |
| 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 01, 2018 | automated reasoning dynamic geometry applications | |