|
|||||||
27 июня - 1 июля 2011 г., Новосибирск, Академгородок, Россия |
|||||||
Рабочий семинар "Понимание программ"2-4 июля 2011 г. Семинар будет проходить в рамках 8-й международной Ершовской конференции по информатике. Задача семинара – более глубокое рассмотрение актуальных проблем программирования, обмен новыми идеями и активное взаимодействие между учеными разных стран. Тематика семинараФормальные и неформальные модели программ; Сопредседатели Программного комитетаМихаил Бульонков, Институт систем информатики, Новосибирск, Россия (mike@iis.nsk.su) Члены Программного комитета
Представление работВсе доклады должны быть написаны на английском языке, с тем, чтобы члены международного Программного комитета могли оценить все достоинства работы. Текст следует подготовить в системе LaTeX2e, его объем не должен превышать 12 страниц в формате А4. Доклад необходимо отправить в Программный комитет по электронной почте pev@iis.nsk.su не позднее 22 апреля 2011 г. Он должен содержать полный адрес автора (авторов) и краткое резюме представленных результатов. Авторы получат извещение о приеме/отклонении докладов до 8 мая 2011 г. Труды семинараВсе доклады, принятые к представлению, будут опубликованы в Трудах семинара и распространены во время его работы. Место проведения семинараСеминар пройдет в пансионате, расположенном в живописном месте вблизи Новосибирска. Важнейшие даты22 апреля 2011 г. – представление докладов. |
Development: xTech © 2008-2024 ИСИ СО РАН |