PSI'2011
A.P. Ershov Institute of Informatics Systems
A.P. Ershov Informatics Conference

27 июня - 1 июля 2011 г., Новосибирск, Академгородок, Россия


Рабочий семинар "Понимание программ"

2-4 июля 2011 г.
Новосибирск, Россия

Семинар будет проходить в рамках 8-й международной Ершовской конференции по информатике. Задача семинара – более глубокое рассмотрение актуальных проблем программирования, обмен новыми идеями и активное взаимодействие между учеными разных стран.

Тематика семинара

Формальные и неформальные модели программ;
Спецификация, верификация и преобразование программ;
Семантика и анализ программ;
Парадигмы программирования;
Перепрограммирование и повторное использование систем;
Интегрированные программные обстановки;
Архитектура программного обеспечения;
Сопровождение и тестирование программ;
Понимание и визуализация программ;

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

Михаил Бульонков, Институт систем информатики, Новосибирск, Россия (mike@iis.nsk.su)
Роберт Глюк, Университет Копенгагена, Дания (glueck@acm.org)

Члены Программного комитета

Представление работ

Все доклады должны быть написаны на английском языке, с тем, чтобы члены международного Программного комитета могли оценить все достоинства работы. Текст следует подготовить в системе LaTeX2e, его объем не должен превышать 12 страниц в формате А4. Доклад необходимо отправить в Программный комитет по электронной почте pev@iis.nsk.su не позднее 22 апреля 2011 г. Он должен содержать полный адрес автора (авторов) и краткое резюме представленных результатов. Авторы получат извещение о приеме/отклонении докладов до 8 мая 2011 г.

Труды семинара

Все доклады, принятые к представлению, будут опубликованы в Трудах семинара и распространены во время его работы.

Место проведения семинара

Семинар пройдет в пансионате, расположенном в живописном месте вблизи Новосибирска.

Важнейшие даты

22 апреля 2011 г. – представление докладов.
8 мая 2011 г. – извещение о принятии.
22 мая – представление окончательных текстов докладов.
2-4 июля 2011 г. – проведение семинара.

Скачать сообщение о семинаре (pdf)


 

Development: xTech

© 2008-2024 ИСИ СО РАН

WebmasterWebmaster