EasyChair Smart CFPDocs/Log in
All CFPs for "logic in computer science"

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.

Acronym
NameLocation
Submission
deadline
Start date
Topics
Add to watchlist
ICTAC 202421st International Colloquium on Theoretical Aspects of ComputingBangkok, ThailandJun 21, 2024Nov 25, 2024formal languages and automata logic in computer science software verification and analysis theory of trustworthy aiadd ICTAC 2024 to watchlist
ICLA 2025Indian Conference on Logic and its Applications 2025Kolkata, IndiaAug 29, 2024Feb 3, 2025mathematical logic philosophical logic logic in computer scienceadd ICLA 2025 to watchlist
Copyright © 2002 – 2024 EasyChair