Дорогие коллеги! Во вторник *20 февраля 2018 г. в 11:00* в конференц-зале ИПМ им. М.В. Келдыша РАН (Миусская пл., 4) состоится защита кандидатской диссертации:
*Гречаник Сергей Александрович* "*Доказательство свойств функциональных программ методом насыщения равенствами*" (специальность 05.13.11 — математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей) Соискателем построен новый метод доказательства эквивалентности функций в нестрогом функциональном языке первого порядка на основе синтеза идей суперкомпиляции и насыщения равенствами. На сайте диссертационного совета http://keldysh.ru/council/1/ размещено объявление. Оно содержит ссылки на диссертацию, автореферат и другие материалы к защите. Скопирую сюда основную информацию: - Полный текст <http://keldysh.ru/council/1/2017-grechanik/diss.pdf> диссертации - Отзыв научного руководителя <http://keldysh.ru/council/1/2017-grechanik/chief.pdf> - Отзыв организации, где выполнялась диссертация <http://keldysh.ru/council/1/2017-grechanik/work.pdf> - Автореферат <http://keldysh.ru/council/1/2017-grechanik/avtoref.pdf> диссертации. - Оппонент д.ф.-м.н. В.А.Захаров: отзыв <http://keldysh.ru/council/1/2017-grechanik/opp1.pdf> - Оппонент к.ф.-м.н. М.А.Бульонков: отзыв <http://keldysh.ru/council/1/2017-grechanik/opp2.pdf> - Ведущая организация ИПС им. А.К. Айламазяна РАН: отзыв <http://keldysh.ru/council/1/2017-grechanik/org.pdf> - Дополнительные сведения <http://keldysh.ru/council/1/2017-grechanik/data.pdf> о диссертации Если вы хотите посетить защиту и у вас нет пропуска в ИПМ, напишите на адрес kli...@keldysh.ru или позвоните мне или пошлите смс на +79853643536, сообщив ФИО и номер паспорта (остальные паспортные данные не нужны). Выпишем разовый пропуск. В ИПМ желательно приходить без ноутбука, так как вахта иногда проверяет сумки и заставляет выписывать материальный пропуск на ноутбук. Тем не менее, это возможно, и если вы будете с ноутбуком, напишите мне его марку и сериальный номер (S/N). И в этом случае приходите, пожалуйста, заранее. Конференц-зал ИПМ находится на верхнем этаже главного корпуса (в середине двора). Всего наилучшего, Андрей Климов