[Pl-seminar] cfp: constraint solving and programming (FLAIR2003)

Stefano Bistarelli Stefano.Bistarelli at iit.cnr.it
Thu, 03 Oct 2002 17:02:53 +0200

apologies for multiple copies
                  C A L L   F O R   P A P E R S

                       Special Track at

     The 16th International FLAIRS Conference (FLAIRS-03) on


                      Held in co-operation
       The American Association for Artificial Intelligence



Aims and Scope

Constraints have emerged as the basis of a representational and
paradigm that draws from many disciplines and can be brought to bear on many
problem domains. This special track is concerned with all aspects of
with constraints including algorithms, applications, environments,
models, and systems.

We also solicit papers from any domain employing constraints, including
computational linguistics, configuration, decision support, design,
graphics, hardware verification, molecular biology, planning, qualitative
reasoning, real-time systems, resource allocation, robotics, scheduling,
software engineering, temporal reasoning, vision, visualization, and user

Papers that bridge disciplines or combine theory and practice or discuss
reasoning methods are especially welcome. Special attention is focused
the use of constraint technologies in the networking, wireless and internet


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

All submissions must be original work. Complete manuscripts must be no more
than 10 double-spaced pages (3400 words) in length in postscript or pdf
Please submit papers directly to FLAIRS (http://www.flairs.com/flairs2003/).
Detailed submission guidelines are available from the FLAIRS-2003 web-site

Papers, of sufficiently high quality, will be selected to appear in a
issue of the International Journal on Artificial Intelligence Tools (IJAIT).

Important Dates

Deadline paper submissions    October 25, 2002
Notification of acceptance    January 7, 2002
Camera-ready deadline         February 17, 2003

Organising Committee

Barry O'Sullivan (Primary Contact)
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/

Stefano Bistarelli
Istituto di Informatica e Telematica, Pisa
Universita "G. D'Annunzio"
Dipartimento di Scienze, Pescara
Em ail: Stefano.Bistarelli@iit.cnr.it
Tel:  +39-050-315.3438
Fax:  +39-050-315.2593
Web: http://www.sci.unich.it/~bista

Program Committee

Christian Bessiere, LIRMM, France
Philippe Codognet, University of Paris and INRIA, France
Boi Faltings, EPFL, Switzerland
Helene Fargier, Laboratoire IRIT, Universite Paul Sabatier, France
Thom Fruehwirth, University of Ulm, Germany
Carmen Gervet, IC Parc, Imperial College, UK
Javier Larrosa, UPC, Spain
Francesca Rossi, University of Padov, Italy
Marius-Calin Silaghi, Florida Institute of Technology
Mark Wallace, IC Parc, Imperial College, UK
Toby Walsh, University College Cork, Ireland