Welcome to
      CoProD 2012

September 23, 2012 -- Novosibirsk, Russia

CoProD'12 is the fifth edition of CoProD. It will be held in Novosibirsk, Russia, on September 23, 2012, right before the 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Novosibirsk, Russia, September 24-28, 2012.

Registration is now available here

Paying registration will be handled on site and will be $15 for students and $35 for others.

The preliminary program of CoProD’12 is now available, as well as the booklet of abstracts.

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.

CoProD'12 will be held on September 23, 2012, right before the 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Novosibirsk, Russia, September 24-28, 2012.

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.

Special emphasis:

Although topics are by no mean restricted to the following, this year’s edition of CoProD wants to specifically emphasize global optimization as well as the use of combined constraint programming/decision making to life science problems.
Topics of interest (not limited to):

  • Programs and algorithms reliability
  • Algorithms and applications of:
    • Constraint solving, including symbolic-numeric algorithms
    • Optimization: e.g., global, robust, multi-objective
    • Tensors
    • Interval arithmetic
  • Description of domain applications that:
    • Require new decision making techniques
    • Implement decision making techniques

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.
  • Definition of new representations and abstractions (such as tensors) that are expected to enhance solving techniques and collaborations.
  • Better connection between actual practitioners and researchers in constraints and decision making. CoProD’10 has the potential to impact these communities by easing collaborations and therefore the emergence of new techniques, and by creating a network of interest. The objectives of CoProD are also relayed all year round through the website http://constraintsolving.com.

CoProD has the potential to impact these communities by easing collaborations and therefore the emergence of new techniques, and by creating a network of interest. The objectives of CoProD are also relayed all year round through the website constraintsolving.com.

Invited Speakers and Program:

  • Yaroslav D. Sergeyev, Universit√† della Calabria, Italy
    Title: Working with multiextremal, partially defined constraints without penalties
  • Sergey Shary, Novosibirsk State University
    Title: Graph subdivision technique in interval global optimization
  • Tutorial by: Juan Carlos Figueroa, Universidad Distrital de Bogota, Colombia
    Title: Interval Type-2 Fuzzy Linear Programming: Challenges and applications

The preliminary program of CoProD’12 is now available, as well as the booklet of abstracts.

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

  • Purushotham Bangalore, CIS department, University of Alabama at Birmingham
  • Alessandro Dal Palu, University of Parma, Italy
  • Rina Dechter, Information and Computer Sciences, University of California Irvine
  • Patty Hough, Sandia National Lab, Livermore CA
  • Enrico Pontelli, New Mexico State University, Las Cruces, NM
  • James Raynolds, College of Nanoscale and Engineering, SUNY Albany
  • Bart Selman, CS department, Cornell 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

The preliminary program of CoProD’12 is now available, as well as the booklet of abstracts.

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 April 2, 2012. Authors of accepted abstracts are expected to participate and present their work at the workshop.

Proceedings / Publication:

A book of abstracts will be printed and provided 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.

The articles from previous CoProD are currently under review for inclusion in a Springer book series.

Important dates:

April 30th:abstract submission
May 25th:notification of acceptance
June 20th: deadline for registration
June 20th: camera-ready copy of abstracts due
September 23rd:workshop in Novosibirsk

Organization (preliminary list):

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
David Levin, Ledas Company, levin / ledas -o- com
Irina Sharaya, Novosibirsk State University, Novosibirsk, Russia, sharia / ict.nsc -o- ru
Sergey Shary, Novosibirsk State University, Novosibirsk, Russia, shary / ict.ncs -o- ru

Location

Novosibirsk, Russia
At the Institute of Computational Technologies of the Siberian Department of the Russian Academy of Sciences.

The workshop will be held in the Institute of computational technologies SD RAS (see http://www.ict.nsc.ru), Room 513. The address is 6, acad. Lavrentiev avenue, Novosibirsk. You can find it e.g. on Google maps.

More information available on the website of SCAN’2012

Contact Info

Martine Ceberio
CoProD’2012
Department of Computer Science
The University of Texas at El Paso
500 West University
El Paso, TX 79968-0518
mceberio / utep -o- edu
 
 

Important Dates

  • January 5th: abstract submission
  • January 15th: notification of acceptance
  • February 15th: camera-ready abstracts due
  • March 17th: workshop at UTEP

Organizers

  • Main Organizer
    • Martine Ceberio

Contact Information

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

Registration

Free registration available