Author: Symposium on Mathematical Foundations of Computer Science