Шестой симпозиум по математическим основаниям вычислительной науки