Календарь событий: октябрь 2019
предыдущий | следующий месяц
Пн
Вт
Ср
Чт
Пт
Сб
Вс
30
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
30
31
1
2
3

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

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


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

 

 

 

 

]]>

 

 

 


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

14 июня 2016 г. — 15 июня 2016 г., срок заявок: 15 апреля 2016 г.

Семинар «Программные семантики, спецификации и верификация: теория и приложения»

Россия, Санкт-Петербург (издание включено в: РИНЦ)

Форма участия: очная

Язык информации: Русский

Седьмой семинар «Программные семантики, спецификации и верификация: Теория и Приложения» (PSSV 2016, 14-15 июня 2016)

Объявление и приглашение к участию

В этом году семинар PSSV-2016 пройдёт под эгидой Симпозиума по компьютерным наукам Computer Science in Russia ( СSR 2016, http://logic.pdmi.ras.ru/csr2016/ ) в Санкт-Петербурге.

Важные даты
Представление материалов для отбора: до 15 апреля 2016 (включительно)
Уведомление о включении в программу семинара: 11 мая 2016
Регистрация участников семинара на сайте CSR-2016 (http://logic.pdmi.ras.ru/csr2016/registration) будет открыта в течение апреля 2016 г.

Рабочий язык семинара: английский.
(Возможно представление материалов для отбора на русском языке с аннотацией и названием на английском языке, подробнее – см. в разделе Представление и публикация материалов.)

Официальный сайт серии семинаров PSSV: http://pssv-conf.ru.
Страничка семинара на сайте CSR 2016: http://logic.pdmi.ras.ru/csr2016/pssv16.

Тематика

Принимаются к рассмотрению как доклады о законченных исследованиях, так и сообщения о ходе исследований (research in progress). Неполный список тематики PSSV следуе ниже:

- формализмы для программных семантик;
- формальные модели и семантики программ и систем;
- семантики языков программирования и языков спецификаций;
- формальные спецификации программ и систем;
- формальные техники описания программ;
- логики для формальных спецификаций и верификации;
- дедуктивная верификация программ;
- автоматическое доказательство теорем;
- метод проверки моделей для программ и систем;
- статический анализ программ;
- формальные подходы к тестированию и валидации;
- средства для анализа и верификации программ.

В 2016 программа семинара будет включать пленарный приглашённый доклад. (Докладчик и тема будут объявлены до 11 мая 2016 г.)

Программный комитет:

- Алехина Наташа (Университет Нотингема, Великобритания),
- Баранов Сергей Николаевич (Санкт-Петербургский институт информатики и автоматизации РАН),
- Болотов Александр (Университет Вестминстера, Великобритания),
- Евтушенко Нина Владимировна (Томский государственный университет),
- Ицыксон Владимир Михайлович (Санкт-Петербургский политехнический университет Петра Великого),
- Кулямин Виктор Вячеславович (Институт системного программирования РАН, Москва),
- Лисица Алексей (Университет Ливерпуля, Великобритания),
- Ломазова Ирина Александровна (Высшая школа экономики, Москва),
- Шилов Николай Вячеславович (Институт систем информатики СО РАН, Новосибирск).
- Захаров Владимир Анатольевич (Московский государственный университет)

Сопредседатели программного комитета:

- Непомнящий Валерий Александрович (Институт систем информатики СО РАН, Новосибирск, vnep@iis.nsk.su)
- Соколов Валерий Анатольевич (Ярославский государственный университет, valery-sokolov@yandex.ru)

Организационные вопросы:
Шилов Николай Вячеславович (Институт систем информатики СО РАН, Новосибирск, shilov@iis.nsk.su)

Представление и публикация материалов

Для отбора следует предоставить программному комитету расширенные тезисы доклада объемом не более 8 страниц в формате PDF в стиле Lecture Notes in Computer Science через систему EasyChair. Для технической полноты изложения (для доказателсьвт, например) тезисы можно снабдить явно обозначенным дополнением объёмом до 4 страниц; однако, ознакомление с дополнением не являются обязательными при отборе. Страница семинара в системе EasyChair – https://easychair.org/conferences/?conf=pssv2016. Рабочий язык семинара – английский, но для первоначального отбора материалов возможно представление тезисов на русском языке, но с аннотацией и названием на английском языке.

Все принятые и представленные на семинаре доклады будут опубликованы в одном из российских рецензируемых журналов (как минимум, включенных в РИНЦ). Избранные, переработанные и дополненные доклады предыдущих семинаров PSSV публиковались в журнале «Моделирование и анализ информационных систем» (ВАК)

Контакты и свежие новости:

Самые свежие новости о предстоящем семинаре PSSV-2016 можно получить на официальном сайте семинара http://pssv-conf.ru. При возникновении вопросов по программе семинара PSSV-2016 нужно обращаться по электронной почте к сопредседателям программного комитета В.А. Непомнящему и В.А. Соколову, а по вопросам организации – к Н.В, Шилову.

При обращении к организаторам мероприятия обязательно ссылайтесь на сайт «Конференции.ru» как на источник информации.

Последний день подачи заявки: 15 апреля 2016 г. (приём заявок закончен)

Организаторы: Институт систем информатики СО РАН, Новосибирск; Ярославский государственный университет; Институт систем информатики СО РАН, Новосибирск

Контактная информация: Непомнящий Валерий Александрович, эл. почта: vnep@iis.nsk.su. Соколов Валерий Анатольевич, эл. почта: valery-sokolov@yandex.ru. Шилов Николай Вячеславович, эл. почта: shilov@iis.nsk.su

Эл. почта: shilov@iis.nsk.su

Приложения: Информационное сообщение (.pdf, 96.801 КБ)

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

 

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

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

 

 

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


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

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