Call for papers for:

                      The 3rd Workshop on
    Techniques foR Implementing Constraint programming Systems
                          (TRICS 2010)
        http://people.cs.kuleuven.be/~guido.tack/2010TRICS/

      To be held at the 16th International Conference on
   Principles and Practice of Constraint Programming (CP 2010)

      St. Andrews, Scotland (UK), Monday 6 September 2010 

      *** Submission deadline: Wednesday 7 July 2010 ***

AIMS AND SCOPE

Constraint programming systems are software systems that support the
modeling and solving of problems using constraint programming. Such
systems include constraint programming libraries and runtime systems
for constraint programming languages. 

After two very successful workshops in 2000 (Singapore) and 2002
(Ithaca), this third iteration will again provide a forum for research
on implementation issues of constraint programming systems.

Possible topics include, but are not limited to:
 * software design aspects of CP systems
 * data structures and algorithms for constraint solving
 * parallelization approaches
 * design and implementation of programming/modeling/solving
   environments for constraint programming
 * surveys of often-used but undocumented folklore techniques
 * hybrid solvers integrating methods such as local search,
   mathematical programming, SAT solving, or AI techniques

SUBMISSION

Contributions to the workshop can include paper presentations, poster
presentations, and system demonstrations. In addition, there will be a
lightning track where people get five minutes to present preliminary
results, implementation tricks, system advertisements, etc.

For submission details, see the workshop web page at
http://people.cs.kuleuven.be/~guido.tack/2010TRICS/

IMPORTANT DATES

 * Paper submission deadline:  July 7, 2010
 * Notification:               August 4, 2010
 * Camera-ready version:       August 18, 2010
 * Lightning talk submission:  August 23, 2010
 * Workshop:                   September 6, 2010

PROGRAM COMMITTEE

Mats Carlsson                     Swedish Institute of Computer Science
Ian Gent                          University of St. Andrews
Youssef Hamadi                    Microsoft Research, Cambridge
Christopher Jefferson (co-chair)  University of St. Andrews
Xavier Lorca                      Ecole des Mines de Nantes
Peter Nightingale (co-chair)      University of St. Andrews
Christian Schulte                 KTH - Royal Institute of Technology
Peter Stuckey                     University of Melbourne
Radoslaw Szymanek                 Ecole Polytechnique Federale de Lausanne
Guido Tack (co-chair)             Katholieke Universiteit Leuven
Pascal Van Hentenryck             Brown University