Proceedings of the ... IBM Symposium on Mathematical Foundations of Computer Science