Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science