Матиясевич Ю.В. в редколлегии сборника Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings (1994 год, серия Lecture Notes in Computer Science, том 813, Springer)членство в редколлегии сборника