Topics of the ASI include:
- theoretical aspects of constraint programming;
- specification of constraints;
- constraints and mathematical logic;
- constraints and interval arithmetic;
- constraint programming and object-oriented programming paradigm;
- constraint-based reasoning;
- consistency and satisfaction of constraints;
- constraint propagation;
- parallel and distributed computing with constraints;
- constraint-based interfaces, languages and systems;
- applications of constraint programming.