Symposium on Mathematical Foundations of the... Symposium on Mathematical Foundations of Computer Science Symposium on Mathematical Foundations of Computer Scienece Symposium on Automatic Demonstration Symposium on Automatic Demonstration : (Warsaw)Symposium on Mathematical Foundations of Computer Science (Rydzyna)Symposium on Mathematical Foundations of Computer Science Symposium on Mathematical Foundations of Computer Science (1972- ) Symposium Mathematica Symposium Mathematica. 14