posted by user: arno || 7908 views || tracked by 15 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://www.dmi.unipg.it/~bista/organizing/CSP-KR@sac2015/
 
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

OVERVIEW
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.

SCOPE
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.

SUBMISSIONS
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: http://www.dmi.unipg.it/~bista/organizing/CSP-KR@sac2015/


IMPORTANT DATES
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

ORGANISATION
Stefano Bistarelli
Dipartimento di Matematica e Informatica- Università di Perugia, Italy
Email: bista@dmi.unipg.it

Eric Monfroy
LINA
University of Nantes, France
Email: Eric.Monfroy@univ-nantes.fr

Barry O'Sullivan
Cork Constraint Computation Centre
University College Cork, Ireland
Email: b.osullivan@cs.ucc.ie

Related Resources

GMLR @ ACM SAC 2024   ACM SAC Track on Graph Models for Learning and Recognition
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ACM NLPIR 2024   ACM--2024 8th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2024)
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ACM CIIS 2024   ACM--2024 7th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2024)
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
ACM AICCC 2024   ACM--2024 7th Artificial Intelligence and Cloud Computing Conference (AICCC 2024)
ECAI 2024   27th European Conference on Artificial Intelligence
SIGMETRICS / Performance 2024   2024 ACM SIGMETRICS / IFIP Performance
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex