International Conference on Conceptual Structures 2000