Всероссийская научная конференция памяти А.Л. Фуксмана "Языки программирования и компиляторы - 2017"
Институт математики, механики и компьютерных наук им. И.И. Воровича Южного федерального университета
3–5 апреля 2017 г. Ростов-на-Дону, Россия
Конференция «Языки программирования и компиляторы» представляет новую площадку для докладов и обсуждения различных тем, связанных с современными парадигмами программирования, дизайном и теорией языков программирования, конструированием компиляторов. Цель конференции — собрать вместе исследователей и специалистов, занимающихся различными аспектами языков программирования и компиляторов, и организовать комфортную среду для общения и дискуссий.
Темы конференции
• Языки программирования: функциональные, объектно-ориентированные, скриптовые, визуальные.
• Технологии программирования. Обобщённое программирование, порождающее программирование, программирование по контракту. Сквозная функциональность, расслоённое программирование, аспектно-ориентированное программирование. Аспектная разметка кода.
• Генерация и преобразования программ, рефакторинг. DSL-языки.
• Формальная семантика и теоретические основы языков программирования, в том числе денотационная, операционная, аксиоматическая и категорная семантики.
• Анализ и верификация программ, в том числе системы типов, статический анализ, абстрактная интерпретация.
• Реализация языков программирования. Компиляторы: синтаксический и семантический анализ, внутреннее представление, автоматическая оптимизация. Системы поддержки исполнения программ.
• Интегрированные среды разработки, инструментарий для программирования.
В рамках конференции планируется провести круглый стол «Разработка языков программирования в России».
Представление и публикация работ
От желающих выступить на конференции с докладом принимаются тезисы объёмом до 2 страниц или оригинальные статьи объёмом до 8 страниц (10pt, одноколоночный режим, LaTeX). Подробные правила размещены на сайте конференции plc.sfedu.ru в разделе «Требования к работам».
Все принятые на конференцию работы будут опубликованы в сборнике конференции. Избранные статьи будут опубликованы в журнале «Известия вузов. Северо-Кавказский регион. Технические науки» (входит в список ВАК).
Важные даты Подача работ - До 20 января 2017 г.
Уведомление о принятии - До 1 марта 2017 г.
Регистрация участников - До 20 марта 2017 г.
Конференция - 3–5 апреля 2017 г.
Программный комитет
• Абрамов Сергей Михайлович - член-корреспондент РАН, директор Института программных систем РАН им. А. К. Айламазяна, Переславль-Залесский.
• Аветисян Арутюн Ишханович - член-корреспондент РАН, директор Института системного программирования РАН, Москва.
• Булычев Дмитрий Юрьевич - доцент СПбГУ, заведующий лабораторией JetBrains, Санкт-Петербург.
• Бухановский Александр Валерьевич - директор Научно-исследовательского института наукоемких компьютерных технологий ИТМО, Санкт-Петербург.
• Волконский Владимир Юрьевич - заместитель генерального директора по науке АО «МСЦТ», Москва.
• Горбунов-Посадов Михаил Михайлович - заведующий отделом Института прикладной математики РАН им. М. В. Келдыша, Москва.
• Зуев Евгений Александрович - профессор Университета Иннополис, Казань.
• Касьянов Виктор Николаевич - главный научный сотрудник и заведующий лабораторией Института систем информатики СО РАН им. А. П. Ершова, Новосибирск.
• Климов Андрей Валентинович - начальник сектора анализа и преобразования программ Института прикладной математики РАН им. М. В. Келдыша, Москва.
• Левин Илья Израилевич - профессор Института компьютерных технологий и информационной безопасности ЮФУ, Таганрог.
• Легалов Александр Иванович - заведующий кафедрой вычислительной техники Института космических и информационных технологий Сибирского федерального университета, Красноярск.
• Непейвода Николай Николаевич - главный научный сотрудник Института программных систем РАН им. А. К. Айламазяна, Переславль-Залесский.
• Терехов Андрей Николаевич - заведующий кафедрой системного программирования СПбГУ, генеральный директор компании Ланит-Терком, Санкт-Петербург.
• Шилов Николай Вячеславович - старший научный сотрудник Института систем информатики СО РАН им. А. П. Ершова, Новосибирск.
• Штейнберг Борис Яковлевич - заведующий кафедрой алгебры и дискретной математики Института математики, механики и компьютерных наук им. И.И. Воровича ЮФУ, Ростов-на-Дону.
Организационный комитет
• М.И. Карякин - директор института математики, механики и компьютерных наук им. И.И. Воровича (ИММКН) Южного федерального университета - председатель оргкомитета.
• С.С. Михалкович - доцент кафедры алгебры и дискретной математики ИММКН ЮФУ - заместитель председателя оргкомитета.
• Ю.В. Белякова - ассистент кафедры информатики и вычислительного эксперимента ИММКН ЮФУ.
• В.Н. Брагилевский - старший преподаватель кафедры информатики и вычислительного эксперимента ИММКН ЮФУ.
• Д.В. Дубров - доцент кафедры информатики и вычислительного эксперимента ИММКН ЮФУ.
• Я.М. Демяненко - доцент кафедры прикладной математики и программирования ИММКН ЮФУ.
• А.М. Пеленицын - ассистент кафедры информатики и вычислительного эксперимента ИММКН ЮФУ.
Место и условия проведения Конференция по языкам программирования и компиляторам состоится впервые в 2017 году. Она проводится в городе Ростове-на-Дону на базе института математики, механики и компьютерных наук имени И. И. Воровича Южного федерального университета.
Оргвзнос за участие в конференции: 1500 рублей, студентам и аспирантам: 800 рублей.
