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

[Stefano Bistarelli]

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

               CONSTRAINT SOLVING AND PROGRAMMING

                      Held in co-operation
       The American Association for Artificial Intelligence


             http://www.cs.ucc.ie/~osullb/flairs2003/

____________________________________________________________________________
_


Aims and Scope
--------------

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. This special track is concerned with all aspects of
computing
with constraints including algorithms, applications, environments,
languages,
models, and systems.

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


Submissions
-----------

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
format.
Please submit papers directly to FLAIRS (http://www.flairs.com/flairs2003/).
Detailed submission guidelines are available from the FLAIRS-2003 web-site
(http://www.cs.uwp.edu/flairssubsys/index.php3).

Papers, of sufficiently high quality, will be selected to appear in a
special
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
 C.N.R.
Istituto di Informatica e Telematica, Pisa
and
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