Symposium on Mathematical Foundations of Computer Science (1972- ) (29th 2004 Prague, Czech Republic)