Authors are invited to submit papers on original research, industrial applications, or position papers proposing challenges in fundamental research and technology. The latter two types of submissions are expected to contribute to the development of formal methods either by substantiating the advantages of integrating formal methods into the development cycle or through delineating need for research by demonstrating weaknesses of existing technologies, especially when addressing new application domains. Submissions can take the form of either regular or short papers. Short papers can discuss ongoing research at an early stage, including PhD projects. Regular Papers should not exceed 16 pages and short papers should not exceed 6 pages in LNCS format. The proceedings will be published as a volume in Springer's LNCS series.

Papers should be submitted electronically through the Easychair submission site: https://easychair.org/conferences/?conf=setta2018. All submissions must be in the PDF format. Papers should be written in English. Formatting templates and further guidelines for formatting can be found at http://www.springer.com/de/it-informatik/lncs/conference-proceedings-guidelines. Submitted papers must be unpublished and not submitted for publication elsewhere. Accepted papers must be presented at the conference.