Special Track on

Constraint Solving and Programming

18th International FLAIRS Conference, 2005

Hilton Clearwater Beach Resort,
Clearwater Beach, Florida
May 15-17, 2005

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:

  • Martha Pollack, University of Michigan
  • Lawrence Hunter, University of Colorado Health Sciences Center
  • David Stork, Ricoh Innovations and Stanford University
  • Ted Senator, DARPA / IPTO

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 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: 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

Stefano Bistarelli, CNR and Universita "G. D'Annunzio", Italy
Andrew Davenport, IBM Research, USA
Carmen Gervert, IC-Parc, UK
Scott Goodwin, University of Windsor, Canada
Arnaud Lallouet, University of Orleans, France
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
Barry O'Sullivan, Cork Constraint Computation Centre
Francesca Rossi, University of Padova, Italty
Marius Silaghi, Florida Institute of Technology, USA
Pascal Van Hentenryck, Brown University, USA

Back to top ]


Return to Barry O'Sullivan's Home Page