EasyChair Smart CFPDocs/Log in
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.

Acronym
NameLocation
Submission
deadline
Start date
Topics
Add to watchlist
PROGIC 2025The Twelfth Workshop on Combining Probability and LogicPittsburgh, PA, United StatesDec 15, 2024Apr 3, 2025logic probability formal epistemology computabilityadd PROGIC 2025 to watchlist
Philosophica 1Philosophica: Analytic Philosophy SymposiumLublin, PolandMay 1, 2025Jun 13, 2025logic philosophy of language philosophy of mind analytic philosophyadd Philosophica 1 to watchlist
BLESS-2025The Second International Conference of Bridges between Logic, Ethics and Social SciencesTaiyuan, ChinaMar 22, 2025Jun 20, 2025logic ethics social sciences lawsadd BLESS-2025 to watchlist
LICS25Logic in Computer ScienceSingapore, SingaporeJan 23, 2025Jun 23, 2025logicadd LICS25 to watchlist
FSCD 2025Formal Structures for Computation and DeductionBirmingham, UKFeb 22, 2025Jul 14, 2025formal methods logic semantics automated reasoningadd FSCD 2025 to watchlist
GALOP 202516th Workshop on Games for Logic and Programming LanguagesBirmingham, UKMay 7, 2025Jul 19, 2025programming languages logic game theory semanticsadd GALOP 2025 to watchlist
HCVS202512th Workshop on Horn Clauses for Verification and SynthesisZagreb, CroatiaMay 16, 2025Jul 22, 2025automated reasoning logic programming verificationadd HCVS2025 to watchlist
CADE-3030th International Conference on Automated DeductionStuttgart, GermanyFeb 24, 2025Jul 28, 2025automated deduction logic applicationsadd CADE-30 to watchlist
DLT 2025The 29th International Conference on Developments in Language TheorySeoul, South KoreaApr 14, 2025Aug 19, 2025formal language theory automata theory theoretical computer science logicadd DLT 2025 to watchlist
RADICAL 2025Fourth International Workshop on Recent Advances in Concurrency and LogicAarhus, DenmarkMay 30, 2025Aug 25, 2025concurrency theory logic formal verification programming languagesadd RADICAL 2025 to watchlist
OHAAI-Vol.5Online Handbook of Argumentation for AI Volume 5argumentation natural language processing logic reasoningadd OHAAI-Vol.5 to watchlist
JELIA 202519th European Conference on Logics in Artificial IntelligenceKutaisi, GeorgiaMay 9, 2025Sep 1, 2025computer science artificial intelligence logic knowledge representationadd JELIA 2025 to watchlist
LORI-1010th International Conference on Logic, Rationality, and InteractionXi’an, ChinaMar 17, 2025Oct 16, 2025logic artificial intelligence rationality interactionadd LORI-10 to watchlist
OVERLAY 20257th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesisBologna, ItalyJul 12, 2025Oct 25, 2025artificial intelligence formal verification logic machine learningadd OVERLAY 2025 to watchlist
Copyright © 2002 – 2025 EasyChair