Introduction
Constraint programming techniques are important components of intelligent systems. They have been applied successfully to a number of fields, such as scheduling of air traffic, software engineering, and networks security. Despite the proved usefulness of these techniques, they are under-utilized in real-life projects. One reason might be the lack of knowledge of researchers and practitioners from other fields about constraints in general and their use in decision making in particular.
Objectives of CoProD:
The conference continues the series of international SCAN symposia held under the joint sponsorship of
- To draw together a network of researchers interested in constraint techniques, in particular researchers and practitioners that use numeric and symbolic approaches (or a combination) to solve constraints and optimization problems.
- To address the gap between the great capacity of these techniques and their limited use.
Expected outcomes of CoProD:
- Definition of new directions for combining numeric and symbolic approaches in solving constraints and optimization problems in particular and in decision making in general.
- Better connection between actual practitioners and researchers in constraints and decision making,
CoProD'08 has the potential to impact these communities by easing collaborations and therefore the emergence of new techniques, and by creating a network of interest.
Organization
Main organizer: Martine Ceberio
Local students are also involved in the organization of the workshop and will be given the opportunity to exhibit posters about their constraint-related work outside of the workshop room, and so will the students of the other attendees.
Schedule (Tentative)
CoProD'08 is scheduled back-to-back with a large bi-annual international
conference, SCAN’2008 (http://www.scan2008.com), on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (El Paso, 09/29-10/03/2008).
Friday October, 3rd
1:00-1:30 pm Welcome / Martine Ceberio and TBA
1:30-2:00 pm Keynote Speech / TBA
2:00-3:30 pm Invited Talks
3:30-4:00 pm Break
4:00-5:30 pm Invited Talks
5:30-6:15 pm Round table / All participants
Saturday October, 4th
08:00-08:30 am Coffee
08:30-10:30 am Invited Talks
10:30-10:45 am Break
10:45-12:15 am Invited Talks
12:15-12:25 Concluding Remarks / Martine Ceberio
12:25-12:40 Evaluation
The sessions will consist of a good balance of algorithms, emphasizing the potential of combining numeric and symbolic approaches, and applications, showing the success of such combinations. In each of the two sessions, the first part will be on constraint solving and decision making algorithms, and the second part on applications.
The schedule of the workshop is designed in such a way that researchers have plenty of time for interaction outside the talks. In particular, at the end of the first afternoon, we will have a round table that allowing researchers to exchange ideas about their need for decision techniques and for applications. The discussion will be oriented towards combining numeric and symbolic algorithms for constraint solving and decision making, and their potential use for applications.
Location
Discover a city that stretches the imagination - El Paso, Texas' westernmost city. A city of nearly three-quarters of a million people, which sprawls across hundreds of square miles of desert and rambling foothills. The Franklin Mountains, southern tip of the Rockies, slice El Paso nearly in two. With its classic Western geography and tri-cultural history, El Paso makes an intriguing place to visit.
El Paso is the gateway to Juarez, Mexico (US citizens do not need a visa for a short visit across the border), and to southern New Mexico with such recognized attractions as Fort Bliss, Carlsbad Caverns and White Sands National Memorial.
El Paso's dry, sunny, warm desert climate earned the city the nickname "Sun City".
Contact Info & Organizer
Mailing Address:
Martine CeberioCoProD'2008
Department of Computer Science
The University of Texas at El Paso
500 West University
El Paso, TX 79968