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

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

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



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

 

 

 

 

]]>

 

 

 


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

15 июня 2009 г. — 19 июня 2009 г., срок заявок: 15 июня 2009 г.

VII-я международная мемориальная конференция «Перспективы систем информатики»

Россия, Новосибирск

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

Тематика конференции:

Основания анализа и разработки программ и систем:
-  методы спецификации, валидации и верификации;
-  анализ, синтез и преобразования программ;
-  семантика, логика и формальные модели программ;
-  частичное выполнение, смешанные вычисления, абстрактная интерпретация, разработка компиляторов;
-  доказательство теорем и проверка моделей;
-  теория параллелизма;
-  моделирование и анализ систем реального времени и гибридных систем.

Методология и технология программирования:
-  объектно-ориентированное, компонентное и родовое программирование;
-  программирование по контракту;
-  создание систем и программ для параллельных и распределенных вычислений;
-  программирование в ограничениях;
-  мультиагентные технологии;
-  перепрограммирование и переиспользование систем;
-  интегрированные программные обстановки;
-  архитектура программного обеспечения;
-  разработка и тестирование программ;
-  модельно-управляемая разработка систем и программ;
-  «быстрая» разработка программного обеспечения;
-  инструментарий и технологии программирования;
-  понимание и визуализация программ.

Информационные технологии:
-  модели данных,
-  базы данных и информационные системы;
-  базы знаний и конструирование знаний;
-  технологии биоинформатики;
-  онтологии и семантический web;
-  электронные библиотеки, собрания и архивы, web-публикации;
-  управление равноправными данными.

Последний срок представления тезисов докладов: 16 января 2009 г.

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

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

Организаторы: Институт систем информатики им. А.П. Ершова, Новосибирский государственный университет

Контактная информация: 630090, Новосибирск, пр. Акад. Лаврентьева, 6, Институт систем информатики им. А.П. Ершова, тел.: (383) 330-73-52, факс: (383) 332-34-94, эл. почта: cher@iis.nsk.su

Эл. почта: NULL

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

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


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

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