All CFPs for "logic"
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.
The table below uses the following colors: in my watchlist, other.
| |||||||||
Acronym | Name | Location | Submission deadline | Start date | Topics | Add to watchlist | |||
|---|---|---|---|---|---|---|---|---|---|
| Philosophica 1 | Philosophica: Analytic Philosophy Symposium | Lublin, Poland | May 5, 2025 | Jun 13, 2025 | logic philosophy of language philosophy of mind analytic philosophy | | |||
| BLESS-2025 | The Second International Conference of Bridges between Logic, Ethics and Social Sciences | Taiyuan, China | Mar 22, 2025 | Jun 20, 2025 | logic ethics social sciences laws | | |||
| LICS25 | Logic in Computer Science | Singapore, Singapore | Jan 23, 2025 | Jun 23, 2025 | logic | | |||
| FSCD 2025 | Formal Structures for Computation and Deduction | Birmingham, UK | Feb 22, 2025 | Jul 14, 2025 | formal methods logic semantics automated reasoning | | |||
| GALOP 2025 | 16th Workshop on Games for Logic and Programming Languages | Birmingham, UK | May 21, 2025 | Jul 19, 2025 | programming languages logic game theory semantics | | |||
| HCVS2025 | 12th Workshop on Horn Clauses for Verification and Synthesis | Zagreb, Croatia | May 16, 2025 | Jul 22, 2025 | automated reasoning logic programming verification | | |||
| CADE-30 | 30th International Conference on Automated Deduction | Stuttgart, Germany | Feb 24, 2025 | Jul 28, 2025 | automated deduction logic applications | | |||
| DLT 2025 | The 29th International Conference on Developments in Language Theory | Seoul, South Korea | Apr 14, 2025 | Aug 19, 2025 | formal language theory automata theory theoretical computer science logic | | |||
| RADICAL 2025 | Fourth International Workshop on Recent Advances in Concurrency and Logic | Aarhus, Denmark | May 30, 2025 | Aug 25, 2025 | concurrency theory logic formal verification programming languages | | |||
| OHAAI-Vol.5 | Online Handbook of Argumentation for AI Volume 5 | argumentation natural language processing logic reasoning | | ||||||
| JELIA 2025 | 19th European Conference on Logics in Artificial Intelligence | Kutaisi, Georgia | Jun 4, 2025 | Sep 1, 2025 | computer science artificial intelligence logic knowledge representation | | |||
| 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 12, 2025 | Oct 25, 2025 | artificial intelligence formal verification logic machine learning | | |||