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

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

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



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

 

 

 

 

]]>

 

 

 


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

12 июня 2011 г. — 13 июня 2011 г., срок заявок: 10 марта 2011 г.

2-ой Международный семинар-совещание «Семантика, спецификация и верификация программ: теория и приложения»

Россия, Санкт-Петербург

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

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

Объем краткого текста доклада – до 8 страниц. Для изложения необходимых технических деталей можно использовать приложение объемом до 4 страниц, которое выделено в тексте как приложение и рассматривается программным комитетом при отборе докладов. Тексты в формате PDF следует направлять в качестве приложения к электронному письму Алексею Владимировичу Промскому (Институт систем информатики СО РАН, Новосибирск) по адресу: promsky@iis.nsk.su с указанием PSSV-2011 в поле «subject».
Аннотации докладов следует направлять в качестве приложения к электронному письму председателям программного комитета.

Страничка семинара: http://logic.pdmi.ras.ru/csr2011/ppsv2011

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

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

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

Контактная информация: Секретарь семинара: Алексей Владимирович Промский, Институт систем информатики СО РАН, Новосибирск, эл. почта: promsky@iis.nsk.su с указанием PSSV-2011 в поле «subject»

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

Приложения: Объявление о семинаре (.pdf, 67.012 КБ)

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

 

 

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

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


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

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