| |||||||||||||||
ACM SAC - CSP-KR 2015 : ACM SAC - Special track on Constraint Solving and Programming and Knowledge Representation and Reasoning | |||||||||||||||
Link: http://www.dmi.unipg.it/~bista/organizing/CSP-KR@sac2015/ | |||||||||||||||
| |||||||||||||||
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 |
|