Речь идет о публикации на английском языке трудов международного симпозиума по теоретическому программированию в издательстве "Шпрингер-Ферлаг".