Новости

Научные семинары при PSI'2015

Десятая международная Ершовская конференция PSI'2015 25-27 августа 2015, Университет Иннополис, Казань, Россия Традиционная международная Ершовская конференция является одним из главных регулярных международных научных форумов по информатике в России. Тематика конференций включает:

Фундаментальные вопросы программирования

  • Спецификация, верификация и методы тестирования программ;
  • Анализ, преобразования и синтез программ;
  • Семантика, логические и формальные модели программ;
  • Смешанное вычисление, абстрактная интерпретация, создание компиляторов;
  • Автоматическое доказательство теорем;
  • Теория параллелизма.;
  • Моделирование и анализ систем реального времени, гибридные системы;
  • Компьютерные модели и алгоритмы для биоинформатики.

Методологии и парадигмы программирования

  • Объектно-ориентированное, аспектное, компонентное программирование;
  • Программирование контракту;
  • Параллельное программирование и распределенные вычисления;
  • Программирование в ограничениях;
  • Мультиагентные системы;
  • Системный реинжиниринг и рефакторинг;
  • Интегрированная среды разработки;
  • Архитектура программного обеспечения;
  • Разработка программного обеспечения и тестирование;
  • Модели разработка программного обеспечения;
  • Методы и инструментарий для программирования;
  • Эволюция и модели надежности и контрмеры;
  • Понимание программ и визуализация.

Информационные технологии

  • Модели данных;
  • База данных и информационные системы;
  • Интеллектуальный анализ данных;
  • Системы основанные на знаниях и инженерия знаний;
  • Системы биоинформатики;
  • Онтологии и семантический веб;
  • Цифровые библиотеки, коллекции и архивы, веб-публикации.
В этом году при PSI 2015 могут быть организованы однодневные тематические научные семинары по тематике, соответствующей тематике конференции. Ученые и специалисты, желающие организовать такой семинар могут обращаться по электронной почте к Николаю Вячеславовичу Шилову (shiloviis@mail.ru) и Сальваторе Дистефано (salvatore.distefano@polimi.it), вплоть до 1 апреля 2015 г. Уведомление о принятии: 8 апреля 2015 г. Семинары: 25-27 августа 2015 г. Чтобы помочь планированию, заявки на семинар должны содержать следующие данные:
  • Название семинара;
  • Краткое описание семинара, включая тематику;
  • Веб-страницу семинара;
  • Контактная информация организаторов семинара;
  • Оценку числа участников;
  • Предложенный формат семинара (устные/стендовые доклады и т.п.);
  • Продолжительность семинара (полный или неполный рабочий день);
  • Пленарные/приглашенные докладчики (если таковые имеются);
  • Процедуры отбора докладов и участников;
  • Потребности в технических средствах (доски, места для стендов, проекторы и т.п.);
  • Информация о публикации материалов семинара);
  • Язык (русский/английский).