“...Conference for Formal Methods in the Methodology of Empirical Sciences Varšava, Polsko)...”