EasyChair Smart CFPHelp/Log in
All CFPs for "automated reasoning"

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
TopicsAdd to watchlist
JSC-DG&AR-SI 2018Special Issue of the Journal of Symbolic Computation on Dynamic Geometry and Automated ReasoningFeb 1, 2018automated reasoning dynamic geometry applicationsadd JSC-DG&AR-SI 2018 to watchlist
UNIF 2019The 33rd International Workshop on UnificationDortmund, GermanyApr 21, 2019Jun 24, 2019constraint solving unification automated reasoningadd UNIF 2019 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