posted by user: ryavorsky || 9470 views || tracked by 13 users: [display]

TMPA 2017 : 4th International Conference on Tools and Methods for Program Analysis

FacebookTwitterLinkedInGoogle

Link: http://tmpaconf.org/
 
When Mar 3, 2017 - Mar 4, 2017
Where Moscow, Russia
Abstract Registration Due Dec 9, 2016
Submission Deadline Dec 16, 2016
Notification Due Jan 27, 2017
Categories    computer science   software engineering   software testing   program analysis
 

Call For Papers

International Conference on Tools & Methods of Program Analysis (TMPA-2017) will take place in Moscow, Russia on 3 - 4 March 2017. The conference will be focused on the most important areas of software engineering: the analysis of software quality.
The challenges of software efficiency and correctness are key for the majority of knowledge-intensive industries in modern economy, including IT, financial sector, transportation, medicine, high-tech industries, and many others. The development of new instruments and methods of program analysis as well as the modification of existing ones is one of the necessary prerequisites to introduce innovation.
The purpose of the conference is raising awareness of progress in the software development industry and promoting cutting edge innovations in software testing, analysis and verification.
The conference program will include plenary reports and mini-courses delivered by experts, presentations selected by the Program Committee, presentations of on-going projects, short reports about new ideas, research that is underway or new tools. The body of experts will consist of leading Russian and foreign scientists working in the area of software development and analysis.
The Conference Organising Committee will provide free accommodation for conference speakers.

Conference Topics

The program will include, but won’t be limited to, the following topics:

● 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

The authors are invited to submit their original papers written in English. Each paper will be independently reviewed by at least three TMPA-2017 Program Committee members or external experts.
Accepted papers will be published in one of the leading scientific journals on software engineering and software quality and will be indexed by Web of Science and Scopus digital libraries.
Further details regarding submissions and publications will be available in a few months in the next Call for Papers communication and on TMPA-2017 website: http://www.tmpaconf.org

Organizers & Partners

● Higher School of Economics, Computer Science Faculty (cs.hse.ru/en)
● The Institute for System Programming of the Russian Academy of Sciences (ispras.ru/en)
● Peter the Great Saint-Petersburg State Polytechnic University, Institute of Computing & Control, Department of Computer Systems & Software Engineering (kspt.icc.spbstu.ru/en);
● Federal Research Centre “Informatics and Control Systems”, The Institute of Informatics Problems of the Russian Academy of Sciences (ipiran.ru);


Participants

The Program Committee is expecting that the event will attract senior students specializing in software development, postgraduate students and young scientists interested in an independent expert review of their research, as well as renowned scientists ready to share their innovative work.
The conference organizers are interested in active participation of practitioners from IT industry and leading software development firms.

Related Resources

SMACD 2021   International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
PSSV 2020   XI Workshop Program Semantics, Specification and Verification
RiE 2021   12th International Conference on Robotics in Education
BTSD 2020   DEADLINE EXTENDED! The 2nd International Workshop on Big Data Tools, Methods, and Use Cases for Innovative Scientific Discovery (BTSD) 2020
AIP Journal - Indexed in Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
ICCQ 2021   IEEE International Conference on Code Quality
ISSTA 2021   International Symposium on Software Testing and Analysis
IJCSES 2020   International Journal of Computer Science and Engineering Survey
I-WANDER 2021   1st International Workshop on Anomalies Detection and Road Traffic Analysis in Smart Cities: methods, applications and cloud-based technologies