Proceedings of the symposium.