With apologies for multiple copies:
C A L L F O R P A P E R S
Special Track at
The 18th International FLAIRS Conference (FLAIRS-05) on
CONSTRAINT SOLVING AND PROGRAMMING
Held in co-operation
The American Association for Artificial Intelligence
http://www.cs.ucc.ie/~osullb/flairs2005/
_____________________________________________________________________________
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 Martha Pollack, University of Michigan
o Lawrence Hunter, University of Colorado Health Sciences Center
o David Stork, Ricoh Innovations and Stanford University
o Ted Senator, DARPA / IPTO
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://earth.cs.ccsu.edu/~flairs/submission.html
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 22, 2004
Notification of acceptance January 7, 2005
Camera-ready deadline February 4, 2005
Organising Committee
- --------------------
Barry O'Sullivan (Primary Contact)
Cork Constraint Computation Centre
Department of Computer Science
University College Cork, Ireland
Email: [EMAIL PROTECTED]
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
Email: [EMAIL PROTECTED]
Web: http://www.di.unipi.it/~bista
Program Committee
- -----------------
Andrew Davenport, IBM Research, USA
Carmen Gervert, IC-Parc, UK
Scott Goodwin, University of Windsor, Canada
Javier Larrosa Bondia, UPC, Spain
Jimmy H.M. Lee, The Chinese University of Hong Kong, China
Bernd Meyer, Monash University, Australia
Ian Miguel, University of York
Eric Monfroy, University of Nantes, France
Francesca Rossi, University of Padova, Italty
Marius Silaghi, Florida Institute of Technology, USA
Pascal Van Hentenryck, Brown University, USA
