Автор рассказывает о выпуске нового журнала Британского вычислительного общества "Formal Aspects of Computing" и приглашает А.П. Ершова в редколлегию.
