Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.
Международная научно-практическая конференция: Tools & Methods of ProgramAnalysis (Инструменты и методы анализа программ, ...
Описание конференцииНа конференции будут представлены как приглашенные доклады признанных специалистов вобласти программно...
Подача докладовНа конференцию принимаются конкурсные доклады на русском языке, объемом до 8 страниц,оформленные в соответс...
Upcoming SlideShare
Loading in …5
×

TMPA-2013 Tools & Methods of Program

215 views

Published on

First Information Letter

  • Be the first to comment

  • Be the first to like this

TMPA-2013 Tools & Methods of Program

  1. 1. Международная научно-практическая конференция: Tools & Methods of ProgramAnalysis (Инструменты и методы анализа программ, TMPA-2013)10-12 октября 2013, г. Кострома, РФ: www.tmpaconf.orgОбщая информация10 - 12 октября 2013 года в Костроме будет проходить международная научно-практическаяконференция «Tools & Methods of Program Analysis». Конференция посвящена одному из наиболееактуальных и важных направлений программной инженерии – анализу качества программногообеспечения.Вопросы эффективности и корректности функционирования программного обеспечения являютсяключевыми для большинства наукоемких отраслей современной экономики, включая ИТ-индустрию,финансовый сектор, транспорт, медицину, высокотехнологическую промышленность и многие другие.Разработка новых и усовершенствование существующих инструментов и методов анализа программ– одно из необходимых условий внедрения инноваций в этих отраслях.Конференция нацелена на развитие индустрии разработки программного обеспечения и внедрениеновейших разработок в области тестирования, анализа и верификации.В рамках конференции планируются пленарные доклады и лекционные мини-курсы экспертов;доклады участников, отобранные программным комитетом из числа поступивших заявок; презентацииоткрытых проектов, короткие сообщения, представляющие новые идеи, незавершенныеисследования или новые инструменты.Тематика конференцииТемы, рассматриваемые на конференции, включают (но не ограничиваются):  автоматизация тестирования программного обеспечения;  статический анализ программ;  верификация;  динамические методы анализа программ;  тестирование и анализ параллельных и распределенных систем;  тестирование и анализ высоконагруженных систем и систем высокой доступности;  анализ и верификация программно-аппаратных систем;  методы создания качественного программного обеспечения;  инструментальные средства анализа, тестирования и верификации. 1
  2. 2. Описание конференцииНа конференции будут представлены как приглашенные доклады признанных специалистов вобласти программной инженерии, так и конкурсные доклады, прошедшие рецензированиенесколькими независимыми экспертами. В качестве экспертов привлекаются ведущие российские изарубежные ученые в области разработки и анализа программного обеспечения. Отобранныеконкурсные доклады после доработки авторами будут опубликованы в сборнике конференции.Лучшие доклады будут рекомендованы к публикации в расширенном виде в изданиях, включенных всписок ВАК РФ: «Системы и средства информатики» и «Научно-технические ведомости СПбГПУ.Информатика, телекоммуникации, управление». Оргкомитет предоставит авторам ряда отобранныхстатей помощь в переводе их на английский язык с целью обеспечения возможности публикации взарубежных изданиях.Авторы лучших докладов будут награждены памятными подарками. Оргкомитет организуетбесплатное проживание для докладчиков конференции и транспорт для участников между Москвой иКостромой.Организаторы конференции  Факультет автоматизированных систем и технологий, Костромской государственный технологический университет (ФАСТ КГТУ: www.kstu.edu.ru/univer/faculty.php?id_k=3)  Институт проблем информатики Российской академии наук (ИПИ РАН: www.ipiran.ru)  Кафедра компьютерных систем и программных технологий института информационных технологий и управления Санкт-Петербургского государственного политехнического университета (КСПТ ИИТУ СПбГПУ: http://kspt.ftk.spbstu.ru/)  Компания «Инновационные Трейдинговые Системы» (ИТС: www.its-trading.ru)Программный комитет конференции  Захаров Виктор Николаевич, д.т.н., ИПИ РАН, со-председатель  Ицыксон Владимир Михайлович, к.т.н., доцент кафедры компьютерных систем и программных технологий СПбГПУ, со-председатель  Лустгартен Юрий Леонидович, к.т.н., декан ФАСТ КГТУ, со-председатель  Басок Борис Моисеевич, к.т.н., доцент МИРЭА  Глухих Михаил Игоревич, к.т.н., доцент, СПбГПУ;  Иткин Иосиф Леонидович, компания Exactpro Systems, координатор  Камкин Александр Сергеевич, к.ф.-м.н., с.н.с. ИСП РАН;  Климов Андрей Валентинович, зав. сектором методов анализа и преобразования программ ИПМ им. М.В. Келдыша РАН;  Кириленко Яков Александрович, старший преподаватель, МатМех СПбГУ;  Кулямин Виктор Вячеславович, к.ф.-м.н., с.н.с. ИСП РАН, доцент ВМК МГУ;  Моисеев Михаил Юрьевич, к.т.н., доцент, СПбГПУ;  Пакулин Николай Витальевич, к.ф.-м.н., старший научный сотрудник ИСП РАН;  Павлова Елена Анатольевна, к.т.н., координатор программ, Microsoft;  Федосеев Андрей Алексеевич, к.т.н., в.н.с. ИПИ РАН;  Филиппов Станислав Александрович, к.т.н., с.н.с. ИПИ РАН;  Христочевский Сергей Александрович, к.ф.-м.н., зав. лаб. ИПИ РАН  Цесько Вадим Александрович, старший разработчик, ЯндексОрганизационный комитет конференции  Киселев Михаил Владимирович, д.т.н., проф., проректор по научной работе КГТУ, председатель;  Матвеева Елена Анатольевна, зав. аспирантурой и докторантурой КГТУ;  Тихомиров Леонид Алексеевич, к.т.н, доцент, начальник Управления научно-инновационной деятельности КГТУ;  Яворский Ростислав Эдуардович, к.ф.-м.н., Фонд «Сколково»;  Ходченко Александра Сергеевна, «Инновационные Трейдинговые Системы» 2
  3. 3. Подача докладовНа конференцию принимаются конкурсные доклады на русском языке, объемом до 8 страниц,оформленные в соответствии с требованиями Lecture Notes in Computer Science (LNCS). На страницеwww.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0 приведена подробнаяинформация об оформлении статей, в том числе представлены шаблоны для популярных текстовыхпроцессоров и систем компьютерной верстки. В качестве примера оформления статей можноиспользовать следующий документ, содержащий описание требований к оформлению LNCS:http://www.springer.com/cda/content/document/cda_downloaddocument/Springer_CS_Proceedings_Author_Guidelines_Jan_2013.pdf?SGWID=0-0-45-1121537-0 В нем описание требований представлено в видестатьи в формате LNCS.Участники конференцииПрограммный комитет предполагает, что основными участниками конференции будут студентыстарших курсов, специализирующиеся в области разработки программного обеспечения, аспиранты имолодые ученые, заинтересованные в независимой экспертизе своих исследований, а такжепризнанные ученые, готовые поделиться своими инновационными разработками.Организаторы заинтересованы в активном участии в конференции представителей ИТ-индустрии. Мыожидаем интересных практических докладов от ведущих фирм-разработчиков программногообеспечения.Место проведенияКонференция будет проходить в Костромском государственном технологическом университете(КГТУ).Кострома – красивый старинный русский город, часть «Золотого кольца» России, расположенный наберегах Волги в 313 км к северу от Москвы.С 2010 года в городе активно развивается разработка инструментов и методов по анализу программи комплексов высоконагруженных биржевых и трейдинговых систем.В 2011 году появился свой клуб тестировщиков. Вузы Костромской области активно работают надпревращением города в один из центров разработки программного обеспечения.Ключевые даты  1 мая – начало приема заявок;  1 июля – последний срок подачи статей;  24 августа – публикация списка принятых работ;  10 сентября – предоставление финальных версий статей для публикации в сборнике;  10-12 октября – рабочие дни конференции «TMPA-2013».КонтактыСайт конференции: www.tmpaconf.orgE-mail: program@tmpaconf.orgТелефон: +7 495 640 2460Группы в социальных сетях:Facebook: www.facebook.com/groups/tmpaconfВКонтакте: www.vk.com/tmpaconfGoogle+: www.plus.google.com/u/0/s/tmpaconf 3

×