The following workshops will take place before the main conference on September 16.
WCB13: Constraint Based Methods for Bioinformatics
WCB'13 is the 9-th of a series of consecutive Workshop on Constraint Based Methods for Bioinformatics. The topics of interest are all those concerning bioinformatics and constraints and related techniques.
TRICS13: Techniques foR Implementing Constraint programming Systems
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. This workshop, the fourth in the series, will focus on implementation issues of such systems.
CSPSAT: 3rd International Workshop on the Cross-Fertilization between CSP and SAT
Constraint Satisfaction Problems (CSP’s) and Boolean Satisfiability Problems (SAT) have much in common. However, they also differ in many important aspects, which result in major differences in solution techniques. This workshop is designed as a venue for bridging the gap and for cross-fertilization between the two communities.
CP Solvers: Modeling, Applications, Integration, and Standardization
The objective of this workshop is to get an industrial overview of currently available CP solvers and their use in real-world applications. The focus of the workshop will be not on implementation but rather on modeling, applications, integration, and standardization. Such an overview will fill a gap in the program of recent CP conferences and will allow CP developers and researchers to share the most recent experience of the actual use of different CP-based tools.
Workshop on Optimization for Smart Cities
This workshop focuses on evidence-based policy making for urban planning or, more precisely, on designing computational tools to help decision makers make informed policy decisions about their cities. Evidence-based policy-making is key to sustainable cities as urbanization continues to progress across the world. The workshop is multi-disciplinary in nature, and welcomes contributions in optimization, as well as at the intersection of optimization and network science, data mining, machine learning, analytics, simulation, and sensor networks.
COSpeL: Domain Specific Languages in Combinatorial Optimization
Domain Specific Languages (DSLs) are programming languages or libraries developed to handle specific tasks. The aim of COSpeL is to bring together people interested in the development and use of DSLs in the context of combinatorial optimization.
ModRef: Constraint Modelling and Reformulation
Constraint Programming (CP) is a powerful technology to model and solve combinatorial problems, which are ubiquitous in academia and industry. The last ten years or so have witnessed significant research devoted to modelling and solving problems with constraints. CP is now a mature field and has been successfully used for tackling a wide range of real-life complex applications. However, such a technology is currently accessible to only a small number of experts. For CP to be more widely used by non-experts, more research effort is needed in order to ease the use of the CP technology. We solicit original papers that contribute to widen the use of the CP technology.