Dagstuhl Seminar Proceedings, Volume 7212,

• Bernd Bank, Max J. Egenhofer, and Bart Kuijpers 07212 Abstracts Collection – Constraint Databases, Geometric Elimination ang Geographic Information Systems 10.4230/DagSemProc.07212.1
• Bernd Bank, Max J. Egenhofer, Joos Heintz, Bart Kuijpers, and Peter Revesz 07212 Manifesto – Constraint Databases, Geometric Elimination ang Geographic Information Systems 10.4230/DagSemProc.07212.2
• Rafael Grimson A lower bound for the complexity of linear optimization from a quantifier-elimination point of view 10.4230/DagSemProc.07212.3
• Bart Kuijpers and Walied Othman An analytic solution to the alibi query in the bead model for moving object data 10.4230/DagSemProc.07212.4
• Stephan Mäs Checking the Integrity of Spatial Integrity Constraints 10.4230/DagSemProc.07212.5
• Peter Revesz Constraint Databases and Geographic Information Systems 10.4230/DagSemProc.07212.6