CP-2013 Workshops
As mentioned earlier, I have a special interest in the CP Solvers: Modeling, Applications, Integration, and Standardization WorkshopThe 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.
workshop homepageTRICS13: 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.
workshop homepageCSP-SAT: 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 homepageWorkshop on Optimization for Smart Cities
Policy makers who run the complex network of diverse people, expected services and aging infrastructure are on a constant search for more efficient ways to analyse data, anticipate problems and coordinate resources in their cities. This workshop has the purpose of bringing together scholars and practitioners that work on the solution of problems related to the improvement of the quality of life and the use of resources in cities, to make cities smarter.
workshop homepageCOSpeL: 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.
workshop homepageModRef: Constraint Modelling and Reformulation
This workshop covers modelling and reformulation techniques that make constraint programming more accessible and easier to use, widening the use of CP technology.
workshop homepage