Acronym | Name | Location | Submission Deadline | Start Date | Topics | Add to Watchlist |
|---|---|---|---|---|---|---|
| ARQNL 2026 | 6th International Workshop on Automated Reasoning in Quantified Non-Classical Logics | Lisbon, Portugal | July 24, 2026 | automated reasoning automated theorem proving non classical logics first order logic |  |
 | EasyChair Smart CFP | User guide |
All CFPs for "first order 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.