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

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

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

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

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

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

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

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

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

• Название семинара;
• Краткое описание семинара, включая тематику;
• Веб-страницу семинара;
• Контактная информация организаторов семинара;
• Оценку числа участников;
• Предложенный формат семинара (устные/стендовые доклады и т.п.);
• Продолжительность семинара (полный или неполный рабочий день);
• Пленарные/приглашенные докладчики (если таковые имеются);
• Процедуры отбора докладов и участников;
• Потребности в технических средствах (доски, места для стендов, проекторы и т.п.);
• Информация о публикации материалов семинара);
• Язык (русский/английский).