Что то я давно никуда не ездил :). Пора исправлятся. Завтра еду на конференцию "Seminar on Formal Methods in Software Engineering" которая будет происходить на базе Institute of Nanotechnologies and System Engineering в городе Бердянске.
Надеюсь они оправдают мои ожидания.
P.S. Хотя Бердянск совсем рядом, я там еще ниразу не был. Так что вдвойне интересно.



