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
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
Copyright © 2002 – 2024 EasyChair