[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] constraint track at SAC 2011: call for paper

apologies for multiple copies...

         Track on Constraint Solving and Programming

                        part of 

      the 26th Annual ACM Symposium on Applied Computing

         Tunghai University, TaiChung, Taiwan 

     Monday March 21 to Friday March 25, 2011



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.


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.


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

Preliminary guidelines:
Submissions should be properly anonymized to facilitate blind
reviewing: papers being submitted should not list the authors,
affiliations or addresses on the first page and authors are also
encouraged to take care throughout the entire document to minimise
references that may reveal the identity of the authors or
institution. 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.

To submit a paper, author need to strictly follow guidelines at 

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:


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 "SAC2011 constraint track

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


The schedule of important dates for the track is as follows: 

aper Submission deadline August 20, 2010
Author notification October 12, 2010
Camera-ready copy deadline October 30, 2010


Organising Committee 

Stefano Bistarelli (Primary Contact) 
Dipartimento di Matematica e Informatica
Università di Perugia, Italy
Email: bista@dmi.unipg.it 
Web: http://www.dmi.unipg.it/~bista/
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
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
Department of Computer Science
University College Cork, Ireland
Email: b.osullivan@cs.ucc.ie 
Web: http://www.cs.ucc.ie/~osullb/

Programme Committee

Farhad Arbab, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands
Roman Bartak, Charles University, Czech Republic
Stefano Bistarelli, Università di Perugia, Università degli studi "G. D'Annunzio" of Pescara and IIT-CNR of Pisa, Italy
Lucas Bordeaux, Microsoft Research, U.K.
Sebastian Brand, NICTA, Australia
Carlos Castro, UTFSM Valparaiso, Chile
Martine Ceberio, University of Texas at El Paso
Berthe Y. Choueiry, University of Nebraska-Lincoln, USA
Narendra Jussien, Ecole des Mines de Nantes/LINA, France
Tetsuo Ida, University of Tsukuba, Japan
Jimmy Lee, The Chinese University of Hong Kong
Ian Miguel, St. Andrew's University, Scotland
Eric Monfroy, UTFSM, Chile and LINA, University of Nantes, France
Carlos Alberto Olarte, Pontificia Universidad Javeriana, Cali, Colombia
Barry O'Sullivan, University College Cork, Ireland
Francesco Santini, Università di Perugia, Italy
Frédéric Saubion, LERIA, Université d'Angers, France
Roland Yap, National University of Singapore, Republic of Singapore

Prof. Stefano Bistarelli
Associate Professor
Dipartimento di Matematica e Informatica- Universita' di Perugia, Italy  
email: bista@dmi.unipg.it
web: http://www.dmi.unipg.it/~bista/