Program Сhairs: Natasha Sharygina (University of Lugano) and Helmut Veith (TU Vienna).

Track Chairs:

• SAT/SMT: Nikolaj Bjoerner
• Hardware: Armin Biere
• Biology: Jasmin Fisher
• Security: Somesh Jha
• Tools: Roderick Bloem

Steering Committee:

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

Organization Committee:

• Organization Committee Chair: Irina Shoshmina, St. Petersburg State Polytechnical University
• Yuri Karpov, St. Petersburg State Polytechnical University
• Dmitry Koznov, St. Petersburg State University
• Yuri Matiyasevich, St.Petersburg Department of V.A.Steklov Institute of Mathematics
• Boris Sokolov, St. Petersburg Institute for Informatics and Automation SPII RAS
• Tatiana Vinogradova, the Euler International Mathematical Institute
• Nadezhda Zalesskaya, the Euler International Mathematical Institute
• Thomas Pani, TU Vienna
• Yulia Demyanova, TU Vienna
• Francesco Alberti, Univ. of Lugano
• Antti Hyvärinen, Univ. of Lugano
• Simone Fulvio Rollini, Univ. of Lugano
• Grigory Fedyukovich, Univ. of Lugano

Workshop Chair: Igor Konnov, TU Vienna

Publicity Chair: Hana Chockler, IBM Research

Press & Public Relations: Katarina Jurik, TU Vienna

Proceedings Chair: Georg Weissenbacher, TU Vienna