ACM Symposium on Applied Computing

Track on Constraint Solving and Programming and Knowledge Representation and Reasoning (CSP-KR)
part of the
30th Annual ACM Symposium on Applied Computing

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

Back to top Back to top

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

Back to top Back to top

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

Submissions fall into the following categories:

  • Original and unpublished research work
  • Reports of innovative computing applications in the arts, sciences, engineering, and business areas
  • Reports of successful technology transfer to new problem domains
  • Reports of industrial experience and demos of new innovative systems

Submission instructions:

  • Submissions should be properly anonymized to facilitate blind reviewing: The author(s) name(s) and address(es) must NOT appear in the body of the paper, and self-reference should be in the third person. Only the title should be shown at the first page without the author's information.
  • Submitted papers must fit within six (6) two column pages: please check the author kit latex style on the main SAC website: (the format is usually the format used in the ACM templates). Papers failing to comply with length limitations risk immediate rejection.
  • Submissions will be in electronic format, via the website: BE CAREFULL TO SELECT THE CSP-KR TRACK BY CHECKING THE CSP-KR TRACK RADIO BUTTON!!
  • After completing the submission, please send also an email to:
    The body of the email should include the title of the paper, the author(s) name(s) and affiliation(s), and the address (including e-mail, telephone, and fax) to which correspondence should be sent. The subject of the email should be "SAC2015 CSP-KR track submission"

Accepted papers instructions:

  • Accepted, papers must fit within six (6) two column pages, with the option for up to 2 additional pages at cost (US$80 per page).
  • A second set of selected papers, which did not get accepted as full papers, will be accepted as posters, limited to 2 pages with the option for up to 1 additional page at cost (US$80).
  • Authors of accepted papers must be prepared to sign a copyright statement and must pay the registration fee and guarantee that their paper will be presented at the conference. No-show of scheduled papers will result in excluding the papers from the ACM/IEEE digital library.
Back to top Back to top

Important Dates 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 -- EXTENDED TO OCTOBER, 10th (strict deadline)!!
  • Author notification November 17, 2014 -- moved to Nov. 30th (strict deadline)!!
  • Camera-ready copy deadline December 8, 2014 -- moved to y Dec. 15th (strict deadline)!!
  • Author Registration Dec 15, 2014
Back to top Back to top

Organisation ORGANISATION  

Stefano Bistarelli (Primary Contact)
Dipartimento di Matematica e Informatica- Università di Perugia, Italy
Istituto di Informatica e Telematica
C.N.R. Pisa, Italy
Eric Monfroy
University of Nantes, France
Barry O'Sullivan
Cork Constraint Computation Centre
University College Cork, Ireland
Department of Computer Science
University College Cork, Ireland
Back to top Back to top


Farhad Arbab, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands

Roman Bartak, Charles University, Czech Republic

Stefano Bistarelli, Università di Perugia and IIT-CNR of Pisa, Italy

Martine Ceberio, University of Texas at El Paso, USA

Berthe Y. Choueiry, University of Nebraska-Lincoln, USA

Philippe Codognet, UPMC / CNRS / University of Tokyo, Japan

broderick.crawford Broderick Crawford, Pontificia Universidad Catolica de Valparaiso, Chile

Hiroshi Hosobe, Hosei University, Japan

Christophe Jermann, LINA, Université de Nantes, France

Robert Joan-Arinyo, Universitat Politècnica de Catalunya, Catalonia

Arnaud Lallouet, University of Caen, France

Frédéric Lardeux, Université d'Angers, France

Jimmy Lee, The Chinese University of Hong Kong

jJorge Maturana, Universidad Austral de Chile, Chile

Ian Miguel, St. Andrew's University, Scotland

Eric Monfroy, LINA, Université de Nantes, France

Carlos Alberto Olarte, Pontificia Universidad Javeriana, Cali, Colombia

Barry O'Sullivan, University College Cork, Ireland

Florian Richoux, LINA, Université de Nantes, France

Eduardo Rodriguez Tello Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional, Mexico

Francesco Santini, INRIA-Rocquencourt, France

Frédéric Saubion, LERIA, Université d'Angers, France

Ricardo Soto, Pontificia Universidad Catolica de Valparaiso, Chile

Naoyuki Tamura, Kobe University, Japan

Hans Tompits Vienna University of Technology, Austria

József Váncza, Hungarian Academy of Sciences, Hungary

Roland Yap, National University of Singapore, Republic of Singapore

Back to top Back to top