posted by user: arno || 5306 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

KLP@SAC 2019   Knowledge and Language Processing Track @ The 34th ACM Symposium on Applied Computing - ACM SAC 2019
AAAI 2020   The Thirty-Fourth AAAI Conference on Artificial Intelligence
KomIS@ACM-SAC 2019   ACM SAC 2019 - KomIS track: Application of AI and Big Data Analytics
ECAI 2020   24th European Conference on Artificial Intelligence
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
ACM-ACAI-Ei/Scopus 2019   2019 2nd International Conference on Algorithms, Computing and Artificial Intelligence
ACM SAC DBDM Track 2020   Special Track on Databases and Big Data Management (DBDM) - The 35th ACM SYMPOSIUM ON APPLIED COMPUTING (SAC 2020)
ISBDAI 2020   【Ei Compendex Scopus】2018 International Symposium on Big Data and Artificial Intelligence
KLP ACM SAC 2020   Knowledge and Language Processing Track @ The 35th ACM Symposium on Applied Computing - ACM SAC 2020
SA-TTA @ SAC 2020   The 8th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020)