КолТЭП-2019

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

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

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

Дата - пятница 13 декабря 2019 года, место проведения коллоквиума - ИСИ СО РАН ИСИ СО РАН лого

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

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

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

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

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

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

Порядок заявок на выступление и/или участие

Приглашают коллег, желающих выступить на коллоквиуме с коротким сообщением (20 минут), представить для отбора короткую аннотацию (и тезисы объемом до 2 страниц) сообщения через систему EasyChair (https://easychair.org/conferences/?conf=coltep2019) с 1 декабря по 8 декабря 2019 г.; организационный комитет сообщит решение о включении во вторник 10 декабря 2019 г.

Программа коллоквиума будет опубликована на этой странице в среду 11 декабря 2019 г.

Приглашают коллег, желающих принять участие в работе коллоквиума очно (с выступлением или без) зарегистрироваться через Google-форму (https://forms.gle/5PrxCdsk2zETZZaBA ) до среды 11 декабря 2019 г. (включительно). Регистрация необходима для оформления прохода в здание ИСИ СО РАН, где будет проходить коллоквиум.

(Back to Top.)

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

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

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

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