Talk:International Symposium on Mathematical Foundations of Computer Science