posted by user: arno || 3392 views || tracked by 16 users: [display]

ACM SAC - CSP-KR 2015 : ACM SAC - Special track on Constraint Solving and Programming and Knowledge Representation and Reasoning


When Apr 13, 2015 - Apr 17, 2015
Where Salamanca, Spain
Submission Deadline Sep 12, 2014
Notification Due Nov 17, 2014
Final Version Due Dec 8, 2014
Categories    computer science   artificial intelligence

Call For Papers

Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains.

The track is concerned with all aspects of computing with constraints including algorithms, applications, environments, languages, models, and systems. Contributions are welcome from any discipline concerned with constraints, including Knowledge representation, artificial intelligence, combinatorial algorithms, computational logic, concurrent computation, databases, discrete mathematics, operations research, programming languages, and symbolic computation. We also solicit papers from any domain employing constraints, including computational linguistics, configuration, decision support, design, diagnosis, graphics, hardware verification, molecular biology, planning, qualitative reasoning, real-time systems, resource allocation, robotics, scheduling, software engineering, temporal reasoning, vision, visualization, and user interfaces. Papers that bridge disciplines or combine theory and practice or discuss novel reasoning methods are especially welcome. Also special welcome are papers dealing with problem modeling. A special attention is focused around the use of constraint technologies in the networking, wireless and internet fields.

We would like to invite authors to submit papers on research on constraint solving and programming, with particular emphasis on assessing the current state of the art and identifying future directions.

More information can be found at:

The schedule of important dates for the track is as follows,
note that the submission deadline is strict:
Paper Submission deadline September 12, 2014
Author notification November 17, 2014
Camera-ready copy deadline December 8, 2014
Author Registration Dec 15, 2014

Stefano Bistarelli
Dipartimento di Matematica e Informatica- Università di Perugia, Italy

Eric Monfroy
University of Nantes, France

Barry O'Sullivan
Cork Constraint Computation Centre
University College Cork, Ireland

Related Resources

IJCAI 2017   International Joint Conference on Artificial Intelligence
ICML 2017   34th International Conference on Machine Learning
SAC PL 2017   ACM SAC'17 PL Track
SIGIR 2017   The 40th International ACM SIGIR Conference on Research and Development in Information Retrieval
IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
CIKM 2017   The 26th 2017 ACM Conference on Information and Knowledge Management
PAKDD 2017   The 21st Pacific-Asia Conference on Knowledge Discovery and Data Mining
ACM SAC-RS 2017   ACM SIGAPP Symposium On Applied Computing 2017 - Track on Recommender Systems: Theory and Applications
IJCNN 2017   International Joint Conference on Neural Networks