Welcome to
      CoProD 2017

November 3rd, 2017 -- El Paso, Texas, USA

CoProD'17 is the tenth edition of CoProD. It will be held at the University of Texas at El Paso in El Paso, Texas on November 3rd, 2017, right before the 21st Joint UTEP/NMSU Workshop on Mathematics, Computer Science, and Computational Sciences.

Constraint programming techniques are important components of intelligent systems. They constitute a declarative and efficient methodology to represent and solve many practical problems. They have been applied successfully to a number of fields, such as scheduling of air traffic, software engineering, networks security, chemistry, and biology. Despite the proved usefulness of these techniques, they are still under-utilized in real-life applications. One reason is the perceived lack of effective communication between constraint programming experts and domain practitioners about constraints, in general, and their use in decision making, in particular.

Objectives of CoProD:

  • To present advances in constraint solving, optimization, and related topics;
  • To develop a network of researchers interested in constraint techniques, in particular researchers and practitioners that use numeric and symbolic approaches (or a combination of them) to solve constraint and optimization problems;
  • To address the gap between the great capacity of these techniques and their limited use.

CoProD aims at encouraging presentation and discussion of on-going work. In particular, please note that there is room for presentation of ideas, as opposed to results only. It also aims at facilitating networking opportunities as well as cross-fertilization between the approaches used in the different attending communities. Therefore, besides active researchers in decision making and constraint programming techniques, we expect to have a wide attendance and participation of domain scientists - whose input is highly valued in this workshop.

The previous editions of CoProD featured invited talks by highly recognized experts, such as:

  • Purushotham Bangalore, CIS department, University of Alabama at Birmingham
  • Martin Berz, Michigan State University, USA
  • Stefano Bistarelli, University of Perugia, Italy
  • Alessandro Dal Palu, University of Parma, Italy
  • Rina Dechter, Information and Computer Sciences, University of California Irvine
  • Scott Ferson, Applied Bioinformatics, New York, USA
  • Juan Carlos Figueroa, Universidad Distrital de Bogota, Colombia
  • Patty Hough, Sandia National Lab, Livermore CA
  • Luc Jaulin, Ecole Nationale Superieure des Techniques Avancees (ENSTA) Bretagne, France
  • Kyoko Makino, Michigan State University, USA
  • Enrico Pontelli, New Mexico State University, Las Cruces, NM
  • James Raynolds, College of Nanoscale and Engineering, SUNY Albany
  • Bart Selman, CS department, Cornell University
  • Yaroslav D. Sergeyev, Universit√† della Calabria, Italy
  • Sergey Shary, Novosibirsk State University
  • Young Jun Son, The University of Arizona, Tucson
  • Xiaobai Sun, Duke University
  • Leticia Velazquez, The University of Texas at El Paso
  • Francois Modave, Texas Tech Health Center, El Paso

Participation / Submission:

Participation is encouraged from people doing research in the area of decision making as well as from domain scientists. Submissions of ideas are also encouraged.

Submissions are expected in the form of extended abstracts of at least 2 pages and no more than 5 pages (in general, closer to 2 pages for ideas, to 5 pages for results), formatted using the standard LNCS/LNAI format. The title page should include the name, address, and email address of each author as well as a list of keywords. Submissions have to be sent in pdf format AND latex format to mceberio [at] utep [dot] edu. A contact author should be specified in the submission email.

The deadline for submissions is July 1, 2017. Authors of accepted abstracts are expected to participate and present their work at the workshop.

Proceedings / Publication:

A book of abstracts will be made available to each registered participant.
After the workshop, the program committee will invite the authors to submit a full article version of their work to be published (after a review process) in a Springer book series.

Important dates:

July 1st:abstract submission
August 1st:notification of acceptance
September 1st: camera-ready copy of abstracts due
November 3rd:workshop at the University of Texas at El Paso (UTEP)


Organizers:Martine Ceberio, the University of Texas at El Paso, mceberio / utep -o- edu
Vladik Kreinovich, the University of Texas at El Paso, vladik / utep -o- edu


The University of Texas at El Paso
The exact location of CoProD on the UTEP campus will be shared later.

Contact Info

Martine Ceberio and Vladik Kreinovich
Department of Computer Science
The University of Texas at El Paso
500 West University
El Paso, TX 79968-0518
mceberio / utep -o- edu, vladik / utep -o- edu

Important Dates

  • July 1st: abstract submission
  • August 1st: notification of acceptance
  • September 1st: camera-ready abstracts due
  • November 3rd: workshop


  • Martine Ceberio
  • Vladik Kreinovich

Contact Information

Martine Ceberio
Department of Computer Science
The University of Texas at El Paso
500 West University
El Paso, TX 79968-0518
mceberio (at) utep (dot) edu