SpecifyThis—Bridging Gaps Between Program Specification Paradigms: Track Introduction

The track SpecifyThis at the International Symposium on Leveraging Applications of Formal Methods (ISoLA 2026) aims to establish bridges across different program specification and verification paradigms: What are the theoretical considerations of extending and integrating existing techniques towards another? How can different views on disparate aspects of correctness be rectified within uniform frameworks? What are the practical concerns and implications when implementing verification tools and how can advances in this area be demonstrated through case studies? The SpecifyThis track presents 15 contributions with respect to these questions, ranging from foundations to applications.