TMPA-2017: Conference Opening
TMPA: submissions in numbers
Venue/Year
Number of
submissions
ACCEPT SHORT
Acceptance
rate
Estimated
number of
participants
2017 51 12 9 21 (42%) 140
2015 35 15 6 21 (60%) 120
2014 41 13 13 26 (63%) 120
2013 41 18 8 26 (63%) 100
Moscow
St. Petersburg
Kostroma
Kostroma
Selection process & statistics
The regular talks will be presented by authors from Germany,
France, Austria, Japan, Russia, Turkey, and USA
Geography of authors
Thomas A. Henzinger
President, IST, Austria Institute of Science and Technology
Steve Zdancewic
Professor, USA, University of Pennsylvania
Nenad Medvidović
Professor, USA, University of Southern California
ACM SIGSOFT Executive Committee Chair
Keynote Speakers
Andre Scedrov
(University of Pennsylvania and
Higher School of Economics, USA, Russia)
Victor Zakharov
(Federal Research Center "Computer Science & Control",
Russia)
Vladimir Itsykson
(Peter the Great St.Petersburg Polytechnic University,
Russia)
PC chairs
Australia 5
Austria 2
Brazil 1
Canada 2
France 7
Germany 7
Italy 3
Japan 1
Russia 18
Spain 2
Sweden 2
the Netherlands 3
UK 11
USA 10
74 members from:
Program Committee
Proceedings
Selected papers will be published with Springer in their Communications in
Computer and Information Science series and in the Conference
Proceedings.
Industry Speakers
Iosif Itkin
Exactpro CEO and Co-Founder,
London Stock Exchange Group
Moscow Exchange
Vadim Zherder
Alexey Vasyukov
Inventa
Organizers, Partners, Sponsors
Media Partners
TMPA-2017: Conference Opening
Факультет компьютерных наук
Computer Science @HSE
Let’s start

More Related Content

PDF
Dmitry Ignatov, Alexander Panchenko "Opening AIST'2017 Conference"
PPTX
Data analysis course
PPT
PDF
TMPA-2017: Vellvm - Verifying the LLVM
PDF
TMPA-2017: Unity Application Testing Automation with Appium and Image Recogni...
PDF
TMPA-2017: Static Checking of Array Objects in JavaScript
PDF
TMPA-2017: Compositional Process Model Synthesis based on Interface Patterns
PDF
TMPA-2017: Distributed Analysis of the BMC Kind: Making It Fit the Tornado Su...
Dmitry Ignatov, Alexander Panchenko "Opening AIST'2017 Conference"
Data analysis course
TMPA-2017: Vellvm - Verifying the LLVM
TMPA-2017: Unity Application Testing Automation with Appium and Image Recogni...
TMPA-2017: Static Checking of Array Objects in JavaScript
TMPA-2017: Compositional Process Model Synthesis based on Interface Patterns
TMPA-2017: Distributed Analysis of the BMC Kind: Making It Fit the Tornado Su...

Viewers also liked (20)

PDF
TMPA-2017: Live testing distributed system fault tolerance with fault injecti...
PDF
TMPA-2017: 5W+1H Static Analysis Report Quality Measure
PDF
TMPA-2017: Generating Cost Aware Covering Arrays For Free
PDF
TMPA-2017: Defect Report Classification in Accordance with Areas of Testing
PDF
TMPA-2017: Modeling of PLC-programs by High-level Coloured Petri Nets
PDF
TMPA-2017: Functional Parser of Markdown Language Based on Monad Combining an...
PDF
TMPA-2017: The Quest for Average Response Time
PDF
TMPA-2017: A Survey of High-Performance Computing for Software Verification
PDF
TMPA-2017: Layered Layouts for Software Systems Visualization
PDF
TMPA-2017: Stemming Architectural Decay in Software Systems
PDF
TMPA-2017: Technology and Tools for Developing Industrial Software Test Suite...
PDF
TMPA-2017: Predicate Abstraction Based Configurable Method for Data Race Dete...
PDF
TMPA-2017: Using Functional Directives to Analyze Code Complexity and Communi...
PDF
TMPA-2017: Dl-Check: Dynamic Potential Deadlock Detection Tool for Java Programs
PDF
TMPA-2017: Regression Testing with Semiautomatic Test Selection for Auditing ...
PDF
TMPA-2017: Evolutionary Algorithms in Test Generation for digital systems
PDF
TMPA-2017: Extended Context-Free Grammars Parsing with Generalized LL
PDF
TMPA-2017: A Survey on Model-Based Testing Tools for Test Case Generation
PDF
TMPA-2017: Simple Type Based Alias Analysis for a VLIW Processor
PDF
TMPA-2015: Expanding the Meta-Generation of Correctness Conditions by Means o...
TMPA-2017: Live testing distributed system fault tolerance with fault injecti...
TMPA-2017: 5W+1H Static Analysis Report Quality Measure
TMPA-2017: Generating Cost Aware Covering Arrays For Free
TMPA-2017: Defect Report Classification in Accordance with Areas of Testing
TMPA-2017: Modeling of PLC-programs by High-level Coloured Petri Nets
TMPA-2017: Functional Parser of Markdown Language Based on Monad Combining an...
TMPA-2017: The Quest for Average Response Time
TMPA-2017: A Survey of High-Performance Computing for Software Verification
TMPA-2017: Layered Layouts for Software Systems Visualization
TMPA-2017: Stemming Architectural Decay in Software Systems
TMPA-2017: Technology and Tools for Developing Industrial Software Test Suite...
TMPA-2017: Predicate Abstraction Based Configurable Method for Data Race Dete...
TMPA-2017: Using Functional Directives to Analyze Code Complexity and Communi...
TMPA-2017: Dl-Check: Dynamic Potential Deadlock Detection Tool for Java Programs
TMPA-2017: Regression Testing with Semiautomatic Test Selection for Auditing ...
TMPA-2017: Evolutionary Algorithms in Test Generation for digital systems
TMPA-2017: Extended Context-Free Grammars Parsing with Generalized LL
TMPA-2017: A Survey on Model-Based Testing Tools for Test Case Generation
TMPA-2017: Simple Type Based Alias Analysis for a VLIW Processor
TMPA-2015: Expanding the Meta-Generation of Correctness Conditions by Means o...
Ad

Similar to TMPA-2017: Conference Opening (10)

PDF
Algorithm Theory Swat 2010 12th Scandinavian Symposium And Workshops On Algor...
PDF
CeDEM11 - Conference for E-Democracy and Open Government
PDF
The 6th Conference on Analysis of Images, Social Networks, and Texts (AIST 2...
PPTX
Itids 2016 openingceremony
PDF
Lecture Notes In Computer Science 10422 Ranzato Francesco
PPTX
AACIMP 2011 opening presentation
PPTX
Visual exploration of scientific literature using VOSviewer and CitNetExplorer
PPTX
Publishing for impact by RIKILT
PDF
icaset brochure_simple.pdf
Algorithm Theory Swat 2010 12th Scandinavian Symposium And Workshops On Algor...
CeDEM11 - Conference for E-Democracy and Open Government
The 6th Conference on Analysis of Images, Social Networks, and Texts (AIST 2...
Itids 2016 openingceremony
Lecture Notes In Computer Science 10422 Ranzato Francesco
AACIMP 2011 opening presentation
Visual exploration of scientific literature using VOSviewer and CitNetExplorer
Publishing for impact by RIKILT
icaset brochure_simple.pdf
Ad

More from Iosif Itkin (20)

PDF
Foundations of Software Testing Lecture 4
PPTX
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
PDF
Exactpro FinTech Webinar - Global Exchanges Test Oracles
PDF
Exactpro FinTech Webinar - Global Exchanges FIX Protocol
PDF
Operational Resilience in Financial Market Infrastructures
PDF
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
PDF
Testing the Intelligence of your AI
PDF
EXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
PDF
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
PPTX
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
PDF
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
PDF
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
PPTX
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
PDF
QA Community Saratov: Past, Present, Future (2019-02-08)
PDF
Machine Learning and RoboCop Testing
PDF
Behaviour Driven Development: Oltre i limiti del possibile
PDF
2018 - Exactpro Year in Review
PPTX
Exactpro Discussion about Joy and Strategy
PPTX
FIX EMEA Conference 2018 - Post Trade Software Testing Challenges
PDF
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
Foundations of Software Testing Lecture 4
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
Exactpro FinTech Webinar - Global Exchanges Test Oracles
Exactpro FinTech Webinar - Global Exchanges FIX Protocol
Operational Resilience in Financial Market Infrastructures
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
Testing the Intelligence of your AI
EXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
QA Community Saratov: Past, Present, Future (2019-02-08)
Machine Learning and RoboCop Testing
Behaviour Driven Development: Oltre i limiti del possibile
2018 - Exactpro Year in Review
Exactpro Discussion about Joy and Strategy
FIX EMEA Conference 2018 - Post Trade Software Testing Challenges
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)

Recently uploaded (20)

PPTX
Web Crawler for Trend Tracking Gen Z Insights.pptx
PDF
Hindi spoken digit analysis for native and non-native speakers
PDF
From MVP to Full-Scale Product A Startup’s Software Journey.pdf
PDF
Developing a website for English-speaking practice to English as a foreign la...
PDF
ENT215_Completing-a-large-scale-migration-and-modernization-with-AWS.pdf
PDF
1 - Historical Antecedents, Social Consideration.pdf
PDF
A Late Bloomer's Guide to GenAI: Ethics, Bias, and Effective Prompting - Boha...
PDF
Enhancing emotion recognition model for a student engagement use case through...
PPTX
Benefits of Physical activity for teenagers.pptx
PDF
DASA ADMISSION 2024_FirstRound_FirstRank_LastRank.pdf
PPTX
Chapter 5: Probability Theory and Statistics
PDF
WOOl fibre morphology and structure.pdf for textiles
PDF
Taming the Chaos: How to Turn Unstructured Data into Decisions
PDF
STKI Israel Market Study 2025 version august
PDF
Hybrid model detection and classification of lung cancer
PPTX
Group 1 Presentation -Planning and Decision Making .pptx
PDF
A review of recent deep learning applications in wood surface defect identifi...
PDF
CloudStack 4.21: First Look Webinar slides
DOCX
search engine optimization ppt fir known well about this
PDF
Getting Started with Data Integration: FME Form 101
Web Crawler for Trend Tracking Gen Z Insights.pptx
Hindi spoken digit analysis for native and non-native speakers
From MVP to Full-Scale Product A Startup’s Software Journey.pdf
Developing a website for English-speaking practice to English as a foreign la...
ENT215_Completing-a-large-scale-migration-and-modernization-with-AWS.pdf
1 - Historical Antecedents, Social Consideration.pdf
A Late Bloomer's Guide to GenAI: Ethics, Bias, and Effective Prompting - Boha...
Enhancing emotion recognition model for a student engagement use case through...
Benefits of Physical activity for teenagers.pptx
DASA ADMISSION 2024_FirstRound_FirstRank_LastRank.pdf
Chapter 5: Probability Theory and Statistics
WOOl fibre morphology and structure.pdf for textiles
Taming the Chaos: How to Turn Unstructured Data into Decisions
STKI Israel Market Study 2025 version august
Hybrid model detection and classification of lung cancer
Group 1 Presentation -Planning and Decision Making .pptx
A review of recent deep learning applications in wood surface defect identifi...
CloudStack 4.21: First Look Webinar slides
search engine optimization ppt fir known well about this
Getting Started with Data Integration: FME Form 101

TMPA-2017: Conference Opening