Senior and postgraduate students, young and renowned scientists from academia as well as industry researchers and practitioners from leading software development firms whose research interests involve software development, testing, analysis and verification are invited to participate in the 4th Tools & Methods of Program Analysis International Conference (TMPA 2017).

The conference program will include keynote talks, presentations of full and short papers, and posters selected to be published in the proceedings during the independent reviewing process.
Limited number of grants covering local accommodation expenses for the conference speakers will be provided.

TOPICS (Conference Topics include, but aren’t limited to, the following)

• software test automation;
• static program analysis;
• verification;
• dynamic methods of program analysis;
• testing and analysis of parallel and distributed systems;
• testing and analysis of high-load and high-availability systems;
• analysis and verification of hardware and software systems;
• methods of building quality software;
• tools for software analysis, testing and verification;

KEY DATES

9th December — submission of abstracts;
16th December deadline for papers;
27th January — list of accepted papers is published;
3rd-4th March — TMPA-2017 Conference.

PAPERS SUBMISSION & PROCEEDINGS

Authors are invited to submit full papers (not exceeding 12 pages) or short papers (up to 6 pages) in Springer LNCS style. Papers should present original and not previously published or concurrently submitted to another conference or journal work and be written in English.
It is planned to publish the proceedings with Springer in their Communications in Computer and Information Science series (final approval pending). Proceedings will be indexed by Scopus digital library.

Andre Scedrov (co-chair, University of Pennsylvania and Higher School of Economics, USA, Russia)
Victor Zakharov (co-chair, Institute of Informatics Problems, Russia)
Vladimir Itsykson (co-chair, St.Petersburg Polytechnic University, Russia)

Erika Abraham (RWTH Aachen University, Germany)
Marat Ahin (Digitek Labs and St.Petersburg Polytechnic University, Russia)
Mikhail Belyaev (Digitek Labs and St.Petersburg Polytechnic University, Russia)
Dirk Beyer (LMU Munich, Germany)
Nikolaj Bjorner (Microsoft Research, USA)
Dmitry Boulytchev (Jet Brains and Saint Petersburg State University, Russia)
Michele Bugliesi (Università Ca' Foscari Venezia, Italy)
Franck Cassez (Macquarie University, Australia)
Vincent Cheval (Inria Nancy, France)
David Clark (University College London, UK)
Louise Dennis (University of Liverpool, UK)
Jerome Feret (Institut national de recherche en informatique et en automatique, France)
Goran Frehse (Université Grenoble Alpes, France)
Carsten Fuhs (Birkbeck, University of London, UK)
Pierre Ganty (IMDEA Software Institute, Spain)
Roberto Giacobazzi (University of Verona, Italy)
Mikhail Glukhikh (JetBrains and St.Petersburg Polytechnic University, Russia)
Colas Le Guernic (DGA and Inria Rennes, France)
Peter Habermehl (IRIF and Université Paris Diderot, France)
Sebastian Hunt (City University London, UK)
Iosif Itkin (Exactpro, London Stock Exchange Group, Russia)
Limin Jia (Carnegie Mellon University, USA)
Alexander Kamkin (Institute for System Programming, Russia)
Max Kanovich (University College London, UK)
Joe Kiniry (Galois, USA)
Iacob Kirilenko (Saint Petersburg State University, Russia)
Igor Konnov (Vienna University of Technology, Austria)
Boris Köpf (IMDEA Software Institute, Spain)
Victor Kulyamin (Institute for System Programming and Moscow State Lomonosov University, Russia)
Ramana Kumar (The University of New South Wales, Australia)
Alexei Lisitsa (University of Liverpool, UK)
Ben Livshits (Microsoft Research and University of Washington, USA)
Irina Lomazova (Higher School of Economics, Russia)
Pete Manolios (Northeastern University, USA)
Roland Meyer (University of Kaiserslautern, Germany)
Claude Michel (University of Nice-Sophia Antipolis, France)
Mikhail Moiseev (Intel, Russia)
David Monniaux (Centre national de la recherche scientifique and Verimag, France)
Toby Murray (University of Melbourne, Australia)
Uwe Nestmann (Technische Universität Berlin, Germany)
Vivek Nigam (Universidade Federal da Paraíba, Brazil)
Nikolay Pakulin (Institute for System Programming, Russia)
Alexander Petrenko (Institute for System Programming and Moscow State Lomonosov University, Russia)
Jaco van de Pol (University of Twente, the Netherlands)
Silvio Ranise (Fondazione Bruno Kessler, Italy)
Jan Reineke (Saarland University, Germany)
Mark Reynolds (The University of Western Australia, Australia)
Maxim Rudovsky (Exactpro, London Stock Exchange Group, Russia)
John Rushby (SRI International, USA)
Andrey Rybalchenko (Microsoft Research Cambridge, UK)
Andrei Sabelfeld (Chalmers University of Technology, Sweden)
Julien Schmaltz (Eindhoven University of Technology, the Netherlands)
Ilya Sergey (University College London, UK)
Carsten Sinz (Karlsruhe Institute of Technology, Germany)
Pawel Sobocinski (University of Southampton, UK)
Sofiène Tahar (Concordia University, Canada)
Carolyn Talcott (SRI International, USA)
Hossein Talebi (Helmholtz-Zentrum Geesthacht, Germany)
Michael Tautschnig (Queen Mary University of London, UK)
Tachio Terauchi (Japan Advanced Institute of Science and Technology, Japan)
Josef Widder (Vienna University of Technology, Austria)
Thomas Wies (New York University, USA, Russia)
Tim A.C. Willemse (Eindhoven University of Technology and CERN, the Netherlands)
Kirsten Winter (University of Queensland, Australia)
Rostislav Yavorskiy (Higher School of Economics, Russia)
Vladimir Zakharov (Moscow State Lomonosov University, Russia)
Santiago Zanella-Beguelin (Microsoft Research, UK)