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.

*NEW* Lenore Mullin's Powerpoint presentation on "Architecture Aware Tensor-Based Computing"
Click here to View the presentation

Objectives of CoProD:

The objectives of CoProD are:

Expected outcomes of CoProD:

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.


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.

Student Organizers:
Naga Suman Kanagala: Graduate
Essau Ramirez: Undergraduate
Paden Portillo: Undergraduate

Location: University Texas El Paso Union Building

University of Texas at El Paso (UTEP)
University of Texas at El Paso University of Texas at El Paso University of Texas at El Paso - Sunset University of Texas at El Paso - Nice Sky UTEP Miners UTEP Miners El Paso Downtown San Jacinto Plaza - El Paso Downtown Rio Grande Franklyn Mountains Desert Flower Pecan Camp - Highway 28 Franklyn Mountains Top View El Paso Desert White Sands, New Mexico El Paso, Texas

The workshop will be held at the University of Texas at El Paso, in the Union Building, Templeton Suite (3rd floor).

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 Ceberio
Department of Computer Science
The University of Texas at El Paso
500 West University
El Paso, TX 79968


mceberio (at) cs (dot) utep (dot) edu ,

Schedule (Tentative)

CoProd Schedule in PDF format

CoProD'08 is scheduled back-to-back with a large bi-annual international conference, SCAN’2008, on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (El Paso, 09/29-10/03/2008).

Friday October 3, 2008

12:00: Lunch

12:15: Welcome:

Dean Richard Schoephoerster
David Novick (Chair of Computer Science, UTEP)
Martine Ceberio (Computer Science, UTEP)

12:45: Keynote Speech:

Dr. Lenore Mullin (Program Director for Theoretical
Foundations in Numeric, Symbolic and Algebraic Computing
and Optimizations)

1:30: Talks

Michel Rueher (University of Nice Sophia-Antipolis, France)
Gilles Trombettoni (University of Nice Sophia-Antipolis, France)
Soheil Nazarian (Civil Engineering, UTEP)
Roberto Araiza (Computer Science, UTEP)

3:30: Coffee break

3:50: Talks

Francois Modave (Computer Science, UTEP)
Frederic Goualard (University of Nantes, France)
Michel Rueher (University of Nice Sophia-Antipolis, France)

5:20: Coffee break

5:40: Round table

6:30: End of the day

Saturday October 4, 2008

8:00: Breakfast

8:30: Talks

R. Baker Kearfott (University of Louisiana at Lafayette)
Martine Ceberio (Computer Science, UTEP)
Vladik Kreinovich (Computer Science, UTEP)
Heidi Taboada (Industrial Engineering, UTEP)

10:30: Coffee break

10:50: Talks

Yuanlin Zhang (Texas Tech University at Lubbock)
Enrico Pontelli (New Mexico State University)
Leticia Velasquez (Math, UTEP)

12:20: Concluding remarks:

David Novick (Chair of CS, UTEP)
Martine Ceberio (CS, UTEP)

12:40: Evaluation of the workshop

1:20: End of the workshop

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 thesecond 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.

Each talk will be 30-minute long, with 25 minutes for the presentation itself and 5 minutes for questions.