Acronym | Name | Location | Submission Deadline | Start Date | Topics | Add to Watchlist |
|---|---|---|---|---|---|---|
| LPAR-26 | The 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning | Spetses, Greece | June 17, 2026 | October 25, 2026 | logic programming automated reasoning |  |
| LANMR 2026 | 17th Latin American Workshop on New Methods of Reasoning | Mexico City, Mexico | June 5, 2026 | October 6, 2026 | theoretical computer science logic formal verification automated reasoning | |
| OHAAI-Vol.6 | Online Handbook of Argumentation for AI Volume 6 | argumentation natural language processing logic reasoning | | |||
| OHAAI-Vol.5 | Online Handbook of Argumentation for AI Volume 5 | argumentation natural language processing logic reasoning | |
 | EasyChair Smart CFP | User guide |
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.
CFPs are ordered by the end date.