| Event | When | Where | Deadline | |
| LPAR 2017 |
International Conferences on Logic for Programming, Artificial Intelligence and Reasoning | |
| May 7, 2017 - May 12, 2017 |
Maun, Botswana |
Jan 15, 2017 (Jan 1, 2017) |
| IJCAI 2017 |
International Joint Conference on Artificial Intelligence | |
| Aug 19, 2017 - Aug 25, 2017 |
Melbourne, Australia |
Feb 19, 2017 |
| TABLEAUX 2017 |
26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods | |
| Sep 26, 2017 - Sep 29, 2017 |
BrasÃlia, Brazil |
Apr 25, 2017 (Apr 18, 2017) |
| OVERLAY 2019 |
First workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis | |
| Nov 19, 2019 - Nov 22, 2019 |
University of Calabria, Rende, Italy |
Sep 21, 2019 |
|
