2019 IFSA World Congress and NAFIPS Annual Conference

June 18-21, 2019 - Lafayette, Louisiana, USA

[Return to main page]

IFSA - NAFIPS 2019: CoProD 2019

The 12th International Workshop on Constraint Programming and Decision Making

June 17, 2019 - Lafayette, Louisiana

CoProD 2019 is the twelfth edition of CoProD. It will be held in Lafayette, Louisiana, USA on June 17, 2019 (exact location TBA), right before the 2019 IFSA World Congress and NAFIPS Annual Conference IFSA/NAFIPS 2019 (June 18-22, 2019, Lafayette, Louisiana).

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.


Registration will be collected on site and will be about $30, to cover coffee breaks and room and equipment rental.

Program and Schedule for CoProd 2019
Lafayette, Louisiana, 17 June 2019

  • 9:00-9:30
    registration and welcome
  • 9:30-9:55
    Julien Alexandre dit Sandretto and Alexandre Chapoutot
    Logical differential constraints based on interval Boolean tests
  • 9:55-10:00
    questions and discussion
  • 10:00-10:25
    Thomas Luke McCulloch
    Constraint Programming Enabled Automated Ship Hull Geometric Design
  • 10:25-10:30
    questions and discussion
  • 10:30-10:55
    Leobardo Valera, Martine Ceberio, and Vladik Kreinovich
    Derivation of Louisville-Bratu-Gelfand Equation from Shift- or Scale-Invariance
  • 10:55-11:00
    questions and discussion
  • 11:00-11:25
    Juan Carlos Figueroa Garcia, Carlos Franco, and Vladik Kreinovich
    Fuzzy Approach to Optimal Placement of Health Centers
  • 11:25-11:30
    questions and discussion
  • 11:30-11:55
    Martine Ceverio, Olga Kosheleva, and Vladik Kreinovich
    Can We Improve the Standard Algorithm of Interval Computation by Taking Almost Monotonicity into Account?
  • 11:55-12:00
    questions and discussion
  • 12:00-12:25
    Christian Ayub, Martine Ceberio, and Vladik Kreinovich
    How Quantum Computing Can Help With (Continuous) Optimization
  • 12:25-12:30
    questions and discussion
  • 12:30-12:45
    general discussion
  • to be added:
    Michal Cerny and Vladik Kreinovich
    How Accurately Can We Determine the Coefficients: Case of Interval Uncertainty

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 (listed in alphabetical order):

  • 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
  • Tiago Oliveira, National Institute of Informatics (NII) in Tokyo, Japan.
  • Enrico Pontelli, New Mexico State University, Las Cruces, NM
  • James Raynolds, College of Nanoscale and Engineering, SUNY Albany
  • Sigfried Rump, Hamburg University of Technology and Waseda University, Japan
  • Ken Satoh, National Institute of Informatics (NII) in Tokyo, Japan.
  • 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
  • Alfredo Vaccaro, University of Sannio, Department of Engineering, Benevento, Italy
  • Leticia Velazquez, The University of Texas at El Paso
  • Francois Modave, Texas Tech Health Center, El Paso

Proceedings / Publication

Papers accepted for the workshop will be published in the same Springer volume as all the papers from the IFSA/NAFIPS 2019 conference. Please follow the conference instructions (template, paper size, deadlines, etc.) when submitting your paper.

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 should be sent by email to Martine Ceberio or Vladik Kreinovich.

Please follow the conference instructions (template, paper size, deadlines, etc.) when submitting your paper.

Important dates

  • February 8, 2019: paper submission
  • February 15, 2019: notification of acceptance
  • March 5, 2019: camera-ready copy of papers due
  • June 17, 2019: workshop


Martine Ceberio, the University of Texas at El Paso
Vladik Kreinovich, the University of Texas at El Paso