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
CSL 202533rd EACSL Annual Conference on Computer Science LogicAmsterdam, NetherlandsJul 23, 2024Feb 10, 2025logic formal methods automated deductionadd CSL 2025 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
LICS25Logic in Computer ScienceSingapore, SingaporeJan 23, 2025Jun 23, 2025logicadd LICS25 to watchlist
FSCD 2025Formal Structures for Computation and DeductionBirmingham, UKFeb 17, 2025Jul 14, 2025formal methods logic semantics automated reasoningadd FSCD 2025 to watchlist
CADE-3030th International Conference on Automated DeductionStuttgart, GermanyFeb 24, 2025Jul 28, 2025automated deduction logic applicationsadd CADE-30 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
Copyright © 2002 – 2024 EasyChair