** ISS4IA@KES-IIMSS2017 **
[Apologies if you receive multiple copies of this CFP]
## CALL FOR PAPER #
International Workshop on Intelligent Systems and Services for Industrial
Applications (ISS4IA)
within
10th KES International Symposium on
The 26th International Conference on Automated Deduction (CADE-26)
Gothenburg, Sweden
6-11 August 2017
http://www.cade-26.info
CALL FOR PAPERS
CADE is the major international forum at which research on all aspects
of automated deduction is presented. High-quality submissions on the
general