International Workshop on Constraint Programming
for Air Traffic Control & Management

Held at the
7th EuroControl Innovative Research Workshop & Exhibition (INO'08)

EuroControl Experimental Centre
Brétigny sur Orge, Paris, France
Tuesday 2 December 2008

Constraint Programming

Constraint Programming (CP) is a powerful technology to model and solve combinatorial (optimisation) problems, which are ubiquitous in industry. CP works either via systematic search based on constraint propagation (the elimination of impossible values), or via constraint-based local search. CP is an ideal integration technology for hybrid solving, including also methods from classical operations research, such as mixed integer programming, and Boolean satisfiability. CP is now a mature field and has been successfully used for tackling a wide range of real-life complex applications, especially for scheduling, rostering, and configuration problems.

The Workshop

The aim of this workshop was to bring together researchers and practitioners who are interested in applying constraint programming within the areas of air traffic control (ATC) and air traffic management (ATM).

We solicited presentation proposals for research work, applied work, and position statements, each possibly containing a general presentation of the ATC/ATM activities of the group.

Workshop topics included, but were not limited to:

This was a full-day workshop, with ample time allocated to discussion.

Programme and Proceedings

08:30 - 09:30 Registration and Refreshments
09:30 - 09:45 Welcome
09:45 - 10:30 Invited talk: Constraint-Based Techniques for Managing Movement in Crowded Airspaces (Slides)
Stephen F. Smith, Carnegie Mellon University, USA
10:30 - 11:00 Refreshments
11:00 - 11:15 A Brief Introduction to Constraint Programming (Slides)
Pierre Flener, Uppsala University, Sweden
11:15 - 11:50 Management of Packing Activities in Multimodal Transport Including Air Traffic (Slides)
Abder Aggoun, KLS Optim, Villebon sur Yvette, France
11:50 - 12:25 Generalised Spatial and Temporal Placement Constraint: Current Status and Evolution (Slides)
Nicolas Beldiceanu, École des Mines de Nantes, France
12:25 - 13:00 Handling Alternatives in Temporal Networks (RAC'08 paper) (Slides)
Roman Barták, Charles University, Prague, Czech Republic
13:00 - 14:00 Lunch
14:00 - 14:40 Deconfliction with Constraint Programming (Paper) (Slides)
Nicolas Barnier and Cyril Allignol, École Nationale de l'Aviation Civile, Toulouse, France
14:40 - 15:20 TCAS Software Verification Using Constraint Programming (Slides)
Arnaud Gotlieb, INRIA Rennes, France
15:30 - 16:00 Refreshments
16:00 - 16:40 Air Traffic Flow Management with ILOG CP Optimizer (Paper) (Slides)
Ulrick Junker and Didier Vidal, ILOG, Valbonne, France
16:40 - 17:20 Air-Traffic Complexity Resolution in Multi-Sector Planning Using Constraint Programming (Technical Report) (ATM'07 paper) (JATM paper) (Slides)
Pierre Flener and Justin Pearson, Uppsala University, Sweden
18:00 - 20:00 Cocktail

The proceedings consist of the slides presented at the workshop, made available electronically above.

A special issue on the workshop topic is now being prepared for the Knowledge Engineering Review.

Presentation Proposal Submission (closed!)

To submit a presentation proposal (research work, applied work, or position statement), in English or in French, an email was to be sent until 16 November 2008 (closed!) to one of the programme chairs (Pierre Flener and Justin Pearson) with title, author(s)' name(s) and email(s), name of presenting author, abstract, and optionally (a URL of) a paper in PDF.

All submitted presentation proposals were examined within a week by the programme committee, and those that promised a worthwhile contribution were accepted for presentation at the workshop, where the working language was English. At least one author of each accepted proposal had to attend the workshop and register (for free).

Important Dates

Proposal deadlineSunday 16 November 2008 (closed!)
Notification of acceptancewithin a week
WorkshopTuesday 2 December 2008

Programme Committee

Abder AggounKLS Optim, Villebon sur Yvette, France
Philippe BaptisteÉcole Polytechnique, Palaiseau, France
Nicolas BarnierÉcole Nationale de l'Aviation Civile, Toulouse, France
Marc BourgoisEuroControl Experimental Centre, Brétigny sur Orge, France
François FagesINRIA Paris Rocquencourt, France
Pierre Flener (co-chair)Uppsala University, Sweden
Ulrich JunkerILOG, Valbonne, France
Justin Pearson (co-chair)Uppsala University, Sweden
Stephen F. SmithCarnegie Mellon University, USA

Last modified: Wed Jan 7 14:17:52 CET 2009
This workshop has been co-financed by the European Organisation for the Safety or Air Navigation (EUROCONTROL) under its innovative research grant scheme.
The content of the workshop does not necessarily reflect the official position of EUROCONTROL on the matter.
© 2008 EUROCONTROL and Uppsala University (and/or others, as appropriate). All rights reserved.