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

Natasha Sharygina (University of Lugano) и Helmut Veith (Vienna University of Technology).

Председатели секций:

• SAT/SMT: Nikolaj Bjoerner
• Аппаратное обеспечение: Armin Biere
• Биология: Jasmin Fisher
• Безопасность: Somesh Jha
• Инструментальные средства: Roderick Bloem

Наблюдательный совет:

• Michael Gordon, University of Cambridge, UK
• Orna Grumberg, Technion, Israel
• Robert Kurshan, Cadence Design Systems, USA
• Kenneth McMillan, Microsoft Research, USA

Организационный комитет:

• Председатель орг. комитета: Ирина Шошмина, Санкт-Петербургский Государственный Политехнический Университет
• Ю.Г. Карпов, Санкт-Петербургский Государственный Политехнический Университет
• Дмитрий Кознов, Санкт-Петербургский Государственный Университет
• Ю.В. Матиясевич, Санкт-Петербургское   отделение
  Математического   института   им.  В.А. Стеклова   РАН
• Б.В. Соколов, Санкт-Петербургский Институт Информатики и Моделирования РАН
• Татьяна Виноградова, Математический Институт Эйлера
• Надежда Залесская, Математический Институт Эйлера
• Thomas Pani, TU Vienna
• Yulia Demyanova, TU Vienna

Координатор семинаров: Igor Konnov, TU Vienna

Координатор по рекламе: Hana Chockler, IBM Research

Пресса и связи с общественностью: Katarina Jurik, TU Vienna

Координатор по подготовке трудов конференции: Georg Weissenbacher, TU Vienna