Добрый день всем!
Во *вторник 13 октября* 2020 в *13 часов* приглашаем на *онлайн*-семинар в
Zoom, чтобы послушать предзащитный доклад:
-
*Дмитрий Александрович Мордвинов* (СПбГУ)
*Дизъюнкты Хорна с ограничениями в контексте формальной верификации
программ *(по материалам кандидатской
Дорогой Андрей Петрович!
Я присоединяюсь к поздравлениям Вашего коллеги. Хочу пожелать счастья,
здоровья, творческих успехов и условий для творческих успехов! Ведь «служенье
муз не терпит суеты».
Всего самого лучшего!
Александр Коновалов
From: Andrei Klimov andrei_AT_klimov.net
Sent:
