Symposium on Mathematical Foundations of Computer Science (1972- ) (34th 2009 Novy Smokovec, Slovakia)