EasyChair Smart CFPHelp/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
TopicsAdd to watchlist
DT-2019Deduktionstreffen 2019Kassel, GermanyAug 5, 2019Sep 23, 2019automated reasoning logic automated deductionadd DT-2019 to watchlist
IJCAR 202010th International Joint Conference on Automated ReasoningParis, FranceJan 23, 2020Jun 29, 2020automated reasoning logic automated deductionadd IJCAR 2020 to watchlist
Copyright © 2002 – 2019 EasyChair