КолТЭП-2019

 
Лого коллоквиума КолТЭП-2019

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

Дата коллоквиума КолТЭП-2019

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

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

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

Тематика коллоквиума Пленарные докладчики Организационный комитет

Приглашаем к участию ученых, аспирантов и студентов.

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

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

Пленарные докладчики, подтвердившие свое участие:

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

Организационный комитет:

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