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 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.
|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) |
|10:30 - 11:00||Refreshments|
|11:00 - 11:15|| A Brief Introduction to Constraint Programming (Slides) |
|11:15 - 11:50|| Management of Packing Activities in Multimodal Transport Including Air Traffic (Slides) |
|11:50 - 12:25|| Generalised Spatial and Temporal Placement Constraint: Current Status and Evolution (Slides) |
|12:25 - 13:00|| Handling Alternatives in Temporal Networks (RAC'08 paper) (Slides) |
|13:00 - 14:00||Lunch|
|14:00 - 14:40|| Deconfliction with Constraint Programming (Paper) (Slides) |
|14:40 - 15:20|| TCAS Software Verification Using Constraint Programming (Slides) |
|15:30 - 16:00||Refreshments|
|16:00 - 16:40|| Air Traffic Flow Management with ILOG CP Optimizer (Paper) (Slides) |
|16:40 - 17:20|| Air-Traffic Complexity Resolution in Multi-Sector Planning Using Constraint Programming (Technical Report) (ATM'07 paper) (JATM paper) (Slides) |
|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.
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).
|Proposal deadline||Sunday 16 November 2008 (closed!)|
|Notification of acceptance||within a week|
|Workshop||Tuesday 2 December 2008|
|Abder Aggoun||KLS Optim, Villebon sur Yvette, France|
|Philippe Baptiste||École Polytechnique, Palaiseau, France|
|Nicolas Barnier||École Nationale de l'Aviation Civile, Toulouse, France|
|Marc Bourgois||EuroControl Experimental Centre, Brétigny sur Orge, France|
|François Fages||INRIA Paris Rocquencourt, France|
|Pierre Flener (co-chair)||Uppsala University, Sweden|
|Ulrich Junker||ILOG, Valbonne, France|
|Justin Pearson (co-chair)||Uppsala University, Sweden|
|Stephen F. Smith||Carnegie 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.