... Formator Symposium on Mathematical Methods for the Analysis of Large-Scale Systems. (Inst. of Inform. Theory and Automat. AS CR)