International Conference on Conceptual Structures (8th 2000 Darmstadt, Germany)