University of Applied Sciences, Western Switzerland (HES-SO) in Sierre and
Ecole Polytechnique fédérale de Lausanne (EPFL) in Lausanne Switzerland
Monday March 22 - Friday March 26, 2010

Overview Scope Submissions Important Dates Organisation Program Committee

Paper submission deadline extended to Sept. 15, 2009

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

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 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. A special attention is focused around the use of constraint technologies in the networking, wireless and internet fields.

Back to top

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.

Authors are invited to submit original work, not previously published, and currently not submitted elsewhere.

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. This is to facilitate blind review. Only the title should be shown at the first page without the author's information." The body of each paper should not exceed 4,000 words. Papers failing to comply with length limitations risk immediate rejection. At least three reviewers will be assigned to each submission to the track. Accepted papers are published by ACM in both printed form and CD-ROM; they are also available on the Web through the ACM Digital Library. Once accepted, papers must fit within five (5) two column pages (please check the author kit on the main SAC website: the format is usually the format used in the ACM templates), with the option (at additional expense) to add three (3) more pages. A second set of selected papers, which did not get accepted as full papers, will be accepted as posters and will be published as extended 2-page abstracts in the symposium proceedings.

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.

• Submissions will be in electronic format, via the website: eCMS site http://sac.cs.iupui.edu/SAC2010/
• Submissions must follow the template reported here: http://www.acm.org/conferences/sac/sac2009/downloads09.htm
• Paper size: 5 pages. Authors are allowed up to 8 but each extra page will be charged 80USD.

We strongly suggest to use for submission the available camera ready templates, and adhere to the 5 page limitation.

After completing the submission, please send also an email to: Eric.Monfroy@inf.utfsm.cl
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 "SAC2009 constraint track submission"

Registration is required for paper and poster inclusion in the Conference Proceedings, and for event attendance.

Back to top

IMPORTANT DATES  

The schedule of important dates for the track is as follows, note that the submission deadline is strict:

• Paper Submission deadline Sept. 15, 2009
• Author notification Oct. 19, 2009
• Camera-ready copy deadline Nov. 2, 2009

Back to top

ORGANISATION  

Stefano Bistarelli (Primary Contact)

Dipartimento di Matematica e Informatica- Università di Perugia, Italy
Email: bista@dmi.unipg.it
and
Dipartimento di Scienze
Università degli studi "G. D'Annunzio" di Chieti-Pescara, Italy
Email: bista@sci.unich.it
Web: http://www.sci.unich.it/~bista/
and
Istituto di Informatica e Telematica
C.N.R. Pisa, Italy
Email: stefano.bistarelli@iit.cnr.it

Eric Monfroy

Universidad Técnica Federico Santa María
Valparaíso, Chile
and
LINA
University of Nantes, France
Email: Eric.Monfroy@inf.utfsm.cl
Web: http://www.sciences.univ-nantes.fr/info/perso/permanents/monfroy/

Barry O'Sullivan

Cork Constraint Computation Centre
University College Cork, Ireland
and
Department of Computer Science
University College Cork, Ireland
Email: b.osullivan@cs.ucc.ie
Web: http://www.cs.ucc.ie/~osullb/

Back to top

PROGRAM COMMITTEE