Call for Participati...

The AISB Convention is an annual conference organised by the ( The 2017 Convention will be held at the University of Bath, UK, with t...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...



AISB event Bulletin Item

CFP: Track on Constraint Solving and Programming - ACM SAC

Track on Constraint Solving and Programming

                           part of

         the 23rd Annual ACM Symposium on Applied Computing

                  Fortaleza, Cear, Brazil

                   March 16 - 20, 2008


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 "SAC2008 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:

Paper Submission deadline September 8, 2007
Notification of acceptance October 16, 2007
Camera-ready version deadline October 30, 2007
Track Dates Mars 16-20, 2008


Organising Committee

Stefano Bistarelli (Primary Contact)
 Dipartimento di Scienze
 Universit degli studi "G. D'Annunzio" di Chieti-Pescara, Italy
 Istituto di Informatica e Telematica
 C.N.R. Pisa, Italy

Eric Monfroy
 Universidad Tcnica Federico Santa Mara,
 Valparaso, Chile
 University of Nantes,France

Barry O'Sullivan
 Cork Constraint Computation Centre
 Department of Computer Science
 University College Cork, Ireland

Programme Committee (tentative)

Roman Bartak, Charles University, Czech Republic
Stefano Bistarelli, Universit degli studi "G. D'Annunzio", Pescara, Italy 
and IIT-CNR, Pisa, Italy
Lucas Bordeaux, Microsoft Research, U.K.
Sebastian Brand, National University of Singapore
Carlos Castro, UTFSM Valparaiso, Chile
Martine Ceberio, University of Texas at El Paso
Berthe Y. Choueiry, University of Nebraska-Lincoln, USA
Yves Colombani, Dash Associates Ltd., U.K.
Bart Demoen, Katholieke Universiteit Leuven, The Netherlands
Filippo Focacci, ILOG, France
Thom Frhwirth, Universitt Ulm, Germany
Narendra Jussien, Ecole des Mines de Nantes, France
Tetsuo Ida, University of Tsukuba, Japan
Arnaud Lallouet, University of Orlans, France
Jimmy Lee, 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, LIX, cole Polytechnique, France
Barry O'Sullivan, University College Cork, Ireland
Frdric Saubion, LERIA, Universit d'Angers, France
Kazunori Ueda, Waseda University, Japan
Jzsef Vncza, Hungarian Academy of Sciences, Hungary
Roland Yap, National University of Singapore, Republic of Singapore
Peter Zoeteweij, Delft University of Technology, The Netherlands