Back to TMPA-2018

TMPA-2017: about conference

The 4th Tools & Methods of Program Analysis International Conference (TMPA-2017) organized in cooperation with ACM Sigsoft will take place in Moscow, Russia
on 3-4 March, 2017.

The challenges of software quality are essential for the majority of high-tech industries including IT, financial sector, transportation, medicine, and many others. The purpose of the сonference is to raise the awareness of progress in software development and to promote innovations in software testing, analysis and verification.

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 conference.

TMPA proceedings will be published with Springer in their Communications in Computer and Information Science series (final approval pending).

The conference program will include keynote talks, presentations of full and short papers 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.


This year authors are invited to submit full papers (not exceeding 12 pages) or short papers (up to 6 pages) in Springer LNCS style.

To prepare papers in LNCS style authors can use Springer LaTeX style templates that can be found here or Sharelatex online editor.

Papers should present original and not previously published or concurrently submitted to another conference or journal work. Submitted papers should be written in English and provide sufficient detail to allow the Program Committee to assess the merits of the paper on the basis of technical quality, relevance to the conference topics, originality, significance, and clarity of presentation.

Each paper will be reviewed by at least three PC members or external expert reviewers.

It is planned to publish the proceedings with Springer in their Communications in Computer and Information Science series (final approval pending), which will be indexed by Scopus and DBLP digital libraries.

Papers should be submitted through the EasyChair conference management system. The submissions should contain an abstract and a set of keywords describing the paper. The link for submission is available here.

At least one of the authors should attend the conference to present their study otherwise the paper will not be published.

Program committee

TMPA Program Committee includes more than 70 researchers in software testing, engineering & verification from 14 countries including Australia, Austria, Brazil, Canada, France, Germany, Italy, Japan, Russia, Spain, Sweden, the Netherlands, UK, and USA.

The full list of TMPA PC members can be found here

Key Dates

  • 9th January — deadline for abstracts and papers;
  • 3rd February — list of accepted papers is published;
  • 3rd-4th March — TMPA-2017 Conference.

download cfp


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