Коллоквиум по Теоретическому и Экспериментальному Программированию посвященный юбилею Валерия Александровича Непомнящего (КолТЭП-2019)

Дата - пятница 13 декабря 2019 года, место проведения коллоквиума - ИСИ СО РАН , с программой коллоквиума можно ознакомиться здесь, а онлайн-трансляцию (и запись) – посмотреть на официальном YouTube канале ИСИ СО РАН.

7 августа 2019 г. исполнилось 80 лет Валерию Александровичу Непомнящему. Приглашаем познакомиться с научными работами и результатами Валерия Александровича по его публикациям, список которых можно найти в базе DBLP и в научной электронной библиотеке eLIBRARY.ru).

Ученики и коллеги Валерия Александровича решили организовать в его честь коллоквиум «Теоретическое и экспериментальное программирование» в пятницу 13 декабря этого года. Участие в коллоквиуме — очное и дистанционное (через Skype и официальный YouTube канал ИСИ СО РАН).

Примерная тематика коллоквиума включает следующий круг тем (не исчерпывающий список):

• инструментальные средства верификации и анализа программ;
• формальные модели программ и распределенных систем;
• темпоральные и другие логики программ;
• формальная семантика программ и распределенных систем;
• образование в области формальных методов в программировании;
• история теоретического программирования в Сибири.

• Нина Владимировна Евтушенко (ИСП РАН, Москва), "Анализ и синтез неизвестной компоненты в автоматных сетях на основе решения автоматных уравнений";
• Владимир Анатольевич Захаров (МГУ, Москва), "Теория автоматов и теория схем программ: очерк истории совместной жизни";
• Андрей Валентинович Климов (ИПМ РАН, Москва), "Почему анализ и преобразования программ (метавычисления) никак не идут в широкую практику программирования?";
• Ирина Александровна Ломазова (ВШЭ, Москва), "Ресурсная совместимость сетей потоков работ и квазирегулярные выражения";
• Александр Константинович Петренко (ИСП РАН, Москва), "Мой опыт совместной работы с юбиляром";
• Валерий Анатольевич Соколов (ЯрГУ, Ярославль) "О тождествах в алгебре примитивно рекурсивных функций";
• Владимир Юрьевич Сазонов (University of Liverpool, Ливерпуль) "On naturally continuous non-dcpo domains";
• Анатолий Абрамович Шалыто (ИТМО, Санкт-Петербург) "Кафедра «Компьютерные технологии» Университета ИТМО: от успехов в олимпиадном программированию к достижениям в области CS в рейтинге ТНЕ".

• Игорь Сергеевич Ануреев,
• Федор Александрович Мурзин,
• Алексей Владимирович Промский,
• Николай Вячеславович Шилов,
• Татьяна Геннадьевна Чурина.