C A L L F O R P A P E R S
Special Track at
The 17th International FLAIRS Conference (FLAIRS-04) on
CONSTRAINT SOLVING AND PROGRAMMING
Held in co-operation
The American Association for Artificial Intelligence
http://www.cs.ucc.ie/~osullb/flairs2004/
____________________________________________________________________________
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.
The FLAIRS general conference will have as invited speakers:
o Justine Cassell, MIT
o Edward Feigenbaum, Stanford University
o Jim Hendler, University of Maryland
o Tom Mitchell, CMU
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. Formatting and submission
instructions are available from: http://www.cs.ccsu.edu/flairs2004/
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 24, 2003
Notification of acceptance January 7, 2004
Camera-ready deadline February 6, 2004
Organising Committee
--------------------
Barry O'Sullivan (Primary Contact)
Cork Constraint Computation Centre
Department of Computer Science
University College Cork, Ireland
Email: ···········@cs.ucc.ie
Web: http://www.cs.ucc.ie/~osullb/
Stefano Bistarelli
Istituto per l'Informatica e la Telematica - C.N.R.
Area della Ricerca, Via G. Moruzzi, 1
I-56124 Pisa, Italy
Dipartimento di Scienze - Universita' di Pescara
Viale Pindaro, 87
I-65127 pescara, Italy
Email: ··················@iit.cnr.it
Web: http://www.sci.unich.it/~bista
Program Committee
-----------------
Krzysztof Apt, National University of Singapore
Christian Bessiere, LIRMM, France
Boi Faltings, EPFL, Switzerland
Thom Fruehwirth, University of Ulm, Germany
Carmen Gervet, IC Parc, Imperial College, UK
Scott Goodwin, University of Windsor, Canada
Pascal van Hentenryck, Brown University, USA
Javier Larrosa, UPC, Spain
Jimmy H.M. Lee, City University of Hong Kong
Ian Miguel, University of York, UK
Francesca Rossi, University of Padova, Italty
Marius-Calin Silaghi, Florida Institute of Technology, USA
Mark Wallace, IC Parc, Imperial College, UK
Toby Walsh, University College Cork, Ireland