All CFPs for "logic"
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.
The table below uses the following colors: in my watchlist, other.
Acronym | Name | Location | Submission deadline | Start date | Topics | Add to watchlist |
|---|---|---|---|---|---|---|
| OHAAI-Vol.5 | Online Handbook of Argumentation for AI Volume 5 | argumentation natural language processing logic reasoning | | |||
| LORI-10 | 10th International Conference on Logic, Rationality, and Interaction | Xi’an, China | Mar 17, 2025 | Oct 16, 2025 | logic artificial intelligence rationality interaction | |
| OVERLAY 2025 | 7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis | Bologna, Italy | Jul 19, 2025 | Oct 26, 2025 | artificial intelligence formal verification logic machine learning | |