3-4 марта 2017 г. в Москве состоится Четвертая международная научно-практическая конференция "Инструменты и методы анализа программ в сотрудничестве с ACM Sigsoft (профильным комитетом АСМ в области программной инженерии)". Вопросы эффективности и корректности функционирования программного обеспечения являются ключевыми для большинства наукоемких отраслей современной экономики. Организатором и партнером мероприятия является ФИЦ ИУ РАН.
Четвертая международная научно-практическая конференция Инструменты и методы анализа программ нацелена на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации программ. Приглашаем студентов старших курсов, аспирантов, молодых ученых, преподавателей, научных сотрудников и сотрудников технологических компаний, чьи научные и практические интересы связаны с разработкой и анализом программного обеспечения, подать работы на конференцию.
Статьи, отобранные членами программного комитетам по итогам процесса рецензирования, по предварительной договоренности с издательством Springer будут опубликованы в серии Communications in Computer and Information Science и проиндексированы в базах научных работ Scopus и DBLP.
На конференции будут представлены приглашенные доклады признанных специалистов в области программной инженерии и конкурсные доклады, прошедшие рецензирование несколькими независимыми экспертами. Организационный комитет конференции также готов предоставить ограниченное количество грантов на проживание для докладчиков, прошедших конкурсный отбор.
ТЕМЫ, рассматриваемые на конференции, включают (но не ограничиваются):
● автоматизация тестирования программного обеспечения;
● статический анализ программ;
● верификация;
● динамические методы анализа программ;
● тестирование и анализ параллельных и распределенных систем;
● тестирование и анализ высоконагруженных систем и систем высокой доступности;
● анализ и верификация программно-аппаратных систем;
● методы создания качественного программного обеспечения;
● инструментальные средства анализа, тестирования и верификации.
ПРИГЛАШЕННЫЕ ДОКЛАДЧИКИ
-Thomas A. Henzinger, Президент, IST, Austria (Institute of Science and Technology) http://pub.ist.ac.at/~tah/
-Steve Zdancewic, Профессор, University of Pennsylvania http://www.cis.upenn.edu/~stevez/
-Nenad Medvidović, Профессор, University of Southern California ACM SIGSOFT Executive Committee Chair http://sunset.usc.edu/~neno/
ПРОГРАММНЫЙ КОМИТЕТ
Программный комитет конференции включает более 70 исследователей и экспертов в области программной инженерии, тестирования и верификации программного обеспечения и включает в себя рецензентов из университетов и научных центров 14 стран: Австралии, Австрии, Бразилии, Великобритании, Германии, Испании, Италии, Канады, Нидерландов, России, США, Франции, Швеции и Японии.
Щедров Андрей Олегович, сопредседатель (Университет Пенсильвании и НИУ ВШЭ, Россия)
Захаров Виктор Николаевич, сопредседатель (ФИЦ ИУ РАН, Россия)
Ицыксон Владимир Михайлович, сопредседатель (СПбПУ, Россия)
Эрика Абрахам (RWTH Aachen University, Германия)
Вольфганг Арендт (Chalmers University of Technology, Sweden)
Ахин Марат Халимович (Digitek Labs и СПбПУ, Россия)
Дерк Байер (LMU Munich, Германия)
Беляев Михаил Анатольевич (Digitek Labs и СПбПУ, Россия)
Николай Бйорнер (MSR, США)
Мишель Буглези (Università Ca' Foscari Venezia, Италия)
Булычев Дмитрий Юрьевич (JetBrains и СПбГУ, Россия)
Йозеф Виддер (Венский технический университет, Австрия)
Томас Вис (New York University, США, Россия)
Коля Ле Герник (DGA and Inria Rennes, Франция)
Глухих Михаил Юрьевич (JetBrains и СПбПУ, Россия)
Луиза Деннис (University of Liverpool, Великобритания)
Роберто Джакобацци (University of Verona, Италия)
Пьер Жанти (IMDEA Software Institute, Испания)
Сантьяго Занела-Бигулин (Microsoft Research)
Захаров Владимир Анатольевич (МГУ, Россия)
Иткин Иосиф Леонидович (Exactpro, Лондонская фондовая биржа, Россия)
Камкин Александр Сергеевич (ИСП РАН, Россия)
Макс Канович (University College London, Великобритания)
Франк Кассе (Macquarie University, Австралия)
Джо Кинири (Galois, США)
Кириленко Яков Александрович (СПбГУ, Россия)
Дэвид Кларк (University College London, Великобритания)
Коннов Игорь Владимирович (Венский технический университет, Австрия)
Борис Копф (IMDEA Software Institute, Испания)
Кулямин Виктор Вячеславович (ИСП РАН и МГУ, Россия)
Рамана Кумар (The University of New South Wales, Австралия)
Алексей Лисица (University of Liverpool, Великобритания)
Бен Лифшиц (MSR, США)
Ломазова Ирина Александровна (НИУ ВШЭ, Россия)
Давид Монье (Centre national de la recherche scientifique and Verimag, Франция)
Сильвио Ранизе (Fondazione Bruno Kessler, Италия)
Марк Рейнольдс (The University of Western Australia, Австралия)
Роланд Майер (University of Kaiserslautern, Германия)
Пит Манолиос (Northeastern University, США)
Моисеев Михаил Юрьевич (Intel, Россия)
Клод Мишель (University of Nice-Sophia Antipolis, Франция)
Тоби Мюррей (University of Melbourne, Австралия)
Уве Нестман (Technische Universität Berlin, Германия)
Вивек Нигэм (Федеральный университет Парайбы, Бразилия)
Пакулин Николай Витальевич (ИСП РАН, Россия)
Петренко Александр Константинович (ИСП РАН и МГУ, Россия)
Жако ван де Поль (University of Twente, Нидерланды
Джон Рашби (SRI International, США)
Ян Рейнеке (Saarland University, Германия)
Рудовский Максим Павлович (Exactpro, Лондонская фондовая биржа, Россия)
Андрей Рыбалченко (MSR Cambridge, Великобритания)
Андрей Сабельфельд (Технологический университет Чалмерса, Швеция)
Илья Сергей (University College London, Великобритания)
Карстен Синз (Karlsruhe Institute of Technology, Германия)
Павел Собочински (University of Southampton, Великобритания)
Хоссейн Талеби (Helmholtz-Zentrum Geesthacht, Германия)
Софьен Тахар (Concordia University, Канада)
Тачио Тераучи (Japan Advanced Institute of Science and Technology, Япония)
Михаэль Точниг (Queen Mary University of London, Великобритания)
Кэролин Тэлкотт (SRI International, США)
Тим Уильямсе (Eindhoven University of Technology and CERN, Нидерланды)
Кирстен Уинтер (University of Queensland, Австралия)
Джером Ферет (Institut national de recherche en informatique et en automatique, Франция)
Горан Фресе (Université Grenoble Alpes, Франция)
Карстен Фухс (Birkbeck, University of Londons, Великобритания)
Питер Хамбермель (IRIF, Université Paris Diderot, Франция)
Себастиан Хант (City University London, Великобритания)
Лимин Цзя (Carnegie Mellon University, США)
Винесент Шеваль (Inria Nancy, Франция)
Жульен Шмальц (Eindhoven University of Technology, Нидерланды)
Яворский Ростислав Эдуардович (НИУ ВШЭ, Россия)
ОРГАНИЗАЦИОННЫЙ КОМИТЕТ
Петренко Александр Константинович (ИСП РАН и МГУ)
Иткин Иосиф Леонидович (Exactpro, Лондонская фондовая биржа)
Яворский Ростислав Эдуардович (НИУ ВШЭ)
Власова Евгения Александровна (Exactpro, Лондонская фондовая биржа и НИУ ВШЭ)
МЕСТО ПРОВЕДЕНИЯ
Holiday Inn Moscow Vinogradovo (www.himv.ru) Дмитровское шоссе, владение 171 Москва, 127204, Россия
КОНТАКТЫ
Сайт конференции: www.tmpaconf.org
E-mail: info@tmpaconf.org
Группы в социальных сетях:
Facebook: www.facebook.com/groups/tmpaconf
ВКонтакте: www.vk.com/tmpac
