EasyChair Smart CFPDocs/Log in
All CFPs for "automated deduction"

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
LSFA 202419th International Workshop on Logical and Semantic Frameworks, with ApplicationsGoiânia, BrazilJun 14, 2024Sep 18, 2024formal languages logical frameworks automated deduction formal semanticsadd LSFA 2024 to watchlist
CSL 202533rd EACSL Annual Conference on Computer Science LogicAmsterdam, NetherlandsJul 23, 2024Feb 10, 2025logic formal methods automated deductionadd CSL 2025 to watchlist
Copyright © 2002 – 2024 EasyChair