Abstract:SANER 2019, the 26th IEEE International IEEE International Conference on Software Analysis, Evolution and Reengineering. SANER is the premier research conference on the theory and practice of recovering information from existing software and systems. It explores innovative methods of extracting the many kinds of information that can be recovered from software, software engineering documents, and systems artifacts, and examines innovative ways of using this information in system renovation and program understanding. SANER 2019 has a rich and diverse program on the latest innovations and visions in software analysis, evolution and reengineering. The research track received 151 submissions, of which 2 were desk-rejected and 1 was withdrawn by the authors during the review period. The remaining 148 papers each received at least three reviews. We adopted a double-blind reviewing process to the research track based on the success of double-blind reviewing adopted last year. Following an extensive online discussion, 45 papers were accepted (5 of them being conditionally accepted in a first stage), yielding an acceptance rate of 30.4%. No specific acceptance rate was communicated as a guideline to the reviewers. The PC were free to accept any paper deemed strong and novel enough and were encouraged to look for reasons to accept papers rather than to just point out flaws. The accepted papers will be published in the official conference proceedings. Up to top 10% of accepted papers would be awarded the IEEE TCSE Distinguished Paper Awards. The award papers will be announced at the conference. As in previous years, authors of selected papers from the research track will be invited to submit extended versions of their work to a special issue of the Springer international journal of Empirical Software Engineering (EMSE).

Software Engineering and Formal Methods

Formal Methods and Software Engineering

Proceedings 2nd Workshop on Formal Methods in the Development of Software

Message from the General Chair, Program Co-Chairs, and Local Chair

Proceedings Eighth Symposium on Working Formal Methods

Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures

Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)

Formal Methods for Industrial Critical Systems

Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures

Proceedings Second International Workshop on Formal Integrated Development Environment

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems

Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering

Proceedings of the 2012 International Conference on Information Technology and Software Engineering

Logical Foundations of Computer Science

Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems

Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Software Engineering & Digital Media Technology

Proceedings 1st Workshop on Formal Integrated Development Environment

Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Proceedings of the Third Workshop on Formal Integrated Development Environment

Proceedings 4th Workshop on Formal Integrated Development Environment

The 2016 Ieee Services Emerging Technology Track on Formal Methods in Services and Cloud Computing (Fm-S&c 2016) Workshop Summary