25 августа 2015 г. — 27 августа 2015 г., срок заявок: 1 апреля 2015 г.
10-я Международная Ершовская конференция PSI 2015
Россия, Казань
Форма участия: очная
Научные семинары-совещания при PSI 2015
Десятая международная Ершовская конференция PSI 2015 (http://easychair .org/smart-program/PSI2015/index.html)
25 – 27 августа 2015, Университет Иннополис (http://university.innopolis.ru/), Казань, Россия
Традиционная международная Ершовская конференция является одним из главных регулярных международных научных форумов по информатике в России. Тематика конференций включают
- Фундаментальные вопросы программирования
- Спецификация, верификация и методы тестирования программ.
- Анализ, преобразования и синтез программ.
- Семантика, логические и формальные модели программ.
- Смешанное вычисление, абстрактная интерпретация, создание компиляторов.
- Автоматическое доказательство теолрем.
- Теория параллелизма.
- Моделирование и анализ систем реального времени, гибридные системы.
- Компьютерные модели и алгоритмы для биоинформатики.
- Методологии и парадигмы программирования
- Объектно-ориентированное, аспектное, компонентное программирование.
- Программирование контракту.
- Параллельное программирование и распределенные вычисления.
- Программирование в ограничениях.
- Мультиагентные системы.
- Системный реинжиниринг и рефакторинг.
- Интегрированная среды разработки.
- Архитектура программного обеспечения.
- Разработка программного обеспечения и тестирование.
- Модели разработка программного обеспечения.
- Методы и инструментарий для программирования.
- Эволюция и модели надежности и контрмеры.
- Понимание программ и визуализация.
- Информационные технологии
- Модели данных.
- База данных и информационные системы.
- Интеллектуальный анализ данных.
- Системы основанные на знаниях и инженерия знаний.
- Системы биоинформатики.
- Онтологии и семантический веб.
- Цифровые библиотеки, коллекции и архивы, веб-публикации.
В этом году при PSI 2015 могут быть организованы однодневные тематические научные семинары по тематике, соответствующей тематике конференции. Ученые и специалисты, желающие организовать такой семинар могут обращаться по электронной почте к Николаю Вячеславовичу Шилову (shiloviis@mail .ru) и Сальваторе Дистефано (salvatore.distefano@polimi.it), вплоть до 1 апреля 2015 г. Уведомление о принятии: 8 апреля 2015 г. Семинары: 25-27 августа 2015 г.
Чтобы помочь планированию, заявки на семинар должны содержать следующие данные:
- Название семинара.
- Краткое описание семинара, включая тематику.
- Веб-страницу семинара.
- Контактная информация организаторов семинара.
- Оценку числа участников.
- Предложенный формат семинара (устные/стендовые доклады и т.п.)
- Продолжительность семинара (полный или неполный рабочий день).
- Пленарные/приглашенные докладчики (если таковые имеются).
- Процедуры отбора докладов и участников.
- Потребности в технических средствах (доски, места для стендов, проекторы и т.п.).
- Информация о публикации материалов семинара),
- Язык (русский/английский).
При обращении к организаторам мероприятия обязательно ссылайтесь на сайт «Конференции.ru» как на источник информации.
Последний день подачи заявки: 1 апреля 2015 г. (приём заявок закончен)
Организаторы: Иннополис (http://university.innopolis.ru/)
Контактная информация: Николаю Вячеславовичу Шилову, эл. почта: shiloviis@mail.ru; Сальваторе Дистефано, эл. почта: salvatore.distefano@polimi.it
Эл. почта: shiloviis@mail.ru
Приложения:
Поделитесь информацией о мероприятии со знакомыми: