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

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
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
Deduktionstreffen-2018Deduction Meeting 2018Luxembourg, LuxembourgAug 5, 2018Sep 21, 2018automated reasoningadd Deduktionstreffen-2018 to watchlist
LPAR-2222nd International Conference on Logic for Programming, Artificial Intelligence and ReasoningAwassa, EthiopiaAug 13, 2018Nov 17, 2018logic artificial intelligence automated reasoningadd LPAR-22 to watchlist
Copyright © 2002 – 2018 EasyChair