Календарь событий: февраль 2020
предыдущий | следующий месяц
Пн
Вт
Ср
Чт
Пт
Сб
Вс
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
1

Научные конференции 2020

Международный научно-исследовательский журнал, публикации РИНЦ, GeoRef, DOI


расширенный поиск
]]>

 

 

 

 

]]>

 

 

 


Добавить «Золотую ленточку»

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

Приложения: Сайт конференции

Поделитесь информацией о мероприятии со знакомыми:

 

Нашли ошибку? Выделите ее, нажмите Ctrl и Enter одновременно.

* 26 марта 2018 г. научной электронной библиотекой eLibrary.ru прекращена индексация в РИНЦ сборников статей по итогам заочных конференций.

 

 

Для отправления сообщения оргкомитету Вы должны быть зарегистрированы и авторизованы на сайте


Сообщение об ошибке отправлено администратору,
спасибо что пользуетесь нашим сервисом!

закроется через 2 секунды