Special Track on

Constraint Solving and Programming

17th International FLAIRS Conference, 2004

The Palms South Beach Hotel,
Miami Beach, Florida
May 17-19, 2004

In cooperation with The American Association for Artificial Intelligence


Scope ]

Submissions ]

Important Dates ]

Organisation ]


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.

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.

The FLAIRS general conference will have as invited speakers:

  • Justine Cassell, MIT
  • Edward Feigenbaum, Stanford University
  • Jim Hendler, University of Maryland
  • Tom Mitchell, CMU

Delivery & Submissions

We would like to invite authors to submit papers in the standard FLAIRS style (see the FLAIRS call for papers for details) on research on constraint solving and programming, with particular emphasis on assessing the current state of the art and identifying future directions.

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

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: b.osullivan@cs.ucc.ie
Tel: +353 21 4903085
Fax: +353 21 4903113
Web: http://www.cs.ucc.ie/~osullb/

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

Back to top ]

Programme 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, The Chinese University of Hong Kong, China
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

Back to top ]


Return to Barry O'Sullivan's Home Page